| 一种基于类数据流的软件测试技术 |
| |
| 引用本文： | 李庆华,刘金根,缪天鹏,党建国.一种基于类数据流的软件测试技术[J].华中科技大学学报(自然科学版),2003,31(11):17-19. |
| |
| 作者姓名： | 李庆华 刘金根 缪天鹏 党建国 |
| |
| 作者单位： | 华中科技大学计算机科学与技术学院 |
| |
| 基金项目： | 国家自然科学基金资助项目 (60 2 73 0 75 )，国家高性能计算基金资助项目 (993 1 3 ) |
| |
| 摘 要： | 提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．
|
| 关 键 词： | 类数据流 类测试 对象状态 软件测试 |
| 文章编号： | 1671-4512(2003)11-0017-03 |
| 修稿时间： | 2002年11月1日 |
A software testing technology based on class data flow |
| |
| Li Qinghua Liu Jin'gen Miu Tianpeng Dang Jian'guo Prof., College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan ,China..A software testing technology based on class data flow[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2003,31(11):17-19. |
| |
| Authors: | Li Qinghua Liu Jin'gen Miu Tianpeng Dang Jian'guo Prof College of Computer Sci & Tech Huazhong Univ of Sci & Tech Wuhan China |
| |
| Institution: | Li Qinghua Liu Jin'gen Miu Tianpeng Dang Jian'guo Prof., College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan 430074,China. |
| |
| Abstract: | A kind of data flow testing technology was advanced. The information of the definition-use pair for each instance variable can be computed by the class data flow analysis, with the post conditions and preconditions for each member function. Matching those post conditions and preconditions in the deduction process a function invocation sequence corresponding to each definition-use pair was computed. Those kinds of test cases can disclose the defaults binding in the interaction between the member functions and instance variables, and also reduce the complexity of the selection of test case in the dataflow testing. |
| |
| Keywords: | class data flow class testing object state |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
