采用扩展π演算的测试用例生成方法  

Test case generation method based on extendedπ-calculus

作　　者：罗玲[1] LUO Ling(Institution of Southwest Electronic Technology,Chengdu 610036, China)

机构地区：[1]西南电子技术研究所,四川成都610036

出　　处：《计算机工程与设计》2016年第11期2985-2991,共7页Computer Engineering and Design

基　　金：国家自然科学基金项目(61303031)

摘　　要：针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作规则构造出系统模型的时间相关标记迁移系统,基于时间相关标记迁移系统和用例规约生成测试用例,测试用例的生成满足执行动作覆盖准则、路径覆盖准则和时间约束覆盖准则,给出测试用例的选择策略。基于网上订票系统的分析结果表明,该方法能够为时间相关并发系统有效地生成测试用例,通过p-π的验证方法,保证了产生的测试用例的正确性。To generate test case by considering the questions in testing for time-dependent concurrent systems,a method based on an extendedπ-calculus p-πwas presented.The p-πwas employed to describe behaviors of time-dependent concurrent systems.Operational rules were utilized to construct the time-dependent labelled transition system（TDLTS）of the system.By means of TDLTS and use case specification,test case was generated according to the executable action,path and time constraint coverage criterion.The selection strategies of test case were given.The experimental analyses of online booking system（OBS）show that this approach can be used to generate test case for time-dependent concurrent systems.In addition,the verification based on p-πensures the correctness of generated test case.

关 键 词：Π演算 进程代数 测试用例 基于模型的测试 形式化模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]