主权项 |
一种汇编级的单粒子软错误的测试点设置与优化方法,其特征在于包含如下步骤:第一步:划分基本块并生成分块表根据基本块的关键字将汇编程序划分为若干个基本块的集合并将每个基本块的结构信息写入分块表中;所述的基本块指一段顺序执行的程序代码;所述的基本块关键字指在汇编语言中的跳转指令、函数调用指令和函数返回指令;所述的分块表为一个链表,用于保存基本块的结构信息,包括基本块入口、基本块出口、基本块长度、标志字段、下一跳地址和分块表下一结点地址;第二步:执行函数返回优化根据每个基本块的标识信息,遍历原始分块表,找出函数返回指令所在基本块对应的结点,将此结点中的信息“合并”到函数调用返回后的基本块所对应的结点中,构成新的基本块和结点,形成函数返回优化后的分块表及其链表;第三步:执行函数调用优化根据函数返回优化后的基本块的标识信息,遍历函数返回优化后的分块表,找出函数调用指令所在基本块对应的结点,将此结点中的信息“合并”到子函数的第一个基本块所在的结点中,构成新的基本块和结点,形成函数返回优化和函数调用优化后的分块表及其链表;第四步:执行循环优化根据函数调用优化后的基本块的标识信息,遍历函数调用优化后的分块表,找出单重for循环的循环体所在基本块对应的结点,将此结点中的信息“合并”到循环体后基本块所在的结点中,构成新的分块表和结点。 |