专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

31. 发明授权

US07219279B2 Software testing 有权
标题翻译：软件测试
公开(公告)号：US07219279B2
公开(公告)日：2007-05-15
申请号：US11037597
申请日：2005-01-18
申请人： Satish Chandra , Bikram Sengupta , Vibha S Sinha
发明人： Satish Chandra , Bikram Sengupta , Vibha S Sinha
IPC分类号： G01R31/28 , G06F9/00
CPC分类号： G06F11/3688
摘要： A system and method for generating executable units suitable for unit testing of a module for integration errors, the method comprising; recording, for a module, an interface specification that specifies pre-condition constraints on input values of methods of the module and post-condition constraints on output values of the methods of the module; creating, based upon the recorded interface specification, a driver unit for the module that complies with the pre-condition constraints specified by the interface specification; and creating, based upon the recorded interface specification, a stub unit for the module that checks compliance with the specified pre-condition constraints and that complies with the specified post-condition constraints of the interface specification.
摘要翻译：一种用于产生适于单元测试用于集成误差的模块的可执行单元的系统和方法，所述方法包括：为模块记录一个接口规范，指定对模块方法的输入值的前提条件约束以及对模块方法的输出值的后置约束; 基于记录的接口规范创建符合接口规范规定的前置条件约束的模块的驱动单元; 以及基于记录的接口规范创建用于模块的存根单元，该单元用于检查符合指定的前提条件约束并且符合接口规范的指定后置条件约束。

IPRDB

热门服务

关于我们

友情链接

联系方式