{"title":"Test sequences generation based on CPN properties","authors":"Xinming Ye, Hongying Bai, Tao Sun, Guanghua Li","doi":"10.1109/ICCIAUTOM.2011.6183965","DOIUrl":null,"url":null,"abstract":"Colored Petri Nets (CPN) is suitable for formally describing and analyzing complex systems with communication, synchronization and concurrency. In this paper, CPN properties based on CPN model is defined, the test case generation algorithm based on CPN properties is given, and a test case generation tool is developed to generate test sequences based on CPN properties automatically. We also apply this method to the test sequences generation of HMIPv6 protocol and verify its effectiveness.","PeriodicalId":177039,"journal":{"name":"2011 2nd International Conference on Control, Instrumentation and Automation (ICCIA)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 2nd International Conference on Control, Instrumentation and Automation (ICCIA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCIAUTOM.2011.6183965","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Colored Petri Nets (CPN) is suitable for formally describing and analyzing complex systems with communication, synchronization and concurrency. In this paper, CPN properties based on CPN model is defined, the test case generation algorithm based on CPN properties is given, and a test case generation tool is developed to generate test sequences based on CPN properties automatically. We also apply this method to the test sequences generation of HMIPv6 protocol and verify its effectiveness.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
