SofCheck Inspekteur is 'n statiese analise instrument foute ontdek in Java bytecodes. Dit maak gebruik van statiese beheer-vloei, data-vloei, en moontlike waarde-stel voortplanting (PVP) tegnieke om plekke waar Uitvooerfoute kan voorkom, te identifiseer. Hierdie outomatiese sagteware gehalte tegniek bied 100% pad dekking en laat foute geïdentifiseer en baie vroeg in die programmatuur-lewensiklus uitgeskakel, voordat hardloop tyd. Inspekteur genereer voorwaardes en postconditions dat die gedrag van Java-kode karakteriseer en is nuttig vir wit boks kode inspeksies. Dit spoor ras voorwaardes, indeks buite perke, oorloop, verdeel-by-nul, dooie kode, ongebruikte opdragte, toetse altyd gaan een manier, of gegooi uitsonderings. Dit is 'n 45 dae proef weergawe ondersteun tot 200 klasse. Die produk bevat 'n weergawe van Sun se JRE
Vereistes :.
Windows XP / 2003 Server
Beperkings :
45-dag-verhoor
Kommentaar nie gevind