航天嵌入式软件隐含需求分析与实践

基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。

Analysis and Practice of Implicit Requirement for Aerospace Embedded Software

From the perspective of software testing,focusing on the implicit requirements analysis of aerospace embedded software,three methods are put forward,namely,requirement granularity analysis,code design without basis analysis,and extended reasoning analysis.At the same time,the framework of implicit requirements analysis is built.From aspects of interface,reliability & safety,recoverability,performance,function,the typical implicit requirements of aerospace embedded software are given.The research results can not only guide the requirement analysis and coding in the development process,improve the quality of software research and development,but also guide the test requirement analysis and test design in the testing process,so as to avoid the possible software defect omission caused by the test omission,and effectively improve the software quality.