嵌入式软件系统程序的开发方法

摘要

本发明涉及一种嵌入式软件系统程序的开发方法，包括根据嵌入式软件系统程序的需求分析建立待开发嵌入式系统程序的需求模型；对需求模型进行分析和检测，同时生成目标软件系统程序所需要的源代码，进而生成目标软件系统程序；对目标软件系统程序进行程序分析得出程序模型，将程序模型和需求模型进行比较分析以发现差异性，如发现差异性则对生成的目标软件系统程序或需求模型进行修复步骤。本发明针对嵌入式软件系统程序的特点，提供适合于嵌入式软件系统程序的需求建模技术方案，将用户使用自然语言表达的需求转化为场景及行为表达式，为自动检测软件系统的需求是否正确和完整奠定了良好的基础。

主权项

一种嵌入式软件系统程序的开发方法，其特征在于包括以下步骤：S1根据嵌入式软件系统程序的需求分析建立待开发嵌入式系统程序的需求模型；S2对步骤S1所述需求模型进行分析和检测，同时生成目标软件系统程序所需要的源代码，进而生成目标软件系统程序；S3对目标软件系统程序进行程序分析得出程序模型，将程序模型和需求模型进行比较分析以发现差异性，如发现差异性则对生成的目标软件系统程序或需求模型进行修复；其中步骤S1所述需求模型的建立包括如下步骤：S11划分子问题域、标识视点，根据自然语言描述的需求，建立相应的场景信息；S12根据场景信息抽取与行为相关的信息，并利用行为描述语言描述行为相关的信息，建立行为表达式；S13建立行为描述语言模型，作为检验需求模型的各种特性的基础；S14利用模型检验方法检测需求模型的一致性及需求模型所对应的系统需要检测的可信特性，如发现差异对需求模型进行修复。