检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《小型微型计算机系统》2003年第3期376-379,共4页Journal of Chinese Computer Systems
基 金:国家自然科学基金 (#69873 0 2 0 )和 (#60 173 0 3 8)资助;广东省科学基金 (980 690 )资助
摘 要:提出一种基于规格说明的面向对象簇级动态测试的新方法 ,并将它完全嵌入到被测试程序的解释器中 ,从而构成了一个解释型簇级测试工具 .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.
关 键 词:面向对象 软件簇级 动态测试工具 设计 软件工具 软件系统 规格说明 解释器
分 类 号:TP311.56[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249