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

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

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

强生杰, 任恩恩

Dynamic Generation of Interlocking Software Test Case Based on Petri Net

JIANG Sheng-Jie, LIN En-En

计算机工程 . 2013, (1): 54 -57 . DOI: 10.3969/j.issn.1000-3428.2013.01.011