{"title":"开放系统标准中基于需求的测试的正式方法","authors":"J. Leathrum, K. Liburdy","doi":"10.1109/ICRE.1996.491434","DOIUrl":null,"url":null,"abstract":"Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language Binding to POSIX. The approach taken in this work is based on a formal description of test requirements which can be automatically translated into executable tests by the Clemson Automated Testing System (CATS). A brief design overview of CATS, as well as a design taxonomy for the testing requirements is presented. Lessons learned from this experienced recommendations for future work conclude the paper.","PeriodicalId":152956,"journal":{"name":"Proceedings of the Second International Conference on Requirements Engineering","volume":"76 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A formal approach to requirements based testing in open systems standards\",\"authors\":\"J. Leathrum, K. Liburdy\",\"doi\":\"10.1109/ICRE.1996.491434\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language Binding to POSIX. The approach taken in this work is based on a formal description of test requirements which can be automatically translated into executable tests by the Clemson Automated Testing System (CATS). A brief design overview of CATS, as well as a design taxonomy for the testing requirements is presented. Lessons learned from this experienced recommendations for future work conclude the paper.\",\"PeriodicalId\":152956,\"journal\":{\"name\":\"Proceedings of the Second International Conference on Requirements Engineering\",\"volume\":\"76 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-04-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Second International Conference on Requirements Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICRE.1996.491434\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Second International Conference on Requirements Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICRE.1996.491434","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A formal approach to requirements based testing in open systems standards
Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language Binding to POSIX. The approach taken in this work is based on a formal description of test requirements which can be automatically translated into executable tests by the Clemson Automated Testing System (CATS). A brief design overview of CATS, as well as a design taxonomy for the testing requirements is presented. Lessons learned from this experienced recommendations for future work conclude the paper.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
