Opis projektu
Analiza programów i generatywna sztuczna inteligencja w ewolucji kodu oprogramowania
Dzisiejszy świat, zarówno życie prywatne, jak i publiczne, w coraz większym stopniu jest uzależniony od oprogramowania, od którego wymaga się bezpieczeństwa i niezawodności. Jednocześnie przed twórcami oprogramowania stoi wiele wyzwań, zwłaszcza że muszą oni dostosowywać i poprawiać kod, aby nadążyć za ciągłymi zmianami wymogów i warunków, w których oprogramowanie jest używane. Na etapie rozwoju oprogramowania istnieje więc spore ryzyko pojawienia się luk w zabezpieczeniach i błędów w oprogramowaniu. Z tego względu celem finansowanego przez Europejską Radę ds. Badań Naukowych projektu FORTE jest opracowanie i zademonstrowanie procesu, w którym analiza programów i generatywna sztuczna inteligencja mogą w sposób zautomatyzowany pomóc w ewolucji i naprawie kodu. Łącząc zautomatyzowaną analizę wpływu zmian ze zautomatyzowaną analizą przyczyn źródłowych oraz naprawą wspomaganą przez AI, zespół projektu stworzy uproszczony proces, który umożliwi programistom w sposób bezpieczny i pewny rozwijać i naprawiać kod.
Cel
Software is the driving force of today's world. Used in almost any system, it has a wide-ranging impact on every area of private and public life, from health, to finance, education, entertainment, business, and government.
Developing software is a cognitively demanding task. Coming up with a software solution for a problem is already challenging, and continuous changes in requirements and in the environment where software is used make it even harder. As a result, bugs and security vulnerabilities are often introduced during software development. To make things worse, even when these issues are discovered and reported, many of them remain unfixed due to a lack of developer time.
Generative AI promises to change the game by being able to automatically repair code, but requires developers to validate that the proposed software fixes correctly address the issues, while simultaneously checking that they do not introduce unintended behaviour.
FORTE combines automated change-impact analysis with automated root cause analysis and AI-based repair to enable an AI-augmented process of developing software. Our goal with FORTE is to help developers confidently change software without breaking it in unexpected ways, and embrace generative AI to simplify the process of writing and fixing code. To demonstrate the usefulness of FORTE, we plan to use it with real-world software that is publicly available.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
- HORIZON.1.1 - European Research Council (ERC) Main Programme
System finansowania
HORIZON-ERC-POC - HORIZON ERC Proof of Concept GrantsInstytucja przyjmująca
SW7 2AZ LONDON
Zjednoczone Królestwo