| 基于规约说明语言的面向对象软件测试 |
| |
| 引用本文： | 卢炎生,杨峰,王澎.基于规约说明语言的面向对象软件测试[J].华中科技大学学报(自然科学版),2003,31(8):99-101. |
| |
| 作者姓名： | 卢炎生 杨峰 王澎 |
| |
| 作者单位： | 华中科技大学计算机科学与技术学院 |
| |
| 基金项目： | “十五”国防科技预研基金资助项目 |
| |
| 摘 要： | 提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．
|
| 关 键 词： | 软件测试 面向对象 形式化规约说明语言 |
| 文章编号： | 1671-4512(2003)08-0099-03 |
Object-oriented software testing based on formal specification |
| |
| Lu Yansheng Yang Feng Wang Peng Lu Yansheng Prof., College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan ,China..Object-oriented software testing based on formal specification[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2003,31(8):99-101. |
| |
| Authors: | Lu Yansheng Yang Feng Wang Peng Lu Yansheng Prof College of Computer Sci & Tech Huazhong Univ of Sci & Tech Wuhan China |
| |
| Institution: | Lu Yansheng Yang Feng Wang Peng Lu Yansheng Prof., College of Computer Sci. & Tech.,Huazhong Univ. of Sci. & Tech.,Wuhan 430074,China. |
| |
| Abstract: | A framework to test object oriented program was presented. Object Z notation was used to specify formal specification of object oriented program. A state transition diagram derived from formal specification provided a complementary representation of the dynamic behavior and was used to describe a test scenario consisting of function call sequences of an object oriented program. A method was given to verify the correctness of a function call sequence. The test result showed that the testing framework was executable. |
| |
| Keywords: | software testing object oriented formal specification language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
