基于CPN状态空间的软件场景测试  

SOFTWARE SCENARIO TESTING BASED ON CPN STATE SPACE

作　　者：蔡立志[1] 

机构地区：[1]上海市计算机软件评测重点实验室,上海200112

出　　处：《计算机应用与软件》2010年第9期37-40,65,共5页Computer Applications and Software

基　　金：国家高技术研究发展计划项目子课题(CFA2009RJZX01);国家火炬项目(2009GH520068);上海市科委创新(10DZ2291800)

摘　　要：CPN作为一种重要的建模工具,组合了高级编程语言和常规Petri网的优点,具有状态空间仿真和分析能力。提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的CPN状态空间的覆盖准则来阐述该方法的有效性。Colored Petri Net （CPN） has the advantages of dynamic simulation and analysis of state space as an important modeling tool, It combines the strengths of ordinary Petri Net with the strengths of a high-level programming language. This paper models the vending machine using CPN. This paper presents four testing coverage criteria focusing on state space of CPN ： State Coverage （ SC）, Transition Coverage （ TC）, Transition Pair Coverage （TPC） and State Pair Coverage （SPC）. The four different scenarios for the vending machine are discussed to generate the test case according to these criteria. The test cases generation for vending machine illustrates the effectiveness of the method.

关 键 词：仿真 覆盖 状态空间 CPN 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]