【摘要】 本发明公布了一种改进的基于符号执行的软件静态测试方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将被测代码输入测试工具中；1.2)根据C语言文法自定义一个关键词列表进行词法分析；1.3)根据C语言文法自定义函数结构模块及算法对代码进行语法分析得到程序静态分析树；2、第二阶段分析。其中包括：2.1)根据步骤(1.2)中词法分析结果，以结构体的形式(包含变量名称及变量的符号值)建立变量列表、以链表的形式存储当前路径条件；2.2)根据步骤(1.3)中语法分析结果，对程序静态分析树进行中序遍历，将步骤(2.1)中存储的路径条件进行约束求解得到可执行路径，得到变量最终的符号执行结果。本发明能够克服在其他静态测试中不能确定程序中变量的值的问题。 【专利类型】发明申请 【申请人】南京航空航天大学 【申请人类型】学校 【申请人地址】210016 江苏省南京市御道街29号 【申请人地区】中国 【申请人城市】南京市 【申请人区县】秦淮区 【申请号】CN201010180129.7 【申请日】2010-05-24 【申请年份】2010 【公开公告号】CN102262580A 【公开公告日】2011-11-30 【公开公告年份】2011 【IPC分类号】G06F11/36 【发明人】刘久富; 娄坚波; 李金奎; 王伟; 苏青琴; 陈魁 【主权项内容】一种改进的基于符号执行的软件静态测试方法及工具，已经开发包含该方法的面向宿主的软件自动化测试工具，其特征在于包括如下步骤：1、第一阶段分析。其中包括：1.1)将被测代码输入测试工具中；1.2)根据C语言文法自定义一个关键词列表，并对照关键词列表对被测试代码进行词法分析；1.3)根据C语言文法自定义函数结构模块、构造抽象语法树的生成算法，并对照词法分析的结果，利用“自下而上”的方法(即从从语法树的末端开始，步步向上“归约”)，对被测代码进行语法分析，最终得到程序静态分析树(PAT)作为一个中间表示形式，并且利用文档进行存储，且利用树型控件进行显示；2、第二阶段分析。其中包括：2.1)根据第一阶段分析步骤(1.2)中的词法分析结果，以特定结构体的形式(包含变量名称及变量的符号值)建立变量列表、以链表的形式存储当前路径条件(便于回溯)；2.2)根据第一阶段分析步骤(1.3)中的语法分析结果，对程序静态分析树进行中序遍历，同时对变量列表中变量的符号值进行替换；将步骤(2.1)中存储的路径条件进行约束求解得到可执行路径，并且依照算法得到每个变量最终的符号执行结果，最终以文本的格式保存。。： 【当前权利人】南京航空航天大学 【当前专利权人地址】江苏省南京市御道街29号 【专利权人类型】公立 【统一社会信用代码】12100000466006826U 【引证次数】3.0 【被引证次数】9 【自引次数】1.0 【他引次数】2.0 【被他引次数】9.0 【家族引证次数】3.0 【家族被引证次数】9

未经允许不得转载：http://www.zhongzhencnc.com/1785580021.html