摘要
提出一种基于规格说明的面向对象簇级动态测试的新方法 ,并将它完全嵌入到被测试程序的解释器中 ,从而构成了一个解释型簇级测试工具 .
Based on formal specification, this paper proposes a dynamic approach for object oriented testing at cluster level. A testing tool is formed by embedding the approach into the interpreter of the program under test. A prototype for the testing tool is designed and implemented by using object oriented paradigm.
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第3期376-379,共4页
Journal of Chinese Computer Systems
基金
国家自然科学基金 (#69873 0 2 0 )和 (#60 173 0 3 8)资助
广东省科学基金 (980 690 )资助