态验证的方法有效检测可能发生的运行时，更高效地发现多任务程序中的缺陷。关键词多任务运行时静态测试引言航空发动机控制系统目前广泛采用全权限数字电子控制系统。其中的控制软件为控制软件多任务程序运行时检测方法论文原稿，符合能够进行分析的条件，无需改动。自己建立个文件，如起加入到工程中，手动编写的驱动函数如图所示。这样的驱动函数可以模拟每个中断服务函数被调用次或者多次，且各任务相互之间可被打断。摘要发，可显示导致的操作和场景，即除法运算的右侧操作数可能为。然后进步分析可能导致除数为的原因，是在另个优先级更高的中断任务中将这里作为除数的全局变量赋为。控制软件多任务程序运行时检测方法论文原稿。选项中，设臵好要分析的多任务的任务入口函数，这里包括我们手动编写的两个驱动函数和之前从函数中摘出的个循环任务。配臵完成，即可在服务器端进行分析。查看结果和人工分析分析结束，函数结束后，开始分析各任务或者入口函数，分析的时候不会限定任务或中断服务程序运行的顺序和优先级。由于不能明确地构建任务的具体优先级，所以分析时会模拟所有可能的优先级顺序。如果要分析的源程序不满足这也比较高。如果在开发阶段或分析审查阶段就能找出这个问题，会节约很大成本。根据给出的告警和场景，进步通过人工分析和确认，最终定位问题。多任务程序运行时的分析在基本的语义分析基础上，对于多任务分析，还有些，即结尾的必须可达不存在无限循环或者引起红色告警的，这样才能保证多任务入口函数可以开始分析。任务或者是中断线程列表，其函数原型必须为的形式。控制软件多任务程序运行时检测方法不能明确地构建任务的具体优先级，所以分析时会模拟所有可能的优先级顺序。如果要分析的源程序不满足这些条件和假设，需要人工对程序进行修改以满足要求，以便进行分析。另外，可以通过人工编写桩函数来调用实际的任务程类告警。对于前面提到的程序中存在的问题，分析结果中给出了橙色的告警指示，如图所示。结果中会明确给出可能出现的代码所在的函数和文件，而且点击告警处，可显示导致的操作和场景，即除法运算的右侧操作数可能控制软件多任务程序运行时检测方法论文原稿备的条件和假设函数是可结束的，即结尾的必须可达不存在无限循环或者引起红色告警的，这样才能保证多任务入口函数可以开始分析。任务或者是中断线程列表，其函数原型必须为的形式。时将会出现除零的，软件运行出现异常。问题示意如图所示。此问题引发的异常表象，不是每次运行都会出现，即使出现该问题引发的异常，进行故障排查和原因定位也要耗费大量的时间和人力，同时对排故人员的能力和经验要用次或者多次，且各任务相互之间可被打断。控制软件多任务程序运行时检测方法论文原稿。最后，对分析选项进行必要的配臵。除了些通用的配臵选项，在选项中，设臵好要分析的多任务的任务论文原稿。但是定时中断优先级高于中断，如果由于时序原因，如果恰好在所做的除零保护之后，任务被更高优先级的定时任务打断，赋值为，再回到任务进行除以的运，使多任务的分析更接近实际运行场景。根据给出的告警和场景，进步通过人工分析和确认，最终定位问题。多任务程序运行时的分析在基本的语义分析基础上，对于多任务分析，还有些必备的条件和假设函数是可结束为。然后进步分析可能导致除数为的原因，是在另个优先级更高的中断任务中将这里作为除数的全局变量赋为。函数结束后，开始分析各任务或者入口函数，分析的时候不会限定任务或中断服务程序运行的顺序和优先级。由口函数，这里包括我们手动编写的两个驱动函数和之前从函数中摘出的个循环任务。配臵完成，即可在服务器端进行分析。查看结果和人工分析分析结束，会产生结果文件，可以很容易查看分析后给出的控制软件多任务程序运行时检测方法论文原稿们的函数原型为和，符合能够进行分析的条件，无需改动。自己建立个文件，如起加入到工程中，手动编写的驱动函数如图所示。这样的驱动函数可以模拟每个中断服务函数被静态结构，但是并不分析代码的动态行为。在真实环境中执行动态测试，测试用例能够覆盖的场景有限，不定能够触发发生，尤其对于偶尔才出现的问题，需要大量重复测试才可能发现。除此之外，动态测试能够发现异常现象，高安全等级软件，采用多中断或者多任务的架构设计。在软件的设计过程中，很可能会出现多个任务或中断服务程序对共享变量进行操作的处理，对这处理的设计如果考虑不周全，很容易导致程序在运行过程中出现数组访问越界除零机控制软件多任务程序运行时，共享变量的处理容易发生数组访问越界除零数据溢出等，从而造成异常的后果。采用动态测试的方法检测此类成本大效率低。本文借助测试工具，模拟软件动态运行时的行然后手动编制桩函数，调用要分析的多个任务程序。该项目中共有两个定时器中断和串口采集应答通讯中断等多个中断服务程序，仅考虑要分析的两个定时中断任务，它们的函数原型为和会产生结果文件，可以很容易查看分析后给出的各类告警。对于前面提到的程序中存在的问题，分析结果中给出了橙色的告警指示，如图所示。结果中会明确给出可能出现的代码所在的函数和文件，而且点击告警这些条件和假设，需要人工对程序进行修改以满足要求，以便进行分析。另外，可以通过人工编写桩函数来调用实际的任务程序，使多任务的分析更接近实际运行场景。最后，对分析选项进行必要的配臵。除了些通用的配臵选项，在