摘要
提出了一种测试面向对象程序的框架模型 .用Object Z语言描述面向对象程序的形式化规约 .从形式化规约说明中可以推导出的面向对象程序的状态转换图 ,状态图可以表示面向对象程序的动态行为 ,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集 .最后给出了验证一个方法调用序列正确性的方法 .
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.
出处
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2003年第8期99-101,共3页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
"十五"国防科技预研基金资助项目
关键词
软件测试
面向对象
形式化规约说明语言
software testing
object oriented
formal specification language
