[发明专利]一种软件设计与实现的语义一致性验证方法在审
| 申请号： | 201811427489.5 | 申请日： | 2018-11-27 |
| 公开（公告）号： | CN109558140A | 公开（公告）日： | 2019-04-02 |
| 发明（设计）人： | 侯正平;宋力立;薛垒;周楷林;刘国斌;尹龙雯 | 申请（专利权）人： | 上海航天电子通讯设备研究所 |
| 主分类号： | G06F8/41 | 分类号： | G06F8/41;G06F11/36 |
| 代理公司： | 上海汉声知识产权代理有限公司 31236 | 代理人： | 胡晶 |
| 地址： | 201108 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种软件设计与实现的语义一致性验证方法，包括步骤：以设计文档为依据进行形式化建模，通过形式化建模语言将设计文档中的信息重新组织为符合形式化验证需求的需求模型；以工程实现为依据进行形式化建模，通过形式化建模语言将工程代码中的信息重新组织为符合形式化验证需求的实现模型；对需求模型和实现模型进行形式化语义一致性验证，依据一致性验证结果判定软件设计与实现的一致性。通过对设计文档和工程代码分别进行形式化建模，再进行精化检验的方法，提供了软件设计和实现之间的一致性验证手段。以数学上的严格证明为保障，为测试人员确认软件安全性提供了有力的可用工具。 | ||
| 搜索关键词： | 软件设计 语义一致性 建模 文档 形式化验证 一致性验证 工程代码 建模语言 需求模型 重新组织 验证 安全性提供 工程实现 结果判定 确认软件 可用 测试 数学 检验 | ||
【主权项】：
1.一种软件设计与实现的语义一致性验证方法，其特征在于，包括步骤：以设计文档为依据进行形式化建模，通过形式化建模语言将设计文档中的信息重新组织为符合形式化验证需求的需求模型；以工程实现为依据进行形式化建模，通过形式化建模语言将工程代码中的信息重新组织为符合形式化验证需求的实现模型；对所述需求模型和实现模型进行形式化语义一致性验证，依据一致性验证结果判定软件设计与实现的一致性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海航天电子通讯设备研究所，未经上海航天电子通讯设备研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811427489.5/，转载请声明来源钻瓜专利网。
