[发明专利]基于形式分析驱动的需求规格书的演化方法无效
| 申请号： | 201010254931.6 | 申请日： | 2010-08-13 |
| 公开（公告）号： | CN101996163A | 公开（公告）日： | 2011-03-30 |
| 发明（设计）人： | P·萨姆帕思;P·V·V·贾内桑;A·A·贾卡里;R·塞图 | 申请（专利权）人： | 通用汽车环球科技运作公司 |
| 主分类号： | G06F17/22 | 分类号： | G06F17/22 |
| 代理公司： | 中国专利代理(香港)有限公司 72001 | 代理人： | 原绍辉 |
| 地址： | 美国密*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及基于形式分析驱动的需求规格书的演化方法。具体地，提供了一种用于开发规格书的方法，其包括接收限定了规格书的功能的多个需求，其中，使用形式模型表达多个需求。该方法还包括使用算法分析多个需求并且确定多个需求是否满足一组预定准则。该方法还包括产生形式分析的总结并且通过并入被改正的分析结果来改进需求。 | ||
| 搜索关键词： | 基于 形式 分析 驱动 需求 规格书 演化 方法 | ||
【主权项】：
一种用于开发规格书的方法，所述方法包括如下步骤：接收限定了所述规格书功能的多个需求，其中，使用形式模型来表达所述多个需求；使用形式分析来对所述多个需求进行仿真；确定所述多个需求是否满足一组预定准则；产生所述形式分析的总结；以及如果所述一组预定准则中的至少一个准则未被满足，则修改所述多个需求中的至少一个需求。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于通用汽车环球科技运作公司，未经通用汽车环球科技运作公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010254931.6/，转载请声明来源钻瓜专利网。
- 上一篇：散料配料器及配料系统
- 下一篇：用于智能水表的透明盖
