对象状态测试

被引:5
作者
李健
金茂忠
不详
机构
[1] 北京航空航天大学计算机科学与工程系
关键词
软件;软件质量;软件工程;对象状态测试;测试模型;符号执行;
D O I
10.13700/j.bh.1001-5965.1997.01.018
中图分类号
TP311.5 [软件工程];
学科分类号
081202 ; 0835 ;
摘要
阐述了面向对象软件测试中对象状态测试的重要性,提出了对象状态测试模型(OSD),介绍了从C++源程序构造OSD模型的方法,最后给出了基于OSD的面向对象状态测试的测试策略、测试标准和测试用例的生成方法
引用
收藏
页码:102 / 108
页数:7
相关论文
empty
未找到相关数据