发明授权
US08612938B2 System and method for automatic generation of test data to satisfy modified condition decision coverage
有权
用于自动生成测试数据以满足修改的条件决策覆盖的系统和方法
- 专利标题： System and method for automatic generation of test data to satisfy modified condition decision coverage
- 专利标题（中）： 用于自动生成测试数据以满足修改的条件决策覆盖的系统和方法
-
申请号： US12652297申请日： 2010-01-05
-
公开(公告)号： US08612938B2公开(公告)日： 2013-12-17
- 发明人: Bokil Prasad , Darke Priyanka , Venkatesh Ramanathan , Shrotri Ulka
- 申请人： Bokil Prasad , Darke Priyanka , Venkatesh Ramanathan , Shrotri Ulka
- 申请人地址： IN Maharashtra
- 专利权人： TATA Consultancy Services Limited
- 当前专利权人： TATA Consultancy Services Limited
- 当前专利权人地址： IN Maharashtra
- 代理机构： Lucas & Mercanti, LLP
- 代理商 Robert P. Michal
- 优先权： IN26/MUM/2009 20090105
- 主分类号： G06F9/44
- IPC分类号： G06F9/44
摘要：
The tool, MC/DC-Automatic Tool Generator automatically generates test data to satisfy Modified Condition Decision Coverage (MCDC) from input code/model. This tool reduces the effort required to generate MCDC test data significantly. In order to reduce the time required by model checkers, abstraction and optimization methodologies have been implemented to analyze typical reactive software model/code.
公开/授权文献
信息查询
