基于Keil C51的嵌入式软件外设虚拟化设计与实现  

Design and Implementation of Embedded Software Peripheral Virtualization Based on Keil C51

作　　者：申臻 宋雷军 魏冬冬 于清华 刘涛 SHEN Zhen;SONG Leijun;WEI Dongdong;YU Qinghua;LIU Tao(Shanghai Aerospace Electronic Technology Institute,Shanghai 201109,China)

机构地区：[1]上海航天电子技术研究所,上海201109

出　　处：《计算机测量与控制》2023年第4期205-212,共8页Computer Measurement &Control

摘　　要：航空航天控制领域嵌入式软件测试主要存在软件运行物理环境受限和软件测试覆盖性不足等问题,为解决以上问题,对嵌入式软件的外部设备进行了研究,构建了数字化测试平台替代实物环境的方案,设计并完成了平台的总线1553B、总线RS422、AD采集、I/O等外部设备;并模拟了平台嵌入式软件真实的运行环境,使测试过程不受实物环境制约,测试激励的注入不受任何限制,保障了测试的充分性;最后,以某电源下位机测试过程为例,实现了故障注入、边界测试,验证了平台在嵌入式软件测试中的有效性和可靠性。Embedded software in the aerospace control field has the problems of limited physical environments and insufficient test coverage for software.In order to solve above problems,an external equipment of embedded software is researched,and a digital test platform is proposed to replace in the physical environment,and the peripheral components of the platform such as bus 1553B,bus RS422,AD acquisition,I/O,etc.are designed and completed.The real operating environment of the embedded software is simulated,the test process is not restricted by the physical environment,and the injection of test incentives is not restricted in any way,which ensures the adequacy of the test.Finally,taking the test process simulation of the lower computer of a certain power supply as an example,it can realize the execution of special test cases such as fault injection and boundary testing,which verifies the effectiveness and reliability of the platform in embedded software testing.

关 键 词：1553B虚拟化 KEIL 嵌入式软件 数字测试环境 目标码覆盖率 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]