{"title":"软件测试精化的知识库","authors":"S. Zeil, J. C. Wild","doi":"10.1109/KBSE.1993.341198","DOIUrl":null,"url":null,"abstract":"Software testing criteria produce test descriptions that may be viewed as systems of constraints describing desired test cases. Refinement of test descriptions is possible by adding additional constraints to each test description, reducing the solution space and focusing attention upon tests that are more likely to reveal faults. This paper describes the structure of a knowledge base intended to capture potentially useful refinements, based either upon the expert knowledge of a tester or upon the software faults uncovered in prior, related projects.<<ETX>>","PeriodicalId":371606,"journal":{"name":"Proceedings of 8th Knowledge-Based Software Engineering Conference","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"A knowledge base for software test refinement\",\"authors\":\"S. Zeil, J. C. Wild\",\"doi\":\"10.1109/KBSE.1993.341198\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Software testing criteria produce test descriptions that may be viewed as systems of constraints describing desired test cases. Refinement of test descriptions is possible by adding additional constraints to each test description, reducing the solution space and focusing attention upon tests that are more likely to reveal faults. This paper describes the structure of a knowledge base intended to capture potentially useful refinements, based either upon the expert knowledge of a tester or upon the software faults uncovered in prior, related projects.<<ETX>>\",\"PeriodicalId\":371606,\"journal\":{\"name\":\"Proceedings of 8th Knowledge-Based Software Engineering Conference\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-05-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 8th Knowledge-Based Software Engineering Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/KBSE.1993.341198\",\"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 8th Knowledge-Based Software Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/KBSE.1993.341198","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Software testing criteria produce test descriptions that may be viewed as systems of constraints describing desired test cases. Refinement of test descriptions is possible by adding additional constraints to each test description, reducing the solution space and focusing attention upon tests that are more likely to reveal faults. This paper describes the structure of a knowledge base intended to capture potentially useful refinements, based either upon the expert knowledge of a tester or upon the software faults uncovered in prior, related projects.<>