软件学报

作者：陈小红，刘少彬，金芝

单位：陈小红，上海市高可信计算重点实验室(华东师范大学), 上海 20006211,刘少彬，上海市高可信计算重点实验室(华东师范大学), 上海 20006202,金芝，高可信软件技术教育部重点实验室(北京大学), 北京 100871;北京大学 计算机学院, 北京 10087103

关键词：嵌入式系统;需求描述;需求描述语言;需求分析;系统需求

基金：国家自然科学基金(62192731, 62272166, 62192730)

随着嵌入式系统的广泛应用, 其需求正变得越来越复杂, 需求分析成为嵌入式系统开发的关键阶段, 如何准确地建模和描述需求成为首要问题. 系统地调研嵌入式系统的需求描述, 并进行全面的比较分析, 以便更深入地理解嵌入式系统需求的核心关注点. 首先采用系统化文献综述方法, 对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析. 通过自动检索和滚雪球等检索过程, 筛选出150篇与主题密切相关的文献, 力求文献综述的全面性. 其次, 从需求描述关注点、需求描述维度、需求分析要素等方面, 分析现有嵌入式需求描述语言的表达能力. 最后, 总结现有嵌入式系统软件需求描述所面临的挑战, 并针对嵌入式软件智能合成任务, 提出对嵌入式系统需求描述方法表达能力的要求.

来源：2025年第1期

《软件学报》期刊编辑部

查看软件学报杂志2025年第1期