基于时间自动机的测试用例自动生成及执行方法  

Testcase automatic generation and execution method based on timed automata

作　　者：冯东伟[1] 陈伟[1] 赵琛[1] 

机构地区：[1]中国科学院软件研究所件互联网软技术实验室

出　　处：《计算机工程与设计》2008年第3期521-525,702,共6页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2004AA1Z2100)

摘　　要：为了实现对时间自动机模型的测试,采用符号状态拆分算法对时间自动机的状态空间进行等价划分,以得到最简稳定符号状态转移图,并将其中的抽象时间延迟转移替换为时间延迟变量;针对系统中每个时间自动机建立各自的符号状态转移图,再采用基于符号迁移系统的测试方法分别生成相应的转移动作序列;最后通过对这些序列进行组合产生系统的测试用例,为了执行测试用例,利用TTCN-3的多PTC并发执行能力来实施测试。To test timed automata model, firstly symbol state splitting method is adopted to equivalently divide the state space of timed automata so as to get their minimal stable transition graph of symbol state, and then replaces the abstract time delay transitions with time delay variables. After that, symbol state transition graph is established for each timed automaton in the system, and corresponding transition action sequences can be derived with symbol transition system based testing method. Lastly these sequences are assemblied to generate Testcases for the system and use the multi-PTC concurrent execution capability of TTCN-3 to execute the Testcases.

关 键 词：时间自动机 符号状态拆分算法 测试用例生成 用例自动执行 测试与测控标记 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]