Abstract: This thesis has a research on the software testing technology of real-time embedded airborne computer system.In accordance with the characteristics of the sofware testing restrains on airborne computer systems.it proposes a realtime-embedded -oriented software testing model-REAST , then illustrates four essential supporting techniques of the REAST in detail.On the basis of the theory above, finially, some applications of the REAST model are presenied

摘要： 文章对实时嵌入式机载软件的测试方法进行了研究，针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点，提出一个适用于实时嵌入式机载系统的REAST软件测试模型，并对该模型实现中的4个核心技术进行了简要的阐明。最后。介绍了以上软件测试方法在实际工程项目中的应用情况。

关键词: 软件测试, 实时, 嵌入式, 容错计算

CLC Number: 

• TP311