Test Case Generation Based on the Combination of CPN Modeling and On-the-Fly Method
Author:
Affiliation:

Clc Number:

Fund Project:

National Natural Science Foundation of China (61163011, 61262082); Natural Science Foundation of Inner Mongolia Autonomous Region of China (2015MS0612); Scientific Research Foundation of the Higher Education Institutions of Inner Mongolia Autonomous Region of China (NJZY010); Cernet Innovation Project (NGII20150112).

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    The generated system state space can be very large when a complex software system is tested.In order to avoid the unnecessary traversing of the entire state space, a new method is presented based on the combination of CPN modeling and on-the-fly method to generate test cases.During such a process, only part of the state space is traversed according to the tester's personnel interest.Firstly, both the definitions of CPN and the extended reachability graph are introduced, and the related concepts relating to the on-the-fly testing method, including system specification, test purpose, synchronous product and test cases, are introduced.Secondly, a synchronous product algorithm is implemented, and the test cases are designed to test the algorithm as well.Finally, an implementation under test is selected to sample the combination method of CPN modeling and on-the-fly method.The interactions between the tester and the implementation under test are realized through an adapter, and the test cases are generated and executed simultaneously.Thus the feasibility and the effectiveness of the proposed method are verified.

    Reference
    Related
    Cited by
Get Citation

张玉荣,李华,邢熠,王显荣,阮宏玮,张素梅. CPN建模与on-the-fly方法相结合的测试用例生成.软件学报,2017,28(10):2564-2582

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 25,2015
  • Revised:September 07,2016
  • Adopted:
  • Online: September 30,2017
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063