{"title":"Formal test specifications in open systems","authors":"J. Leathrum, K.A. Liburdy","doi":"10.1109/SESS.1995.525967","DOIUrl":null,"url":null,"abstract":"The development of formal test specifications for an open system standard is described. The effort is being conducted within the environment provided by the Clemson Automated Testing System (CATS). CATS features the ability to automatically translate formal test specifications into executable tests. The formal test specifications are written in accordance with a specification language designed in support of this effort. An overview of the CATS architecture and formal test specification language provide a backdrop for an experience report on the development of formal test specifications for IEEE Std 1003.5 POSIX Ada Language Interfaces. A discussion of scale-up issues concludes the paper.","PeriodicalId":178570,"journal":{"name":"Proceedings of Software Engineering Standards Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of Software Engineering Standards Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SESS.1995.525967","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The development of formal test specifications for an open system standard is described. The effort is being conducted within the environment provided by the Clemson Automated Testing System (CATS). CATS features the ability to automatically translate formal test specifications into executable tests. The formal test specifications are written in accordance with a specification language designed in support of this effort. An overview of the CATS architecture and formal test specification language provide a backdrop for an experience report on the development of formal test specifications for IEEE Std 1003.5 POSIX Ada Language Interfaces. A discussion of scale-up issues concludes the paper.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
