摘要： 介绍了测试自动机的测试驱动器设计与实现技术,给出了测试驱动器接口的测试用例、测试输出的形式化定义,提出了一种通用的“客户/服务”测试驱动模型及其实现技术。
关键词:
测试自动机,
测试驱动,
测试用例
Abstract: This paper introduces design and implementation of test driver in test automaton, presents test case and test results of drivers interface formal definition, puts forward a kind of in general " client/ service" test driver model and implementation.
中图分类号:
易国洪,卢炎生,谢晓东,江胜. 测试自动机的测试驱动器设计与实现技术[J]. , 2004, 30(23): 189-191.
YI Guohong, LU Yansheng, XIE Xiaodong, JIANG Sheng. Design and Implementation of Test Driver in Test Automaton[J]. , 2004, 30(23): 189-191.