计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2013年
1期
54-57
,共4页
Petri网%逆网%最小割集%联锁软件%测试用例
Petri網%逆網%最小割集%聯鎖軟件%測試用例
Petri망%역망%최소할집%련쇄연건%측시용례
根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法.虚拟站场上的测试结果表明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据.
根據Petri網可動態描述和分析繫統行為的特性,設計鐵路計算機聯鎖軟件安全需求Petri網模型,進而提齣基于Petri網故障樹的最小割集求解算法以及基于形式化故障樹最小割集的測試用例動態生成算法.虛擬站場上的測試結果錶明,該方法能有效地降低測試過程的資源消耗,提高軟件測試的效率,為聯鎖軟件的設計與改進提供測試依據.
근거Petri망가동태묘술화분석계통행위적특성,설계철로계산궤련쇄연건안전수구Petri망모형,진이제출기우Petri망고장수적최소할집구해산법이급기우형식화고장수최소할집적측시용례동태생성산법.허의참장상적측시결과표명,해방법능유효지강저측시과정적자원소모,제고연건측시적효솔,위련쇄연건적설계여개진제공측시의거.
