|
|
|
Prezentarea CONQUERS
Impactul din ce in ce mai mare al sistemelor software si gradul ridicat de
dependenta al societatii de acestea, indeosebi prin infrastructura fac imperativa
capacitatea software-ului de a evolua, pentru a se adapta noilor cerinte economico
sociale. pentru a face posibila evolutia software-ului, trebuie asigurata o calitate
superioara a proiectarii si implementarii acestuia.
Din acest motiv software-ul
existent trebuie sustinut prin sisteme automate de analiza, diagnostic si ameliorare
la nivel de cod si de proiectare. proiectul propune o abordare agila (continua) a
asigurarii calitatii for sisteme software complexe, la nivelul codului (prin
intermediul analizei statice si a testarii) si a proiectarii (prin detectia si corectia
erorilor de proiectare). proiectul isi propune sa:
- dezvolte analize locale rapide s
orientate pe cerere, si sa creasca precizia analizelor exploatand progresul legat de
procedurile de decizie si detectia invariantilor;
- integreze intr-un proces iterativ
tehnici de generare automata de teste cu generarea dinamica de invarianti si
verificarea statica,proces care sa genereze suite de teste impreuna cu rezultatele
corecte,minimizand efortul manual;
- transforme evaluarea calitatii proiectarii
dintr-o activitate izolata intr-un proces agil (continuu),perfect integrat in procesu
de dezvoltare;
- conecteze detectia si corectia carentelor de proiectare prin
planuri de restructurare;
- integreze tehnici legate de detectia carentelor de
codare si a celor de proiectare;
- asigure suport pentru analiza sistemelor
software industriale implementate in principalele limbaje de programare curente
(C++, Java, C#).
Realizarea unui astfel de mediu va permite automatizarea analizelor
pentru sisteme software de dimensiuni mari, identificarea precisa a carentelor de
proiectare si functionale prin posibilitatea de a aplica unitar si uniform analize
multiple, si obtinerea de rezultate superioare prin corelarea diverselor tipuri de
analiza.
|
Ultima actualizare: 20 Octombrie, 2009
|
