{"title":"使用彩色Petri网生成测试用例","authors":"Lizhi Cai, Juan Zhang, Zhenyu Liu","doi":"10.1109/IEEC.2010.5533237","DOIUrl":null,"url":null,"abstract":"A Petri Net is a graphical and mathematical modeling approach used to describe the transition of states for an information system. This paper presents a novel technique to generating test cases using a Colored Petri Net (CPN) model. The state space of a model based on CPN provides a solid basis for test cases generation in a form that can be easily manipulated. This technique is based on three testing coverage criteria according to the state space. The advantage of this approach is that the correctness of the specification based on CPN can be validated by simulation tools and the state space can be also generated by state space tools. The case for vending machine illustrates the effectiveness of this method.","PeriodicalId":307678,"journal":{"name":"2010 2nd International Symposium on Information Engineering and Electronic Commerce","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Generating Test Cases Using Colored Petri Net\",\"authors\":\"Lizhi Cai, Juan Zhang, Zhenyu Liu\",\"doi\":\"10.1109/IEEC.2010.5533237\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A Petri Net is a graphical and mathematical modeling approach used to describe the transition of states for an information system. This paper presents a novel technique to generating test cases using a Colored Petri Net (CPN) model. The state space of a model based on CPN provides a solid basis for test cases generation in a form that can be easily manipulated. This technique is based on three testing coverage criteria according to the state space. The advantage of this approach is that the correctness of the specification based on CPN can be validated by simulation tools and the state space can be also generated by state space tools. The case for vending machine illustrates the effectiveness of this method.\",\"PeriodicalId\":307678,\"journal\":{\"name\":\"2010 2nd International Symposium on Information Engineering and Electronic Commerce\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-07-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 2nd International Symposium on Information Engineering and Electronic Commerce\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IEEC.2010.5533237\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 2nd International Symposium on Information Engineering and Electronic Commerce","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IEEC.2010.5533237","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Petri Net is a graphical and mathematical modeling approach used to describe the transition of states for an information system. This paper presents a novel technique to generating test cases using a Colored Petri Net (CPN) model. The state space of a model based on CPN provides a solid basis for test cases generation in a form that can be easily manipulated. This technique is based on three testing coverage criteria according to the state space. The advantage of this approach is that the correctness of the specification based on CPN can be validated by simulation tools and the state space can be also generated by state space tools. The case for vending machine illustrates the effectiveness of this method.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
