一类安全性苛求软件非规则测试案例自动生成技术

Exploration into Automatic Generation Technology of Non-regular Testing Cases of a Safety-Critical Software

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.

At present, railway station computer interlocking software test platform includes automatic test and manual test. Manual testing cases are some complex and nonregular testing cases which have not been automated for the difficulty in automatic generation of these testing cases. This paper describes these cases in abstract script language by giving some concepts based on analyzing these testing cases. Meanwhile the algorithm of reproducing the cases from the script is given by which the automation of such cases can be realized.