{"title":"确定有效软件测试区域的方法:检测与外部规格变更相关的软件缺陷","authors":"Takeshi Kaneko, Takeshi Nakajo","doi":"10.1109/CMPSAC.1989.65143","DOIUrl":null,"url":null,"abstract":"A method of specifying effective testing regions for detecting software defects accompanying changes in external specifications is proposed. On the basis of a careful analysis of actual software defects, the concept of restriction elements is introduced, and it is shown that software defects resulting from external specification changes can be regarded as consisting of the incorrect addition or elimination of these restriction elements. These errors produce a response different from the specifications in certain input regions. A theorem concerning the regions influenced is presented, and examples showing the effectiveness of the method are given.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"72 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Method of determining effective software testing regions: detection of software defects related to external specification changes\",\"authors\":\"Takeshi Kaneko, Takeshi Nakajo\",\"doi\":\"10.1109/CMPSAC.1989.65143\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A method of specifying effective testing regions for detecting software defects accompanying changes in external specifications is proposed. On the basis of a careful analysis of actual software defects, the concept of restriction elements is introduced, and it is shown that software defects resulting from external specification changes can be regarded as consisting of the incorrect addition or elimination of these restriction elements. These errors produce a response different from the specifications in certain input regions. A theorem concerning the regions influenced is presented, and examples showing the effectiveness of the method are given.<<ETX>>\",\"PeriodicalId\":339677,\"journal\":{\"name\":\"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference\",\"volume\":\"72 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-09-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1989.65143\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1989.65143","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Method of determining effective software testing regions: detection of software defects related to external specification changes
A method of specifying effective testing regions for detecting software defects accompanying changes in external specifications is proposed. On the basis of a careful analysis of actual software defects, the concept of restriction elements is introduced, and it is shown that software defects resulting from external specification changes can be regarded as consisting of the incorrect addition or elimination of these restriction elements. These errors produce a response different from the specifications in certain input regions. A theorem concerning the regions influenced is presented, and examples showing the effectiveness of the method are given.<>