MATHWORKS Polyspace Code Prover

Mathworks Polyspace Code ProverT dovedeste absenta erorilor de tip overflow, diviziune la zero, out-of-bounds array access, si alte erori run-time in cod sursa C si C++. Produce rezultate fara a necesita executia programului, instrumentarea codului sau cazuri de test. Polyspace Code Prover foloseste analiza statica si interpretare abstracta bazata pe metode formale. Puteti folosi pe cod scris de mana, generat, sau o combinatie intre cele doua. Fiecare operatie este codata in culori pentru a indica daca nu are erori run-time, daca sigur esueaza, daca nu poate fi contactata sau daca nu poate fi dovedita.

Polyspace Code Prover afiseaza de asemenea o gama de informatii despre valorile intoarse de variabile si functii, si poate dovedi conditiile in care aceste variabile depasesc gama de limite specificate. Rezultatele pot fi publicate intr-un tablou de bord pentru a urmari masurari de calitate si a asigura conformitatea cu obiective de calitate a software-ului. Polyspace Code Prover poate fi integrat in sisteme pentru verificare automata.

Functii principale:

• Absenga dovedita a anumitor erori run-time in codul C si C++
• Codarea in culori a erorilor run-time direct in cod
• Calcularea informatiilor despre game pentru valorile intoarse de variabile si functii
• Identificarea variabilelor care depasesc limite specificate
• Masuratori ale calitatii pentru urmarirea conformitatii cu obiective de calitate a software-ului
• Tablouri de bord bazate pe web ce ofera masurari ale codului si starea calitatii
• Proces de revizuire-verificare ghidat pentru clasificarea rezultatelor si erorilor run-time
• Afisare grafica a citirilor si scrierilor variabilelor

Pentru detalii, va rugam sa ne contactati.