[发明专利]抑制计算机程序中的警告的方法和计算设备有效
| 申请号： | 201480026218.2 | 申请日： | 2014-05-08 |
| 公开（公告）号： | CN105283853B | 公开（公告）日： | 2018-08-07 |
| 发明（设计）人： | M·范德瑞;S·拉希瑞;F·洛戈佐;S·布莱克谢尔 | 申请（专利权）人： | 微软技术许可有限责任公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 上海专利商标事务所有限公司 31100 | 代理人： | 罗婷婷 |
| 地址： | 美国华*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本文描述了涉及制定语义基线的各技术。基于对基线程序进行的第一静态分析推断出基线程序的正确性条件。随后将这些正确性条件插入到对基线程序的修订中。当对其中插入有正确性条件的经修订程序进行第二静态分析时，抑制从基线程序继承的警告，同时向开发者显露由这些修订引起的警告。 | ||
| 搜索关键词： | 制定 语义 基线 | ||
【主权项】：
1.一种抑制计算机程序中的警告的方法，包括：接收计算机程序的第一版本；对所述计算机程序的所述第一版本执行第一静态分析，其中执行所述第一静态分析包括：标识所述计算机程序的所述第一版本中与所述计算机程序的所述第一版本中的第一位置相对应的警告；以及推断使得所述警告在所述计算机程序的所述第一版本中被抑制的条件；接收所述计算机程序的第二版本，所述计算机程序的所述第二版本与所述计算机程序的所述第一版本不相同；以及将所述条件的假设插入所述计算机程序的所述第二版本。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于微软技术许可有限责任公司，未经微软技术许可有限责任公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201480026218.2/，转载请声明来源钻瓜专利网。
- 上一篇：查询一个或多个数据库
- 下一篇：触摸式输入装置以及触摸式输入检测方法
