[发明专利]用于软件的自动化误差检测和验证的方法有效
| 申请号： | 201110096514.8 | 申请日： | 2011-04-18 |
| 公开（公告）号： | CN102262586A | 公开（公告）日： | 2011-11-30 |
| 发明（设计）人： | D.巴特;D.V.奥格勒斯比;K.A.施勒格尔;G.马德尔 | 申请（专利权）人： | 霍尼韦尔国际公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国专利代理(香港)有限公司 72001 | 代理人： | 王岳;蒋骏 |
| 地址： | 美国新*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及用于软件的自动化误差检测和验证的方法。一种用于软件的自动误差检测和验证的方法包括提供软件模型，该模型包括一个或多个模型输入和一个或多个模型输出，以及被嵌入模型中的、每个具有相关区块类型的多个区块，所述区块类型每个都具有多个相关区块级要求。所述方法还包括通过所有区块的计算语义学从模型输入向模型输出拓扑地传播一定范围的信号值或变量值及误差界。识别用于给定区块的每个行为枢纽值并进行检验以确定以该误差界来修改或扩展传播范围是否将或可能促使信号值落在行为枢纽值的任一侧。报告将或可能落在行为枢纽值的任一侧的信号值的所有出现。 | ||
| 搜索关键词： | 用于 软件 自动化 误差 检测 验证 方法 | ||
【主权项】：
一种用于软件的自动误差检测和验证的方法，该方法包括： 提供软件的模型，该模型包括一个或多个模型输入和一个或多个模型输出，以及被嵌入模型中的、每个具有相关区块类型的多个区块，所述区块类型每个都具有多个相关区块级要求； 通过所有区块的计算语义学从模型输入向模型输出拓扑地传播一定范围的信号值或变量值及误差界； 识别并检验用于给定区块的每个行为枢纽值以确定以该误差界来修改或扩展传播范围是否将或可能促使信号值落在行为枢纽值的任一侧；以及 报告将或可能落在行为枢纽值的任一侧的信号值的所有出现。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于霍尼韦尔国际公司，未经霍尼韦尔国际公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110096514.8/，转载请声明来源钻瓜专利网。
- 上一篇：产蛋雏鸡专用饲料
- 下一篇：一种博客信息传播中识别关键博客集的方法
