[发明专利]一种基于形式化及统一软件模型的软件可信工程方法无效
| 申请号： | 201110046569.8 | 申请日： | 2011-02-25 |
| 公开（公告）号： | CN102136047A | 公开（公告）日： | 2011-07-27 |
| 发明（设计）人： | 李晓红;曹坤宇;陈世展;饶国政;邢金亮;曹燕 | 申请（专利权）人： | 天津大学 |
| 主分类号： | G06F21/00 | 分类号： | G06F21/00;G06F11/36 |
| 代理公司： | 天津市北洋有限责任专利代理事务所 12201 | 代理人： | 温国林 |
| 地址： | 300072*** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于形式化及统一软件模型的软件可信工程方法，属于软件可信领域，所述方法包括以下步骤：基于形式化语言、传统UML视图，构建包含软件需求设计信息、软件实现信息和运行环境信息的统一软件模型；根据软件可信工程技术架构，进行所述统一软件模型的一致性和有效性验证，并自动生成单元测试实例；构建基于所述统一软件模型的软件安全缺陷知识库；基于所述软件安全缺陷知识库，通过形式化语言定理证明机，发现所述统一软件模型中潜在的软件安全缺陷；并根据所述潜在的软件安全缺陷给出相应的缓和方案。本方法有效的提高了软件质量、消除了设计缺陷、降低了开发成本和提高了可维护性等有益效果，解决了传统软件工程的不足。 | ||
| 搜索关键词： | 一种 基于 形式化 统一 软件 模型 可信 工程 方法 | ||
【主权项】：
一种基于形式化及统一软件模型的软件可信工程方法，其特征在于，所述方法包括以下步骤：(1)基于形式化语言、传统UML视图，构建包含软件需求设计信息、软件实现信息和运行环境信息的统一软件模型；(2)根据软件可信工程技术架构，进行所述统一软件模型的一致性和有效性验证，并自动生成单元测试实例；(3)构建基于所述统一软件模型的软件安全缺陷知识库；(4)基于所述软件安全缺陷知识库，通过定理证明机，发现所述统一软件模型中潜在的软件安全缺陷；并根据所述潜在的软件安全缺陷给出相应的缓和方案。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于天津大学，未经天津大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110046569.8/，转载请声明来源钻瓜专利网。
