一种基于可达路径的软件测试方法

发明专利无效专利

申请号：
CN201010235307.1
IPC分类号：G06F11/36
申请日期：
2010-07-23
申请人：
哈尔滨工程大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于可达路径的软件测试方法
申请号	CN201010235307.1	申请日期	2010-07-23
法律状态	权利终止	申报国家	中国
公开/公告日	2010-12-01	公开/公告号	CN101901188A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	哈尔滨工程大学	申请人地址	黑龙江省哈尔滨市南岗区南通大街145号哈尔滨工程大学科技处知识产权办公室变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	哈尔滨工程大学	当前权利人	哈尔滨工程大学
发明人	赵玉新;孙纪玮;刘厂;高峰;张振兴;沈志峰
代理机构	暂无	代理人	暂无

摘要

本发明提供的是一种基于可达路径的软件测试方法。1、收集程序的基本信息，包括语句出现的变量的定义和使用信息；2、对每一个切片建立一个信息链表；3、应用图可达性算法后向遍历程序，按照控制和依赖关系标记它的直接前驱结点，将标记的当前节点n包含到S(v)中；4、判断是否到达程序的入口点，如果还没有到达程序的入口点则继续后向遍历程序，否则，停止遍历得到包含一组可能路径的集合即路径切片S；5、从路径切片S的第一个分支谓词开始分析变量的相关性。本发明分两步分析选择可达路径，第一步确定路径的子集，第二步在集合中分析路径。缩小了选择的范围，容易实现覆盖的充分性。

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

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

我浏览过的专利

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