一种基于宿主机/目标机架构的追踪/重演方法

实时嵌入式系统固有的不确定性使得系统运行具有不可重现性,从而造成系统调试与测试时故障可能无法重现。提出一种基于宿主机/目标机架构的追踪/重演方法来解决实时嵌入式系统运行的不可重现性问题。该方法通过插装探针来追踪系统的任务调度、任务间通信同步以及I/O操作等信息,并自动将系统的执行信息保存到宿主机端,然后通过任务控制模块来控制系统中的任务按照原有的先后顺序来执行,从而实现实时嵌入式系统执行情况的正确回放。目前,该方法已在ML505开发板和uC/OS-II操作系统上进行实现,并已成功应用到IC图像拍摄系统中。通过实验分析表明,该方法能够以较小的时间和空间开销实现实时嵌入式系统运行情况的追踪和重演。

基于LDRA Testbed的主机/目标机测试方法研究

DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。