{"title":"如何测试软件以获得最佳的软件可靠性评估","authors":"K. Cai, Yong-Chao Li, Ke Liu","doi":"10.1109/QSIC.2003.1319083","DOIUrl":null,"url":null,"abstract":"The controlled Markov chains (CMC) approach to software testing models the software under test as a controlled Markov chain and treats it as a controlled object. It treats software testing strategy as the corresponding controller. Our previous work has shown that the CMC approach is applicable to dealing with the software testing problem for optimal software reliability growth. In this paper we show that software reliability assessment can be treated as an adaptive control problem and the CMC approach is also applicable to dealing with the optimal software testing problem for software reliability assessment. The work presented in this paper is a contribution to the new area of software cybernetics that explores the interplay between software and control.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"How to test software for optimal software reliability assessment\",\"authors\":\"K. Cai, Yong-Chao Li, Ke Liu\",\"doi\":\"10.1109/QSIC.2003.1319083\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The controlled Markov chains (CMC) approach to software testing models the software under test as a controlled Markov chain and treats it as a controlled object. It treats software testing strategy as the corresponding controller. Our previous work has shown that the CMC approach is applicable to dealing with the software testing problem for optimal software reliability growth. In this paper we show that software reliability assessment can be treated as an adaptive control problem and the CMC approach is also applicable to dealing with the optimal software testing problem for software reliability assessment. The work presented in this paper is a contribution to the new area of software cybernetics that explores the interplay between software and control.\",\"PeriodicalId\":145980,\"journal\":{\"name\":\"Third International Conference on Quality Software, 2003. Proceedings.\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Third International Conference on Quality Software, 2003. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/QSIC.2003.1319083\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third International Conference on Quality Software, 2003. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/QSIC.2003.1319083","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
How to test software for optimal software reliability assessment
The controlled Markov chains (CMC) approach to software testing models the software under test as a controlled Markov chain and treats it as a controlled object. It treats software testing strategy as the corresponding controller. Our previous work has shown that the CMC approach is applicable to dealing with the software testing problem for optimal software reliability growth. In this paper we show that software reliability assessment can be treated as an adaptive control problem and the CMC approach is also applicable to dealing with the optimal software testing problem for software reliability assessment. The work presented in this paper is a contribution to the new area of software cybernetics that explores the interplay between software and control.