{"title":"A Tool Supported Testing Method for Reducing Cost and Improving Quality","authors":"Shaoying Liu","doi":"10.1109/QRS.2016.56","DOIUrl":null,"url":null,"abstract":"Testing a program based on its specification is necessary to ensure that the program meets its desired functionality. In this paper, we describe a specification-based testing method that can reduce the cost and ensure the correctness of the tested program paths. The cost of testing is reduced by guaranteeing that the same path can be repeatedly tested automatically without the need to executing the path repeatedly. The correctness of the path is guaranteed by means of automatically applying the relevant parts of the Hoare logic. We also present the design and implementation of a prototype tool that supports the testing method.","PeriodicalId":412973,"journal":{"name":"2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QRS.2016.56","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
Testing a program based on its specification is necessary to ensure that the program meets its desired functionality. In this paper, we describe a specification-based testing method that can reduce the cost and ensure the correctness of the tested program paths. The cost of testing is reduced by guaranteeing that the same path can be repeatedly tested automatically without the need to executing the path repeatedly. The correctness of the path is guaranteed by means of automatically applying the relevant parts of the Hoare logic. We also present the design and implementation of a prototype tool that supports the testing method.