| 一类安全性苛求软件非规则测试案例自动生成技术 |
| |
| 引用本文： | 周清元,郦萌. 一类安全性苛求软件非规则测试案例自动生成技术[J]. 装甲兵工程学院学报, 2004, 18(2): 83-86 |
| |
| 作者姓名： | 周清元 郦萌 |
| |
| 作者单位： | 同济大学计算机科学与工程系,上海,200331 |
| |
| 基金项目： | 铁道部科技发展基金，上海市教委资助项目 |
| |
| 摘 要： | 目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.
|
| 关 键 词： | 自动生成 案例 脚本语言 联锁软件 |
| 文章编号： | 1672-1497(2004)02-0083-04 |
| 修稿时间： | 2004-04-02 |
Exploration into Automatic Generation Technology of Non-regular Testing Cases of a Safety-Critical Software |
| |
| ZHOU Qing-yuan LI Meng. Exploration into Automatic Generation Technology of Non-regular Testing Cases of a Safety-Critical Software[J]. Journal of Armored Force Engineering Institute, 2004, 18(2): 83-86 |
| |
| Authors: | ZHOU Qing-yuan LI Meng |
| |
| Affiliation: | ZHOU Qing-yuan LI Meng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
