{"title":"将测试覆盖率与软件可靠性联系起来","authors":"D. Hamlet","doi":"10.1109/ISSRE.1994.341368","DOIUrl":null,"url":null,"abstract":"It is widely felt that software quality in the form of reliability or \"trustworthiness\", can be demonstrated by the successful completion of testing that \"covers\" the software. However, this intuition has little experimental or theoretical support. The paper considers why the intuition is so powerful and yet misleading. Formal definitions of software \"dependability\" are suggested, along with new approaches for measuring this analogy of trustworthiness.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Connecting test coverage to software dependability\",\"authors\":\"D. Hamlet\",\"doi\":\"10.1109/ISSRE.1994.341368\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is widely felt that software quality in the form of reliability or \\\"trustworthiness\\\", can be demonstrated by the successful completion of testing that \\\"covers\\\" the software. However, this intuition has little experimental or theoretical support. The paper considers why the intuition is so powerful and yet misleading. Formal definitions of software \\\"dependability\\\" are suggested, along with new approaches for measuring this analogy of trustworthiness.<<ETX>>\",\"PeriodicalId\":171359,\"journal\":{\"name\":\"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISSRE.1994.341368\",\"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 1994 IEEE International Symposium on Software Reliability Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSRE.1994.341368","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Connecting test coverage to software dependability
It is widely felt that software quality in the form of reliability or "trustworthiness", can be demonstrated by the successful completion of testing that "covers" the software. However, this intuition has little experimental or theoretical support. The paper considers why the intuition is so powerful and yet misleading. Formal definitions of software "dependability" are suggested, along with new approaches for measuring this analogy of trustworthiness.<>