• DocumentCode
    1647755
  • 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
  • fYear
    2013
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computing Colombian Conference (8CCC), 2013 8th
  • Conference_Location
    Armenia
  • Print_ISBN
    978-1-4799-1054-0
  • Type

    conf

  • DOI
    10.1109/ColombianCC.2013.6637514
  • Filename
    6637514
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1647755