[发明专利]一种基于软件缺陷模式的测试方法及系统有效
申请号: | 200810114261.0 | 申请日: | 2008-06-02 |
公开(公告)号: | CN101286132A | 公开(公告)日: | 2008-10-15 |
发明(设计)人: | 宫云战;陈俊亮;杨朝红;肖庆;王雅文 | 申请(专利权)人: | 北京邮电大学 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京汇泽知识产权代理有限公司 | 代理人: | 张颖玲;王黎延 |
地址: | 100876*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于软件缺陷模式的测试方法,包括:读取被测程序源代码文件及缺陷状态机SDSM描述文件,对被测程序进行预处理,解析SDSM描述文件;对被测程序进行词法分析和语法分析,构造出抽象语法树;根据抽象语法树,生成控制流图和符号表,并根据控制流图和符号表,进行变量取值区间集的计算与更新;对被测程序进行函数调用关系分析,生成函数调用关系图;根据函数调用关系图以函数为单位对控制流图进行遍历,并计算控制流图上每个节点缺陷状态机的状态变迁,缺陷状态机进入缺陷状态时报告对应的检查点。本发明还公开了一种基于软件缺陷模式的测试系统,包括:输入模块,缺陷模式统一测试框架,和用户界面模块,完成对被测程序的统一测试。 | ||
搜索关键词: | 一种 基于 软件 缺陷 模式 测试 方法 系统 | ||
【主权项】:
1、一种基于软件缺陷模式的测试方法,其特征在于,该方法包括:a.读取被测程序源代码文件及缺陷状态机SDSM描述文件,对被测程序进行预处理,解析SDSM描述文件;b.对被测程序进行词法分析和语法分析,构造出被测程序的抽象语法树;c.根据抽象语法树,生成控制流图和符号表,并根据控制流图和符号表,进行变量取值区间集的计算与更新;d.根据符号表,对被测程序进行函数调用关系分析,生成函数调用关系图;e.根据函数调用关系图以函数为单位对控制流图进行遍历,并计算控制流图上每个节点缺陷状态机的状态变迁,缺陷状态机进入缺陷状态时报告对应的检查点。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京邮电大学,未经北京邮电大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200810114261.0/,转载请声明来源钻瓜专利网。
- 上一篇:活塞往复式压缩机阶梯压缩方法及系统
- 下一篇:三维管幕暗挖法