一种来自局部设计模型的软件测试案例生成的方法及系统

发明专利有效专利

申请号：
CN201210357186.7
IPC分类号：G06F9/44;G06F11/36
申请日期：
2012-09-21
申请人：
通用汽车环球科技运作有限责任公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种来自局部设计模型的软件测试案例生成的方法及系统
申请号	CN201210357186.7	申请日期	2012-09-21
法律状态	授权	申报国家	中国
公开/公告日	2013-04-03	公开/公告号	CN103019669A
优先权	暂无	优先权号	暂无
主分类号	G06F9/44 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/44 执行特定程序的设计〔3，2006.01，2018.01〕	IPC分类号	G;0;6;F;9;/;4;4;;;G;0;6;F;1;1;/;3;6查看分类表>
申请人	通用汽车环球科技运作有限责任公司	申请人地址	美国密歇根州变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	通用汽车环球科技运作有限责任公司	当前权利人	通用汽车环球科技运作有限责任公司
发明人	P.M.佩拉南达姆;A.A.嘉德卡里;R.赛瑟
代理机构	北京市柳沈律师事务所	代理人	葛青

摘要

一种方法，其允许关于具有不同于SUT边界的边界的局部设计模型（PDM）测试测试中软件（SUT）。该方法包括记录输入信息，包括SUT、PDM、限定了需要数目的测试案例的覆盖标准。对应于PDM的边界信号的SUT中的变量被识别出。提取满足覆盖标准的测试案例。该方法还包括在PDM水平上产生附加的测试案例，且继而使用正向/反向传播或基于启发的导向技术将具有相应的约束函数的附加案例映射至SUT编码的边界。用于测试SUT的系统包括主机和存储器。该主机执行来自存储器的处理指令，以识别SUT中对应于PDM的边界信号的变量，且提取满足覆盖标准的测试案例。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供