一种基于区域分解的实时测试用例生成技术研究

A real-time test case generation technology based on domain decomposition

实时系统是指与运行环境的交互行为存在时间约束的系统。由于时间约束的无穷状态空间问题,增加了实时系统测试难度。本文基于时间自动机,利用时间区域分解的方法,将无穷状态空间的时钟区域在时钟数量对应的坐标图中等价划分为各个类,在生成的测试路径中取到相应的点坐标,简化取点的个数,有效减少测试用例的生成数量,进而相对减少状态空间爆炸的可能性,为实时系统功能、安全性验证提供理论基础。

Real-time systems are the systems which have time constraints when interacting with the runtime environment. The infinite state space of time constraints increases the difficulty of testing the real-time system. Based on a timed automata, using the method of time domain decomposition, the infinite state space of the clock area is divided into various classes equivalently in the clock number corresponding coordinate diagram. Taking the corresponding point coordinates in the generated test path, simplifying the number of point, so the number of generated test cases is reduced effectively, and then the possibility of state space explosion is reduced relatively. It can also provide theoretical basis for the function and safety verification of real-time system.