CN107479941A - 一种程序容错方法及程序容错装置 - Google Patents
一种程序容错方法及程序容错装置 Download PDFInfo
- Publication number
- CN107479941A CN107479941A CN201710882509.7A CN201710882509A CN107479941A CN 107479941 A CN107479941 A CN 107479941A CN 201710882509 A CN201710882509 A CN 201710882509A CN 107479941 A CN107479941 A CN 107479941A
- Authority
- CN
- China
- Prior art keywords
- statement
- bytecode
- mistake
- sentence
- type
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/42—Syntactic analysis
- G06F8/427—Parsing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
- G06F8/433—Dependency analysis; Data or control flow analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/443—Optimisation
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明公开了一种程序容错方法及程序容错装置,其中方法包括:对第一程序进行解析,生成第一字节码,第一程序中各循环语句均设置有头部标识和尾部标识;确定第一字节码中各循环语句的循环语句类型;根据头部标识、尾部标识及循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量并建立该循环语句与该循环语句偏移到下一条语句所需偏移量的对应关系;获得第一字节码发生的第一错误的错误记录,根据错误记录确定第一错误为循环语句的条件判断错误时控制第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。本发明能够在循环语句中发生条件判断错误时,跳出循环语句,避免程序进入死循环导致系统崩溃。
Description
技术领域
本发明涉及程序容错技术领域,特别涉及一种程序容错方法及程序容错装置。
背景技术
容错是由于种种原因在引擎中的程序发生各种错误时,例如变量、函数没有定义、各种笔误等,程序会在一定范围内包容或允许错误的发生,使系统能够连续正常运行。
在现有的容错技术下,系统捕捉程序中的错误。当程序中循环语句中发生条件判断错误时,系统在现有容错技术的作用下,使循环语句在程序不终止的情况下一直循环执行,导致程序无法跳出,然后进入死循环。
程序进入死循环后,程序无法继续执行下去,导致程序崩溃,使系统无法正常运行下去。
发明内容
有鉴于此,本发明提供一种程序容错方法及程序容错装置。该容错方法在引擎捕捉到程序中循环语句中条件判断语句发生错误时,在不终止引擎运行的情况下,使程序跳出发生错误的循环语句,继续执行下一条语句,使系统能够正常运行。具体技术方案如下:
一种程序容错方法,包括:
对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识;
确定所述第一字节码中各循环语句的循环语句类型;
根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系;
获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
可选的,所述确定所述第一字节码中各循环语句的循环语句类型,包括:
根据所述头部标识和所述尾部标识确定各循环语句对应的字节码;
对每一循环语句对应的字节码:获得该循环语句对应的字节码中的关键字;
根据所述关键字确定该循环语句的循环语句类型。
可选的,所述关键字包括:for、while和do,所述根据所述关键字确定该循环语句的循环语句类型,包括:
在该循环语句对应的字节码中的关键字为for时,确定该循环语句的循环语句类型为for循环语句;
在该循环语句对应的字节码中的关键字为while时,确定该循环语句的循环语句类型为while循环语句;
在该循环语句对应的字节码中的关键字为do和while时,确定该循环语句的循环语句类型为do while循环语句。
可选的,所述根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,包括:
对循环语句类型为for循环语句或while循环语句的循环语句:将该循环语句的头部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量;
对循环语句为do while循环语句的循环语句:将该循环语句的尾部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量。
可选的,所述根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,包括:
根据所述错误记录中的错误位置确定所述第一错误是否发生在循环语句的条件判断语句中;如果是,则确定所述错误记录中的错误类型是否为预设条件错误类型中的一种,如果是,则确定所述第一错误为循环语句的条件判断错误。
可选的,所述控制所述条件判断错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句,包括:
为所述条件判断错误添加偏移标识,控制添加有偏移标识的错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
一种程序容错装置,包括:程序解析模块、循环语句确定模块、偏移确定模块和偏移执行模块;
所述程序解析模块,用于对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识;
所述循环语句确定模块,用于确定所述第一字节码中各循环语句的循环语句类型;
所述偏移确定模块,用于根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系;
所述偏移执行模块,用于获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
可选的,所述循环语句确定模块包括:字节码确定子模块、关键字获取子模块和循环语句类型确定子模块;
所述字节码确定子模块用于根据所述头部标识和所述尾部标识确定各循环语句对应的字节码;
所述关键字获取子模块用于对每一循环语句对应的字节码:获得该循环语句对应的字节码中的关键字;
所述循环语句类型确定子模块,用于:
在该循环语句对应的字节码中的关键字为for时,确定该循环语句的循环语句类型为for循环语句;
在该循环语句对应的字节码中的关键字为while时,确定该循环语句的循环语句类型为while循环语句;
在该循环语句对应的字节码中的关键字为do和while时,确定该循环语句的循环语句类型为do while循环语句。
可选的,所述偏移确定模块具体用于:
对循环语句类型为for循环语句或while循环语句的循环语句:将该循环语句的头部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量;
对循环语句为do while循环语句的循环语句:将该循环语句的尾部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量。
可选的,所述偏移执行模块包括:错误位置判断子模块、错误类型判断子模块和偏移控制子模块;
所述错误位置判断子模块用于获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录中的错误位置确定所述第一错误是否发生在循环语句的条件判断语句中,如果是,则触发所述错误类型判断子模块;
所述错误类型判断子模块用于确定所述错误记录中的错误类型是否为预设条件错误类型中的一种,如果是,则确定所述第一错误为循环语句的条件判断错误,触发所述偏移控制子模块;
所述偏移控制子模块用于为所述条件判断错误添加偏移标识,控制添加有偏移标识的错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍。
图1为本发明实施例提供的一种程序容错方法的流程图;
图2为本发明实施例提供的另一种程序容错方法的流程图;
图3为本发明实施例提供的另一种程序容错方法的流程图;
图4为本发明实施例提供的另一种程序容错方法的流程图;
图5为本发明实施例提供的一种程序容错装置的结构示意图。
具体实施方式
本发明公开了一种程序容错方法及程序容错装置,本领域技术人员可以借鉴本文内容,适当改进工艺参数实现。特别需要指出的是,所有类似的替换和改动对本领域技术人员来说是显而易见的,它们都被视为包括在本发明。本发明的方法及应用已经通过较佳实施例进行了描述,相关人员明显能在不脱离本发明内容、精神和范围内对本文所述的方法和应用进行改动或适当变更与组合,来实现和应用本发明技术。
如图1所示,本发明实施例所提供的一种程序容错方法,可以包括:
S100、对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识。
其中,第一程序可以为JavaScript,JavaScript是一种直译式程序语言。可选的,本发明提供的程序容错方法可以应用于JS引擎中。JS引擎是一种一个专门处理JavaScript脚本的虚拟机,一般会附带在网页浏览器之中。
可以理解的是,循环语句是一组被重复执行的语句,可以在一定条件下反复执行某段程序的流程,循环语句是由循环体及循环的终止条件两部分组成的,循环语句可以包括for循环语句、while循环语句和do while循环语句。
所述各循环语句的头部均设置有所述头部标识,所述头部标识可以记录在CycleStructureManager[i].head中;所述各循环语句的尾部均设置有所述尾部标识,所述尾部标识可以记录在CycleStructureManager[i].tail中。其中i表示数组的下标,i为不小于1的整数。
具体的,本发明可以提取所述第一程序的源文件中的内容进行解析生成程序语法可以识别的多个字符;然后,本发明可以根据字符的顺序组合(即程序语法)将这些字符转化为抽象语法树,并根据抽象语法树生成所述第一字节码。
S200、确定所述第一字节码中各循环语句的循环语句类型。
可以理解的是,对任一头部标识而言:该头部标识后方可能存在多个尾部标识,本发明可以将该头部标识后方的多个尾部标识中距离该头部标识最近的尾部标识与该头部标识之间的语句确定为一个循环语句,所述循环语句可以用数组CycleStructureManager[i]记录。具体的,本发明可以获得所述字节码中的关键字,根据所述关键字确定所述各循环语句的循环语句类型,所述循环语句类型可以包括for循环语句、while循环语句和dowhile循环语句,所述循环语句类型可以用CycleStructureManager[i].cType记录,所述cType为枚举类型。
S300、根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系。
具体的,本发明可以得到每条循环语句偏移到该循环语句的下一条语句所占的字节码大小并将其确定为该循环语句偏移到该循环语句的下一条语句所需的偏移量。其中,本发明可以用total记录所述偏移量,建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系并存储到CycleStructureManager[i].total中。
S400、获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
可选的,可以使用指针指向正在运行的字节码,所述指针可以为vPc。
具体的,所述错误记录中可以包括所述第一错误的错误位置和错误类型,根据所述错误位置确定所述第一错误是否发生在所述循环语句的条件判断语句,如果是,则进一步根据所述错误类型判断所述第一错误是否是条件判断错误,如果所述第一错误是条件判断错误,则控制所述指针vPc根据所述CycleStructureManager[i].total中记录的各所述循环语句及所述循环语句对应的偏移量向后偏移以执行下一条语句,从而跳出所述循环语句进入下一条语句,避免程序发生死循环导致系统崩溃。例如,在实际应用中,本发明可以采用以下程序语句判断所述第一错误是否发生在所述循环语句的条件判断语句。
可选的,所述错误类型可以包括type_error、reference_error、parse_error、range_error、ax_error、runtime_error和mantic_error可以用eType记录,所述eType为枚举类型。所述条件判断错误可以包括type_error、reference_error和parse_error。
可选的,所述条件判断错误可以通过isErrorInJudgment记录。例如,本发明可以采用以下程序语句判断所述第一错误是否为条件判断错误。
if(CycleStructureManager[i].isErrorInJudgment)
本发明可以记录第一程序中每个循环语句的循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量。当所述循环语句中的条件判断语句发生条件判断错误时,控制所述条件判断错误所在的循环语句向后偏移所述循环语句对应的偏移量,指向所述循环语句相邻的下一条语句,从而跳出所述循环语句,避免所述第一程序进入死循环导致系统崩溃。
例如,本发明可以采用以下程序语句确定每条循环语句偏移到下一条语句所需的偏移量并控制所述条件判断错误所在的循环语句向后偏移所述循环语句对应的偏移量,指向所述循环语句相邻的下一条语句。
如图2所示,本发明实施例还提供了另一种程序容错方法,可以包括:
S100、对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识。
S210、根据所述头部标识和所述尾部标识确定各循环语句对应的字节码;
具体的,每个头部标识和后面距离最近的尾部标识可以确定一个循环语句,从而得到各循环语句所对应的字节码。
S220、对每一循环语句对应的字节码:获得该循环语句对应的字节码中的关键字;
具体的,根据生成每一循环语句的字节码的字符获得所述字节码中的关键字,所述关键字可以包括for、while和do。
S230、根据所述关键字确定该循环语句的循环语句类型。
具体的,所述关键字中可以包括for、while和do,步骤S230可以具体包括:
在该循环语句对应的字节码中的关键字为for时,确定该循环语句的循环语句类型为for循环语句;
在该循环语句对应的字节码中的关键字为while时,确定该循环语句的循环语句类型为while循环语句;
在该循环语句对应的字节码中的关键字为do和while时,确定该循环语句的循环语句类型为do while循环语句。
S300、根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系。
S400、获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
其中,步骤S100,S300和S400已在图1所示实施例中详细说明,不再赘述;步骤S210、S220和S230为图1所示实施例中步骤S200的具体实施方式。
如图3所示,本发明实施例还提供了另一种程序容错方法,可以包括:
S100、对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识。
S210、根据所述头部标识和所述尾部标识确定各循环语句对应的字节码;
S220、对每一循环语句对应的字节码:获得该循环语句对应的字节码中的关键字;
S231、在该循环语句对应的字节码中的关键字为for时,确定该循环语句的循环语句类型为for循环语句;
S232、在该循环语句对应的字节码中的关键字为while时,确定该循环语句的循环语句类型为while循环语句;
S233、在该循环语句对应的字节码中的关键字为do和while时,确定该循环语句的循环语句类型为do while循环语句。
S310、对循环语句类型为for循环语句或while循环语句的循环语句:将该循环语句的头部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量;
S320、对循环语句为do while循环语句的循环语句:将该循环语句的尾部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量。
具体的,所述for循环语句和所述while循环语句的条件判断语句在循环语句的头部,当条件判断语句发生条件判断错误时,所述指针vPc需要从循环语句的头部跳出循环语句,从而执行下一条语句;所述do while循环语句的条件判断语句在循环语句的尾部,当条件判断语句发生条件判断错误时,所述指针vPc需要从循环语句的尾部跳出循环语句中的循环体,从而执行下一条语句。当各循环语句中发生条件判断错误时,通过跳出所述循环语句中的循环体,从而避免进入死循环而导致系统崩溃。
S330、对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系;
S400、获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
其中,步骤S100和S400已在图1所示实施例中详细说明,步骤S210、步骤S220已在图2所示实施例中详细说明,不再赘述。步骤S231、S232和S233为步骤S230的具体实施方式,步骤S231、S232和S233的执行步骤本发明不做限定。步骤S310和步骤S320为图1所示实施例中步骤S300的具体实施方式,步骤S310和步骤S320的执行步骤本发明不做限定。
如图4所示,本发明实施例提供的另一种程序容错方法,可以包括:
S100、对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识;
S200、确定所述第一字节码中各循环语句的循环语句类型;
S300、根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系;
S410、获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录中的错误位置确定所述第一错误是否发生在循环语句的条件判断语句中;如果是,则执行步骤S420;否则,结束本发明的处理;
S420、确定所述错误记录中的错误类型是否为预设条件错误类型中的一种,如果是,则执行步骤S430;否则,结束本发明的处理;
S430、确定所述第一错误为循环语句的条件判断错误。
S440、为所述条件判断错误添加偏移标识,控制添加有偏移标识的错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
其中,步骤S100至S300已在图1所示实施例中详细说明,不再赘述。步骤S410至S440为图1所示实施例中步骤S400的具体实施方式。
具体的,所示错误记录中可以包括所述错误的错误位置和错误类型,所述预设条件错误类型为使所述第一程序中所述循环语句进入死循环的错误,可以包括type_error、reference_error、parse_error、undefined_error和null_error。
优选的,所述第一程序中可以包括偏移语句,本发明通过执行所述偏移语句以完成所述向后偏移与该循环语句对应的偏移量以执行下一条语句,本发明可以根据所述偏移标识触发执行所述偏移语句,从而控制所述指针vPc向后偏移与正在执行的循环语句对应的偏移量以执行下一条语句,从而跳出正在运行的循环语句中的循环体,避免程序进入死循环而导致系统崩溃。
与上述本发明实施例提供的一种程序容错方法相对应,本发明实施例还提供了一种程序容错装置。
如图5所示,本发明实施例提供的一种程序容错装置,所述程序容错装置可以包括:程序解析模块100、循环语句确定模块200、偏移确定模块300和偏移执行模块400;
所述程序解析模块100,可以用于对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识;
具体的,所述程序解析模块100中可以提取所述第一程序的源文件中的内容进行解析生成程序语法可以识别的多个字符;然后,本发明可以根据字符的顺序组合(即程序语法)将这些字符转化为抽象语法树,并根据抽象语法树生成所述第一字节码。
所述循环语句确定模块200,可以用于确定所述第一字节码中各循环语句的循环语句类型;
具体的,所述循环语句确定模块200可以获得所述字节码中的关键字,根据所述关键字确定所述各循环语句的循环语句类型,所述循环语句类型可以包括for循环语句、while循环语句和do while循环语句。
所述偏移确定模块300,可以用于根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系;
具体的,所述偏移确定模块300可以得到每条循环语句偏移到该循环语句的下一条语句所占的字节码大小并将其确定为该循环语句偏移到该循环语句的下一条语句所需的偏移量。
所述偏移执行模块400,可以用于获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
具体的,所述错误记录中可以包括所述第一错误的错误位置和错误类型,所述偏移执行模块400根据所述错误位置确定所述第一错误是否发生在所述循环语句的条件判断语句,如果是,则所述偏移执行模块400进一步根据所述错误类型判断所述第一错误是否是条件判断错误,如果所述第一错误是条件判断错误,则所述偏移执行模块400根据各所述循环语句及所述循环语句对应的偏移量向后偏移以执行下一条语句,从而跳出所述循环语句,避免所述第一程序进入死循环导致系统崩溃。
其中,所述循环语句确定模块200可以包括:字节码确定子模块、关键字获取子模块和循环语句类型确定子模块;
所述字节码确定子模块可以用于根据所述头部标识和所述尾部标识确定各循环语句对应的字节码;
所述关键字获取子模块可以用于对每一循环语句对应的字节码:获得该循环语句对应的字节码中的关键字;
所述循环语句类型确定子模块可以用于:
在该循环语句对应的字节码中的关键字为for时,确定该循环语句的循环语句类型为for循环语句;
在该循环语句对应的字节码中的关键字为while时,确定该循环语句的循环语句类型为while循环语句;
在该循环语句对应的字节码中的关键字为do和while时,确定该循环语句的循环语句类型为do while循环语句。
具体的,每个头部标识和后面距离最近的尾部标识可以确定一个循环语句,从而可以通过所述循环语句确定模块200得到各循环语句所对应的字节码,并根据生成每一循环语句的字节码的字符获得所述字节码中的关键字。其中,所述关键字可以包括for、while和do。所述关键字中可以包括for、while和do。所述循环语句确定模块200可以根据所述关键字确定循环语句的循环语句类型:
其中,所述偏移确定模块300可以用于:
对循环语句类型为for循环语句或while循环语句的循环语句:将该循环语句的头部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量;
对循环语句为do while循环语句的循环语句:将该循环语句的尾部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量。
具体的,所述for循环语句和所述while循环语句的条件判断语句在循环语句的头部,当条件判断语句发生条件判断错误时,则所述偏移确定模块300控制所述循环语句从循环语句的头部跳出循环语句,从而执行下一条语句;所述do while循环语句的条件判断语句在循环语句的尾部,当条件判断语句发生条件判断错误时,则所述偏移确定模块300控制所述循环语句从循环语句的尾部跳出循环语句中的循环体,从而执行下一条语句。当各循环语句中发生条件判断错误时,通过跳出所述循环语句中的循环体,从而避免进入死循环而导致系统崩溃。
其中,所述偏移执行模块400可以包括:错误位置判断子模块、错误类型判断子模块和偏移控制子模块;
所述错误位置判断子模块可以用于获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录中的错误位置确定所述第一错误是否发生在循环语句的条件判断语句中,如果是,则触发所述错误类型判断子模块;
所述错误类型判断子模块可以用于确定所述错误记录中的错误类型是否为预设条件错误类型中的一种,如果是,则确定所述第一错误为循环语句的条件判断错误,触发所述偏移控制子模块;
所述偏移控制子模块可以用于为所述条件判断错误添加偏移标识,
控制添加有偏移标识的错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
优选的,所述第一程序中可以包括偏移语句,本发明通过执行所述偏移语句以完成所述向后偏移与该循环语句对应的偏移量以执行下一条语句,所述偏移执行模块400可以根据所述偏移标识触发执行所述偏移语句,从而控制所述条件判断错误所在的循环语句向后偏移所述循环语句对应的偏移量,指向所述循环语句相邻的下一条语句,从而跳出所述循环语句,避免所述第一程序进入死循环导致系统崩溃。
以上所述仅为本发明的较佳实施例而已,并非用于限定本发明的保护范围。凡在本发明的精神和原则之内所作的任何修改、等同替换、改进等,均包含在本发明的保护范围内。
需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
本说明书中的各个实施例均采用相关的方式描述,各个实施例之间相同相似的部分互相参见即可,每个实施例重点说明的都是与其他实施例的不同之处。尤其,对于装置实施例而言,由于其基本相似于方法实施例,所以描述的比较简单,相关之处参见方法实施例的部分说明即可。
Claims (10)
1.一种程序容错方法,其特征在于,包括:
对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识;
确定所述第一字节码中各循环语句的循环语句类型;
根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系;
获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
2.根据权利要求1所述的方法,其特征在于,所述确定所述第一字节码中各循环语句的循环语句类型,包括:
根据所述头部标识和所述尾部标识确定各循环语句对应的字节码;
对每一循环语句对应的字节码:获得该循环语句对应的字节码中的关键字;
根据所述关键字确定该循环语句的循环语句类型。
3.根据权利要求2所述的方法,其特征在于,所述关键字包括:for、while和do,所述根据所述关键字确定该循环语句的循环语句类型,包括:
在该循环语句对应的字节码中的关键字为for时,确定该循环语句的循环语句类型为for循环语句;
在该循环语句对应的字节码中的关键字为while时,确定该循环语句的循环语句类型为while循环语句;
在该循环语句对应的字节码中的关键字为do和while时,确定该循环语句的循环语句类型为do while循环语句。
4.根据权利要求3所述的方法,其特征在于,所述根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,包括:
对循环语句类型为for循环语句或while循环语句的循环语句:将该循环语句的头部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量;
对循环语句为do while循环语句的循环语句:将该循环语句的尾部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量。
5.根据权利要求1至4中任意一项所述的方法,其特征在于,所述根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,包括:
根据所述错误记录中的错误位置确定所述第一错误是否发生在循环语句的条件判断语句中;如果是,则确定所述错误记录中的错误类型是否为预设条件错误类型中的一种,如果是,则确定所述第一错误为循环语句的条件判断错误。
6.根据权利要求5所述的方法,其特征在于,所述控制所述条件判断错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句,包括:
为所述条件判断错误添加偏移标识,控制添加有偏移标识的错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
7.一种程序容错装置,其特征在于,包括:程序解析模块、循环语句确定模块、偏移确定模块和偏移执行模块;
所述程序解析模块,用于对第一程序进行解析,生成第一字节码,其中,所述第一程序中各循环语句均设置有头部标识和尾部标识;
所述循环语句确定模块,用于确定所述第一字节码中各循环语句的循环语句类型;
所述偏移确定模块,用于根据所述头部标识、所述尾部标识及确定的所述循环语句类型,确定每条循环语句偏移到下一条语句所需的偏移量,对每条循环语句:建立该循环语句与该循环语句偏移到下一条语句所需的偏移量的对应关系;
所述偏移执行模块,用于获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录确定所述第一错误是否为循环语句的条件判断错误,如果是,则控制所述第一错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
8.根据权利要求7所述的程序容错装置,其特征在于,所述循环语句确定模块包括:字节码确定子模块、关键字获取子模块和循环语句类型确定子模块;
所述字节码确定子模块用于根据所述头部标识和所述尾部标识确定各循环语句对应的字节码;
所述关键字获取子模块用于对每一循环语句对应的字节码:获得该循环语句对应的字节码中的关键字;
所述循环语句类型确定子模块,用于:
在该循环语句对应的字节码中的关键字为for时,确定该循环语句的循环语句类型为for循环语句;
在该循环语句对应的字节码中的关键字为while时,确定该循环语句的循环语句类型为while循环语句;
在该循环语句对应的字节码中的关键字为do和while时,确定该循环语句的循环语句类型为do while循环语句。
9.根据权利要求8所述的程序容错装置,其特征在于,所述偏移确定模块具体用于:
对循环语句类型为for循环语句或while循环语句的循环语句:将该循环语句的头部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量;
对循环语句为do while循环语句的循环语句:将该循环语句的尾部标识所标识的语句到与该循环语句相邻的下一条语句之间的字节码大小确定为该循环语句偏移到与该循环语句相邻的下一条语句所需要的偏移量。
10.根据权利要求7至9中任一项所述的程序容错装置,其特征在于,所述偏移执行模块包括:错误位置判断子模块、错误类型判断子模块和偏移控制子模块;
所述错误位置判断子模块用于获得所述第一字节码发生的第一错误的错误记录,根据所述错误记录中的错误位置确定所述第一错误是否发生在循环语句的条件判断语句中,如果是,则触发所述错误类型判断子模块;
所述错误类型判断子模块用于确定所述错误记录中的错误类型是否为预设条件错误类型中的一种,如果是,则确定所述第一错误为循环语句的条件判断错误,触发所述偏移控制子模块;
所述偏移控制子模块用于为所述条件判断错误添加偏移标识,控制添加有偏移标识的错误所在的循环语句向后偏移与该循环语句对应的偏移量以执行下一条语句。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710882509.7A CN107479941A (zh) | 2017-09-26 | 2017-09-26 | 一种程序容错方法及程序容错装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710882509.7A CN107479941A (zh) | 2017-09-26 | 2017-09-26 | 一种程序容错方法及程序容错装置 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN107479941A true CN107479941A (zh) | 2017-12-15 |
Family
ID=60586391
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710882509.7A Pending CN107479941A (zh) | 2017-09-26 | 2017-09-26 | 一种程序容错方法及程序容错装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107479941A (zh) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101763291A (zh) * | 2009-12-30 | 2010-06-30 | 中国人民解放军国防科学技术大学 | 一种程序控制流错误检测方法 |
US7861226B1 (en) * | 2006-03-16 | 2010-12-28 | Avaya Inc. | Constraint solver to code based test data generation for improving software reliability and security |
CN103678022A (zh) * | 2012-09-18 | 2014-03-26 | 横河电机株式会社 | 容错系统和用于执行容错的方法 |
CN106874137A (zh) * | 2017-03-16 | 2017-06-20 | 深圳市茁壮网络股份有限公司 | 一种js引擎容错方法和装置 |
CN106940654A (zh) * | 2017-02-15 | 2017-07-11 | 南京航空航天大学 | 源代码中内存错误的自动检测和定位方法 |
CN106970817A (zh) * | 2017-03-24 | 2017-07-21 | 北京小米移动软件有限公司 | 故障确定方法及装置 |
-
2017
- 2017-09-26 CN CN201710882509.7A patent/CN107479941A/zh active Pending
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7861226B1 (en) * | 2006-03-16 | 2010-12-28 | Avaya Inc. | Constraint solver to code based test data generation for improving software reliability and security |
CN101763291A (zh) * | 2009-12-30 | 2010-06-30 | 中国人民解放军国防科学技术大学 | 一种程序控制流错误检测方法 |
CN103678022A (zh) * | 2012-09-18 | 2014-03-26 | 横河电机株式会社 | 容错系统和用于执行容错的方法 |
CN106940654A (zh) * | 2017-02-15 | 2017-07-11 | 南京航空航天大学 | 源代码中内存错误的自动检测和定位方法 |
CN106874137A (zh) * | 2017-03-16 | 2017-06-20 | 深圳市茁壮网络股份有限公司 | 一种js引擎容错方法和装置 |
CN106970817A (zh) * | 2017-03-24 | 2017-07-21 | 北京小米移动软件有限公司 | 故障确定方法及装置 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Fazzini et al. | Automated cross-platform inconsistency detection for mobile apps | |
US8572572B2 (en) | Dynamic source code analyzer | |
US6782505B1 (en) | Method and system for generating structured data from semi-structured data sources | |
Hoschele et al. | Mining input grammars with AUTOGRAM | |
JP4693044B2 (ja) | ソースコード脆弱性検査装置 | |
CN104881607B (zh) | 一种基于模拟浏览器行为的xss漏洞检测系统 | |
US20090228871A1 (en) | Managing generation of security tests | |
CN111046396A (zh) | web应用测试数据流跟踪方法及系统 | |
US20190317879A1 (en) | Deep learning for software defect identification | |
CN104881608A (zh) | 一种基于模拟浏览器行为的xss漏洞检测方法 | |
US20100095157A1 (en) | Problem analysis via matching contiguous stack trace lines to symptom rules | |
JP2007094775A (ja) | 意味解析装置、意味解析方法および意味解析プログラム | |
KR101696694B1 (ko) | 역추적을 이용한 소스 코드 취약점 분석 방법 및 장치 | |
KR102013657B1 (ko) | 연관된 다중 파일 정적 분석 장치 | |
CN114911711A (zh) | 一种代码缺陷分析方法、装置、电子设备及存储介质 | |
CN115269427A (zh) | 针对web注入漏洞的中间语言表示方法及系统 | |
Larson | Automatic checking of regular expressions | |
CN107015907A (zh) | 一种自动准确定位页面元素的系统和方法 | |
CN111158973B (zh) | 一种web应用动态演化监测方法 | |
KR102315750B1 (ko) | 서로 다른 언어로 작성된 프로그램들 간 유사성 검사 방법 및 장치 | |
CN110532458B (zh) | 一种查找方式的确定方法、确定装置、服务器及存储介质 | |
CN107479941A (zh) | 一种程序容错方法及程序容错装置 | |
US8886999B2 (en) | Low cost error-based program testing apparatus and method | |
CN106874137A (zh) | 一种js引擎容错方法和装置 | |
CN110297960A (zh) | 一种基于配置的分布式公文数据采集系统 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20171215 |
|
RJ01 | Rejection of invention patent application after publication |