使用彩色Petri网生成测试用例

2010 2nd International Symposium on Information Engineering and Electronic Commerce Pub Date : 2010-07-23 DOI:10.1109/IEEC.2010.5533237

Lizhi Cai, Juan Zhang, Zhenyu Liu

{"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}

引用次数: 5

摘要

Petri网是一种图形和数学建模方法，用于描述信息系统的状态转换。本文提出了一种利用彩色Petri网(CPN)模型生成测试用例的新技术。基于CPN的模型的状态空间为以易于操作的形式生成测试用例提供了坚实的基础。该技术基于根据状态空间的三个测试覆盖标准。这种方法的优点是可以通过仿真工具验证基于CPN的规范的正确性，并且可以通过状态空间工具生成状态空间。自动售货机的例子说明了这种方法的有效性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Generating Test Cases Using Colored Petri Net

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 2nd International Symposium on Information Engineering and Electronic Commerce

自引率

0.00%

发文量