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

Analysis and Practice of Implicit Requirement for Aerospace Embedded Software

作　　者：左万娟 王小丽[1,2] 黄晨 董燕[1,2] ZUO Wanjuan;WANG Xiaoli;HUANG Chen;DONG Yan(Software Testing Department,Beijing Sunwise Information Technology Ltd.,Beijing 100190,China;Software Detection Station,Beijing Institute of Control Engineering,Beijing 100190,China)

机构地区：[1]北京轩宇信息技术有限公司软件测试部,北京100190 [2]北京控制工程研究所软件检测站,北京100190

出　　处：《测控技术》2023年第10期24-29,共6页Measurement & Control Technology

基　　金：国家自然科学基金(61802017);装备预研领域基金项目(61400020407)。

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

关 键 词：需求分析 隐含需求 显式需求 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]