排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
一种基于类数据流的软件测试技术 总被引:4,自引:0,他引:4
提出了一种类数据流测试技术,通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件,匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例).这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误,并且弥补了传统数据流测试技术的不足,减少了重复测试,提高了测试效率. 相似文献
1