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

摘要：

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

关键词：自动生成、案例、脚本语言、联锁软件

所属期刊栏目：18

分类号：TP302.8(计算技术、计算机技术)

资助基金：铁道部科技发展基金2001-X-005,2002-X-007;上海市教委资助项目991703

在线出版日期：2004-08-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：83-86