一种cp-nets模型迹关等价化简工具的设计与实现.docx

一种CP．nets模型迹等价化简工具的设计与实现最后，通过化简实例分析与论证，说明本文所实现的CP-nets模型迹等价 一种CP．nets模型迹等价化简工具的设计与实现 最后，通过化简实例分析与论证，说明本文所实现的CP-nets模型迹等价 化简工具能够对符合迹等价化简条件的CP-nets模型进行有效地化简，从而减 少系统模型的状态空间规模，提升测试效果和效率，提高软件产品开发质量。 关键词：模型化简工具，CP．nets，迹等价，软件测试 万方数据 内蒙古大学硕士学位论文DESIGN 内蒙古大学硕士学位论文 DESIGN AND IMPLEMENTATIoN oF MODEL TRACK EQUIVALENT REDUCTION TOOL WITH CP—NETS ABSTRACT With the development of software industry,parallel software system has become the mainstream，and plays a very important role in daily life and production．Software testing is a vital work in the software lifecycle which carl ensure the quality of software products．However,there are parallel behaviors in parallel soflavare，and it brings about the large state space，even appears exponential growth,thus affects the progress of the software testing． Currently，because of the size，some test methods are too large to effectively early out testing in industry and academia．This thesis creates model for parallel software system by using CP-nets(Coloured Petri nets)．CP-nets is suitable for describing parallel behavior，and it also introduces the concept of data manipulation and data types，SO the model is more clear and intuitive． Using CP—nets model and its state—space is really effective for parallel software system． However,CP-nets model of parallel software system still has large state space，which results in the poor effectiveness and efficiency of testing．Therefore，we design and implement CP—nets model reduction tool using CP—nets model file as input and accomplish reduction work automatically,including the arc redirect，arc expression rewrite and SO on．In the last，it outputs the simplified CP—nets mode automatically．Simplifying model elements and its state space model size will be substantially reduced due to features．Trace’S equivalence means that the behavior of input and output ale equivalent，and functional testing of software only concerned with the behavior of the system input and output rather than unobservable behavior internally．