{"title":"早期系统级软件可靠性评估的Petri-net方法","authors":"Meng-Lai Yin, C. L. Hyde, L. E. James","doi":"10.1109/RAMS.2000.816291","DOIUrl":null,"url":null,"abstract":"This paper addresses software reliability modeling issues at the early stage of a software development for large-scale software products. The hierarchical view of a software product provides the modeling framework at the system level. This paper shows how to take the hierarchical description and perform the system-level software reliability estimation using Petri net mechanisms. The Petri net modeling techniques are proposed for handling the dependency among software modules. Furthermore, this paper addresses issues of early-stage software reliability modeling when failure data is not available.","PeriodicalId":178321,"journal":{"name":"Annual Reliability and Maintainability Symposium. 2000 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.00CH37055)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":"{\"title\":\"A Petri-net approach for early-stage system-level software reliability estimation\",\"authors\":\"Meng-Lai Yin, C. L. Hyde, L. E. James\",\"doi\":\"10.1109/RAMS.2000.816291\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper addresses software reliability modeling issues at the early stage of a software development for large-scale software products. The hierarchical view of a software product provides the modeling framework at the system level. This paper shows how to take the hierarchical description and perform the system-level software reliability estimation using Petri net mechanisms. The Petri net modeling techniques are proposed for handling the dependency among software modules. Furthermore, this paper addresses issues of early-stage software reliability modeling when failure data is not available.\",\"PeriodicalId\":178321,\"journal\":{\"name\":\"Annual Reliability and Maintainability Symposium. 2000 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.00CH37055)\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-01-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"15\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annual Reliability and Maintainability Symposium. 2000 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.00CH37055)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RAMS.2000.816291\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Reliability and Maintainability Symposium. 2000 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.00CH37055)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RAMS.2000.816291","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Petri-net approach for early-stage system-level software reliability estimation
This paper addresses software reliability modeling issues at the early stage of a software development for large-scale software products. The hierarchical view of a software product provides the modeling framework at the system level. This paper shows how to take the hierarchical description and perform the system-level software reliability estimation using Petri net mechanisms. The Petri net modeling techniques are proposed for handling the dependency among software modules. Furthermore, this paper addresses issues of early-stage software reliability modeling when failure data is not available.