摘要
为了满足DO-178C对验证过程提出的目标要求,需要对DAL等级为A级的软件进行基于需求的软件测试,并要求测试需同时满足对软件需求的覆盖率目标和软件结构的覆盖率目标,因此,完备并且正确的需求将是软件结构覆盖率目标达成的前提,这就对开发软件需求提出了较高的要求。为了使软件需求能支持这些测试活动目标的实现,在DO-178C中软件需求过程和设计过程中高层需求和低层需求分析活动进行研究的基础上,描述了符合DO-178C的软件需求分析方法,包括软件高层需求分析方法和软件低层需求分析方法。
In order to meet the objects of the DO-178C verification process,it is necessary to conduct requirement based software testing on software with a DAL A,and the testing must meet both the coverage of the software requirements and the coverage of software structure.Therefore,intact requirements will be a prerequisite for achieving the coverage object of software structure,which puts forward higher requirements for developing software requirements.In order to enable software requirements to meet these test objectives,this article based on the research on high-level and low-level requirements analysis activities in the software requirements process and design process of DO-178C,describes a software requirement analysis method that complies with DO-178C,including software high-level requirement analysis methods and software low-level requirement analysis methods.
作者
陈晓磊
王济乾
张前
CHEN Xiao-lei;WANG Ji-qian;ZHANG Qian(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710000,China;Equipment System Evaluation Center of Equipment Development Department,Beijing 100000,China)
出处
《航空计算技术》
2023年第5期89-92,95,共5页
Aeronautical Computing Technique
基金
国家自然科学基金项目资助(61732001)。
关键词
DO-178C
需求分析
高层需求
低层需求
DO-178C
requirements analysis
high-level requirements
low-level requirements
