【摘要】
Aiming at the problem of safety requirements verification of aeroengine control software, a software testing technology based on requirements model and safety analysis was proposed. Starting from the structured description of software requirements and causal chain of failure and hazard in software safety analysis, the scheme of testing cases generation was developed according to characteristics of aeroengine control software, the automatic algorithm of programming was given and engineering practices in one type of aeroengine were described.%针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术.从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况.