[发明专利]嵌入式软件系统程序的开发方法在审
| 申请号： | 201410284639.7 | 申请日： | 2014-06-23 |
| 公开（公告）号： | CN104216703A | 公开（公告）日： | 2014-12-17 |
| 发明（设计）人： | 毋国庆;黄勃 | 申请（专利权）人： | 武汉大学深圳研究院 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44 |
| 代理公司： | 广东知恒律师事务所 44342 | 代理人： | 柴吉峰 |
| 地址： | 518057 广东省深圳市南山高新*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种嵌入式软件系统程序的开发方法，包括根据嵌入式软件系统程序的需求分析建立待开发嵌入式系统程序的需求模型；对需求模型进行分析和检测，同时生成目标软件系统程序所需要的源代码，进而生成目标软件系统程序；对目标软件系统程序进行程序分析得出程序模型，将程序模型和需求模型进行比较分析以发现差异性，如发现差异性则对生成的目标软件系统程序或需求模型进行修复步骤。本发明针对嵌入式软件系统程序的特点，提供适合于嵌入式软件系统程序的需求建模技术方案，将用户使用自然语言表达的需求转化为场景及行为表达式，为自动检测软件系统的需求是否正确和完整奠定了良好的基础。 | ||
| 搜索关键词： | 嵌入式 软件 系统 程序 开发 方法 | ||
【主权项】：
一种嵌入式软件系统程序的开发方法，其特征在于包括以下步骤：S1根据嵌入式软件系统程序的需求分析建立待开发嵌入式系统程序的需求模型；S2对步骤S1所述需求模型进行分析和检测，同时生成目标软件系统程序所需要的源代码，进而生成目标软件系统程序；S3对目标软件系统程序进行程序分析得出程序模型，将程序模型和需求模型进行比较分析以发现差异性，如发现差异性则对生成的目标软件系统程序或需求模型进行修复；其中步骤S1所述需求模型的建立包括如下步骤：S11划分子问题域、标识视点，根据自然语言描述的需求，建立相应的场景信息；S12根据场景信息抽取与行为相关的信息，并利用行为描述语言描述行为相关的信息，建立行为表达式；S13建立行为描述语言模型，作为检验需求模型的各种特性的基础；S14利用模型检验方法检测需求模型的一致性及需求模型所对应的系统需要检测的可信特性，如发现差异对需求模型进行修复。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于武汉大学深圳研究院，未经武汉大学深圳研究院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410284639.7/，转载请声明来源钻瓜专利网。
