JSVT3:通过统计方法进行软件验证

2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI:10.1109/COLOMBIANCC.2013.6637514

Jorge Sanmiguel, Rodrigo Cardoso

{"title":"JSVT3:通过统计方法进行软件验证","authors":"Jorge Sanmiguel, Rodrigo Cardoso","doi":"10.1109/COLOMBIANCC.2013.6637514","DOIUrl":null,"url":null,"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.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"JSVT3: Software validation by means of statistical methods\",\"authors\":\"Jorge Sanmiguel, Rodrigo Cardoso\",\"doi\":\"10.1109/COLOMBIANCC.2013.6637514\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":409281,\"journal\":{\"name\":\"2013 8th Computing Colombian Conference (8CCC)\",\"volume\":\"46 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-10-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 8th Computing Colombian Conference (8CCC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/COLOMBIANCC.2013.6637514\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 8th Computing Colombian Conference (8CCC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/COLOMBIANCC.2013.6637514","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

提出了一种软件验证方法(从统计角度进行正确性检查)。该方法是通过JSVT3实现的，JSVT3是一个Eclipse插件，它使用JML声明规范，并使用它的OpenJML实现来运行测试并检查规范是否得到满足。通过示例说明了如何在统计分析中使用报告的故障来查找导致这些故障的代码。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

JSVT3: Software validation by means of statistical methods

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 8th Computing Colombian Conference (8CCC)

自引率

0.00%

发文量