【技术实现步骤摘要】
本专利技术涉及软件静态测试技术,尤其涉及一种基于给定缺陷描述信息进行软件测试的方法及系统。
技术介绍
静态代码缺陷分析技术通过对代码进行静态分析来推测程序运行时的表现行为,从而发现代码中可能存在的缺陷。 目前,通常采用基于缺陷模式的代码检查方法对代码进行缺陷检测,基于缺陷模式的代码检查方法主要包括如下步骤将受检代码与缺陷查找工具中设置的多个缺陷模式依次进行匹配,如果受检代码与某一缺陷模式匹配,则确定受检代码包含与该缺陷模式对应的缺陷;根据确定的缺陷生成缺陷检测报告,将所述缺陷报告呈现给用户。所述缺陷模式是缺陷查找工具设计人员对代码中经常出现的缺陷进行总结、提炼而设计出来的,每个缺陷模式对应不同的缺陷。现有的缺陷查找工具,如FindBugs、PMD和Hammurapi等,通常具有固定数目的缺陷模式,是不能根据用户的需要增加缺陷模式的,也就是说只能对已设置的缺陷模式对应的缺陷进行检测。但是,实践中用户往往希望能够对自己所关注的缺陷进行检测。
技术实现思路
有鉴于此,本专利技术的主要目的在于提供一种基于给定缺陷描述信息进行软件测试的方法及系统,能够对用户所关注的缺陷进行检 ...
【技术保护点】
一种基于给定缺陷描述信息进行软件测试的方法,其特征在于,所述方法包括:接收用户发来的待测代码和缺陷描述信息;对收到的待测代码进行静态分析,得到符号表、控制流图、函数调用关系、定义?使用链;根据缺陷描述信息在符号表、控制流图、函数调用关系、定义?使用链中进行缺陷查找,找到待测代码中缺陷描述信息所描述的缺陷。
【技术特征摘要】
【专利技术属性】
技术研发人员:黄俊飞,宫云战,王前,金大海,王雅文,赵云山,周虹伯,
申请(专利权)人:北京邮电大学,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。