{"title":"Formal specifications and reliability: an experimental study","authors":"A. Goel, S. N. Sahoo","doi":"10.1109/ISSRE.1991.145368","DOIUrl":null,"url":null,"abstract":"An experimental study was undertaken to assess the improvement in program quality by using formal specifications. Specifications in the Z notation were developed for a simple but realistic anti-missile system. These specifications were then used to develop two versions in C by two programmers. Another set of three versions in Ada were independently developed from informal specifications in English. A comparison of the reliability of the resulting programs suggests the advantages of using formal specifications in terms of number of errors detected. Also, several errors that have been known to occur in earlier experiments dealing with this system were avoided by the use of formal specifications.<<ETX>>","PeriodicalId":338844,"journal":{"name":"Proceedings. 1991 International Symposium on Software Reliability Engineering","volume":"400 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. 1991 International Symposium on Software Reliability Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSRE.1991.145368","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
Abstract
An experimental study was undertaken to assess the improvement in program quality by using formal specifications. Specifications in the Z notation were developed for a simple but realistic anti-missile system. These specifications were then used to develop two versions in C by two programmers. Another set of three versions in Ada were independently developed from informal specifications in English. A comparison of the reliability of the resulting programs suggests the advantages of using formal specifications in terms of number of errors detected. Also, several errors that have been known to occur in earlier experiments dealing with this system were avoided by the use of formal specifications.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
