[发明专利]一种嵌入式程序执行顺序的监控方法

摘要

本发明公开了一种嵌入式程序执行顺序的监控方法，该监控方法通过对嵌入式程序设定各级函数对应的局部顺序标志，在各级函数的每一条程序语句执行结束后规律性地改变对应的局部顺序标志的数值，每一层级的函数执行结束后，根据对应的局部顺序标志的数值判断是否存在语句未被执行的异常。采用本发明监控方法，能有效增加程序监控覆盖度且能够用于任意调用深度的程序执行顺序的监控。

主权项

1.一种嵌入式程序执行顺序的监控方法，其特征在于，包括以下具体步骤：（1）定义嵌入式程序的全局顺序标志，并赋预设值；（2）在嵌入式程序中执行每一层级的函数入口处，判断全局顺序标志是否为预设值，若为预设值则当前程序未发生执行顺序错误，继续下一语句的执行，若不为预设值则存在执行顺序的错误，需要进入异常处理程序；（3）检查将执行的函数是否需要新定义层级函数：判断函数是否为返回的上一级函数或嵌套调用已定义的下一级函数；如否，则为需要新定义层级函数，进入下一步骤；如是，则进入步骤（5）；（4）根据需要新定义层级函数，定义该层级的局部顺序标志，并赋初值；（5）执行当前函数内第一条非用于顺序监控的程序语句；判断是否有函数嵌套调用，如果无，继续下一语句的执行，如果有，返回步骤（2），每返回一次即表示在当前层级函数中嵌套了下一层级函数；（6）上一条程序语句执行结束后，对该层级函数的局部顺序标志的数值改变，改变方式采用对局部顺序标志加1或进行循环赋值；（7）重复步骤4至6至当前层级函数执行完毕；（8）当前执行完成的层级函数的尾端比对该层级函数的局部顺序标志是否正确：若局部顺序标志的数值出现错误，则表示存在应该执行的语句而未被执行或者错误地重复执行多次语句，对全局顺序标志的数值改变，直接返回步骤（2）检查全局顺序标志，若不为预设值则进入异常处理程序；若局部顺序标志的数值未出现错误，则表示所有应该执行的语句都已经正确执行，进入下一步骤；（9）检查当前执行完函数的是否被嵌套在上一级函数，如果是，则返回上一级函数，即返回步骤（3）；如果否，则表示本次监控结束。