| 面向断言的测试数据生成方法及其应用 |
| |
| 引用本文： | 徐中伟,李海波. 面向断言的测试数据生成方法及其应用[J]. 同济大学学报(自然科学版), 2007, 35(5): 659-663 |
| |
| 作者姓名： | 徐中伟 李海波 |
| |
| 作者单位： | 同济大学,信息与通信工程系,上海,200092 |
| |
| 摘 要： | 提出了一种利用断言产生测试用例的白箱测试方法．该方法首先选定程序中某条语句作为目标节点，通过在目标节点的临界分支和必要分支上插入断言来限制和跟踪程序的执行，以保证程序能到达目标节点，从而生成相关测试数据．利用这种测试数据生成方法，对轨道交通列车自动监控系统软件（ATS）的部分功能模块进行单元测试，并给出测试结果．
|
| 关 键 词： | 列车自动监控系统 断言 单元测试 测试数据生成 |
| 文章编号： | 0253-374X（2007）05-0659-05 |
| 修稿时间： | 2005-06-21 |
Assertion-Oriented Test Data Generation and Its Application |
| |
| XU Zhongwei,LI Haibo. Assertion-Oriented Test Data Generation and Its Application[J]. Journal of Tongji University(Natural Science), 2007, 35(5): 659-663 |
| |
| Authors: | XU Zhongwei LI Haibo |
| |
| Affiliation: | Department of Information and Communication Engineering, Tongji University, Shanghai 200092,China |
| |
| Abstract: | This paper presents a novel approach of white-box test data generation on the basis of assertions.A statement is selected as the goal node first,and then assertions which might control and trace the program process are inserted into the critical branches and necessary branches of the goal node.Those assertions assure that the goal node can be executed and if the program reaches the goal node then related test data is generated.This method has been applied to Automatic Train Supervision(ATS)software unit test,some results of which are presented in this paper. |
| |
| Keywords: | automatic train supervision assertion unit test test data generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
