Title :
JSVT3: Software validation by means of statistical methods
Author :
SanMiguel, J.C. ; Cardoso, Rodrigo
Author_Institution :
Depto. de Ing. de Sist. y Comput., Univ. de los Andes, Bogotá, Colombia
Abstract :
A methodology for software validation (correctness checking from a statistical point of view) is presented. The methodology is implemented for Java software validation, by means of JSVT3, an Eclipse plugin that uses JML to declare specifications and its OpenJML implementation to run tests and to check that the specs are fulfilled. By means of examples it is illustrated how reported failures may be used within statistical analysis to look for the code that causes those failures.
Keywords :
Java; program verification; statistical analysis; Eclipse plugin; JSVT3; Java software validation; OpenJML implementation; correctness checking; software validation; software validation methodology; statistical methods; Abstracts; Java; Silicon; Silicon compounds; Software; Statistical analysis; Testing; correctness; error detection; programming and software engineering; software statistical validation; testing;
Conference_Titel :
Computing Colombian Conference (8CCC), 2013 8th
Conference_Location :
Armenia
Print_ISBN :
978-1-4799-1054-0
DOI :
10.1109/ColombianCC.2013.6637514
