中文摘要：

针对时间相关并发系统的测试问题,提出一种采用扩展π演算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.