[发明专利]逐模块验证有效
| 申请号： | 00117672.2 | 申请日： | 2000-05-26 |
| 公开（公告）号： | CN1292527A | 公开（公告）日： | 2001-04-25 |
| 发明（设计）人： | 吉拉德·布拉查;梁胜;蒂蒙西G·林德霍尔姆 | 申请（专利权）人： | 太阳微系统公司 |
| 主分类号： | G06F9/45 | 分类号： | G06F9/45 |
| 代理公司： | 中原信达知识产权代理有限责任公司 | 代理人： | 李辉,谷慧敏 |
| 地址： | 美国加利*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一次一模块地预验证计算机程序模块中的指令的方法,计算机程序,信号传输和装置。首先确定检验一装载的第一模块中的指令是否需要不同于第一模块的被引用模块中的信息。如果需要,那么写入用于被引用模块的约束而无需装载或访问被引用模块。在链接期间确定第一模块是否在链接前已通过一次一模块的预验证。如果通过了验证,则读出受约束模块上的预验证约束。如果读出了任何预验证约束,那么如果已装载了受约束模块则实施预验证约束。 | ||
| 搜索关键词： | 模块 验证 | ||
【主权项】：
1．一种一次一模块地验证计算机程序的模块中指令的方法，该方法包括：确定检验第一模块中的指令是否需要一不同于第一模块的被引用模块中的信息；和如果需要该信息，那么写入用于被引用模块的一个约束而无需访问被引用模块。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于太阳微系统公司，未经太阳微系统公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/00117672.2/，转载请声明来源钻瓜专利网。
- 上一篇：激光打印机的电子控制装置
- 下一篇：动平衡式小型电动机
