发明名称 一种汇编级的单粒子软错误的测试点设置与优化方法
摘要 本发明一种汇编级的单粒子软错误的测试点设置与优化方法,包含如下步骤:划分基本块并生成分块表;执行函数返回优化;执行函数调用优化;执行循环优化;本发明通过采用函数返回优化、函数调用优化和循环优化的方法,在保证控制流软错误检测覆盖率基本不变的前提下,减少测试点的数量并减少实际检测的次数,大幅度降低了检测开销,优化后的测试点数量相比于优化前下降30%以上。
申请公布号 CN104142889A 申请公布日期 2014.11.12
申请号 CN201410353315.4 申请日期 2014.07.23
申请人 西安空间无线电技术研究所 发明人 张国霞;龚科;高翔;郭阳明;王向涛
分类号 G06F11/36(2006.01)I 主分类号 G06F11/36(2006.01)I
代理机构 中国航天科技专利中心 11009 代理人 安丽
主权项 一种汇编级的单粒子软错误的测试点设置与优化方法,其特征在于包含如下步骤:第一步:划分基本块并生成分块表根据基本块的关键字将汇编程序划分为若干个基本块的集合并将每个基本块的结构信息写入分块表中;所述的基本块指一段顺序执行的程序代码;所述的基本块关键字指在汇编语言中的跳转指令、函数调用指令和函数返回指令;所述的分块表为一个链表,用于保存基本块的结构信息,包括基本块入口、基本块出口、基本块长度、标志字段、下一跳地址和分块表下一结点地址;第二步:执行函数返回优化根据每个基本块的标识信息,遍历原始分块表,找出函数返回指令所在基本块对应的结点,将此结点中的信息“合并”到函数调用返回后的基本块所对应的结点中,构成新的基本块和结点,形成函数返回优化后的分块表及其链表;第三步:执行函数调用优化根据函数返回优化后的基本块的标识信息,遍历函数返回优化后的分块表,找出函数调用指令所在基本块对应的结点,将此结点中的信息“合并”到子函数的第一个基本块所在的结点中,构成新的基本块和结点,形成函数返回优化和函数调用优化后的分块表及其链表;第四步:执行循环优化根据函数调用优化后的基本块的标识信息,遍历函数调用优化后的分块表,找出单重for循环的循环体所在基本块对应的结点,将此结点中的信息“合并”到循环体后基本块所在的结点中,构成新的分块表和结点。
地址 710100 陕西省西安市长安区西街150号