基于Petri网的联锁软件测试用例动态生成

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

［Ｋｅｙｗｏｒｄｓ］Ｐｅｔｒｉｎｅｔ；ｒｅｖｅｒｓｅｎｅｔ；ＭｉｎｉｍａｌＣｕｔＳｅｔｓ（ＭＣＳ）；ｉｎｔｅｒｌｏｃｋｉｎｇｓｏｆｔｗａｒｅ；ｔｅｓｔｃａｓｅ
第３９卷第１期
Ｖ０ｌ－３９
・
计
算
机
工
程
２０１３年１月
Ｊａｎｕａｒｙ２０１３
ＮＯ．１
ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ
软件技术与数据库・
文章编号：１００ｍ－３４２８（２０１３）０１ — ＿００５４ — －０４文献标识码ｔＡ
（ＫｅｙＬａｂｏｆＯｐｔｏ — ｅｌｅｃｔｒｏｎｉｃｓＴｅｃｈｎｏｌｏｇｙａｎｄＩｎｔｅｌｌｉｇｅｎｔＣｏｎｒｔｏｌ，ＭｉｎｉｓｔｒｙｏｆＥｄｕｃａｔｉｏｎ，ＬａｎｚｈｏｕＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｌｎｚａｈｏｕ７３００７０，Ｃｈｉｎａ）
［Ａｂｓｔｒａｃｔ］ＡｃｃｏｒｄｉｎｇｔｏｔｈｅｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆＰｅｔｒｉｎｅｔｃａｎｄｙｎａｍｉｃａｌｌｙｄｅｓｃｒｉｂｅａｎｄａｎａｌｙｚｅａｓｙｓｔｅｍ，ａｓｅｃｕｒｉｔｙｒｅｑｕｉｒｅｄｍｏｄｅｌ
ｖｉｒｔｕａｌｓｔａｔｉｏｎｔｅｓｔｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｉｓｍｅｔｈｏｄｃａｎｅｆｅｃｔｉｖｅｌｙｒｅｄｕｃｅｔｈｅｒｅｓｏｒｃｕｅｃｏｎｓｕｍｐｔｉｏｎ，ｉｍｐｒｏｖｅｔｈｅｅｉｃｆｉｅｎｃｙｏｆｓｏｆｔｗａｒｅｔｅｓｔｉｎｇａｎｄｉｎｆａｌｌｙｐｒｏｖｉｄｅｔｅｓｔｂａｓｉｓｆｏｒｔｈｅｉｎｔｅｒｌｏｃｋｉｎｇｓｏｆｔｗａｒｅｄｅｓｉｇｎａｎｄｉｍｐｒｏｖｅｍｅｎｔ．
ｏｆｔｈｅｒａｉｌｗａｙｉｎｔｅｒｌｏｃｋｉｎｇｓｏｆｔｗａｒｅｂａｓｅｄｏｎＰｅｔｒｉｎｅｔｉｓｂｕｉｌｔ，ｔｈｅｎａｇｅｎｅｒａｔｉｏｎａｌｇｏｒｉｔｈｍｏｆｔｈｅＭｉｎｉｍａｌＣｕｔＳｅｔｓ（ＭＣＳ）ｂａｓｅｄｏｎ
Ｐｅｔｒｉ网故障树的最小割集求解算wk.baidu.com法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表明，该方法能有效地降低测试过程的资源消耗，提高软件测试的效率，为联锁软件的设计与改进提供测试依据。关健词：Ｐｅｔｒｉ网；逆网；最小割集；联锁软件；测试用例
中田分类号。Ｕ２８４
基于Ｐｅｔｒｉ网的联锁软件测试用例动态生成
强生杰，任恩恩
（兰州交通大学光电技术与智能控制教育部重点实验室，兰州７３００７０）
摘
要：根据Ｐｅｔｒｉ网可动态描述和分析系统行为的特性，设计铁路计算机联锁软件安全需求Ｐｅｔｒｉ网模型，进而提出基于
ＤｙｎａｍｉｃＧｅｎｅｒａｔｉｏｎｏｆＩｎｔｅｒｌｏｃｋｉｎｇＳｏｆｔｗａｒｅＴｅｓｔＣａｓｅ
ＢａｓｅｄｏｎＰｅｔｒｉＮｅｔ
ＱＩＡＮＧＳｈｅｎｇ－ｊｉｅ，ｌＩＥＮＥｎ－ｅｎ
Ｐｅｔｒｉｎｅｔｆａｉｌｕｒｅｔｒｅｅａｎｄｄｙｎａｍｉｃｇｅｎｅｒａｔｉｏｎｏｆｓａｆｅｔｙｔｅｓｔｃａｓｅｂａｓｅｄｏｎｆｏｒｍａｌｆａｉｌｒｅｕｔｒｅｅｍｉｎｉｍａｌｃｕｔｓｅｔｓａｒｅｐｒｅｓｅｎｔｅｄ．Ｔｈｅ
ＤＯＩ：１０．３９６９￣．ｉｓｓｎ．１０００－３４２８．２０１３．０１．０１１
１概述
铁路联锁系统是典型的安全苛求系统，其可靠性和安全性是需要着重考虑的关键性因素。相应地，嵌入其中的联锁软件的逻辑设计也必须做到合理及安全。在对联锁软件进行软件测试时，提高测试过程的自动化程度，改变传统的依靠经验产生测试用例的做法，不仅可以提高软件测试效率，减少测试工作量，同时也可以确保测试质量。Ｐｅｔｒｉ网是一种用于系统描述及模拟的数学分