Journal of Computer Applications ›› 2017, Vol. 37 ›› Issue (5): 1276-1281.DOI: 10.11772/j.issn.1001-9081.2017.05.1276

Previous Articles     Next Articles

Simplification method for testing behavior of parallel software

ZHANG Wei, SUN Tao, WAN Xiaoyun   

  1. School of Computer Science, Inner Mongolia University, Hohhot Nei Mongol 010021, China
  • Received:2016-11-09 Revised:2017-01-12 Online:2017-05-10 Published:2017-05-16
  • Supported by:
    This work is partially supported by the National Natural Science Foundation of China (61562064, 61462066).


张玮, 孙涛, 万晓云   

  1. 内蒙古大学 计算机学院, 呼和浩特 010021
  • 通讯作者: 孙涛
  • 作者简介:张玮(1991-),男,内蒙古巴彦淖尔人,硕士研究生,主要研究方向:软件测试;孙涛(1980-),男,内蒙古呼和浩特人,副教授,博士,主要研究方向:软件测试;万晓云(1990-),女,河北张家口人,硕士研究生,主要研究方向:软件测试。
  • 基金资助:

Abstract: Focusing on the issues that it is very difficult to test the parallel software system, and the size of state space is too large, a Colored Petri Net (CPN) model for simplifying the tested behavior of the parallel model was proposed. Firstly, the original model was divided into several sub modules according to the number of the special nodes, such as concurrent transitions, synchronous transitions, the branch places, and the confluence places. Secondly, the position of the tested behavior and the test set was created. Finally, the execution priority was set for the non-test behavior in each parallel module which met the reduction condition. By comparing the results of the state space analysis before and after simplification, the reduction rate of nodes in state space is at least 40%, and the full coverage test path generated by the tested behavior was not affected by the simplification.

Key words: Colored Petri Net (CPN), parallel software, test behavior, priority, test set, full coverage

摘要: 针对并行软件的状态空间规模大导致测试难度大的问题,提出一种基于着色Petri网(CPN)的针对待测行为的并行模型化简方法。首先,将原模型根据模型中出现的并发变迁、同步变迁、分叉库所、汇合库所等特殊节点的个数分成若干个子模块;其次,判断待测行为在模型中的位置,建立待测行为测试集;最后,对每一个并行模块中符合化简条件的非待测行为设定执行优先级。通过对化简前后状态空间分析报告的对比,状态空间中节点的缩减率至少达到40%以上,并且在化简前后对于待测行为生成的全覆盖测试路径不受影响。

关键词: 着色Petri网, 并行软件, 待测行为, 优先级, 测试集, 全覆盖

CLC Number: