[发明专利]正确性验证系统、方法、装置和程序在审
申请号: | 202310286413.X | 申请日: | 2023-03-22 |
公开(公告)号: | CN116841861A | 公开(公告)日: | 2023-10-03 |
发明(设计)人: | J-F·巴斯蒂恩 | 申请(专利权)人: | 织望丰田股份有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36;G06F8/30 |
代理公司: | 中国贸促会专利商标事务所有限公司 11038 | 代理人: | 李今子 |
地址: | 日本*** | 国省代码: | 暂无信息 |
权利要求书: | 暂无信息 | 说明书: | 暂无信息 |
摘要: | 提供正确性验证系统、方法、装置和程序。一种由电子装置执行的用于决定系统的构成要素中的特性的正确性的方法,该方法具备:设定系统的构成要素的已知特性;动态地决定系统的构成要素的未知特性,其中,动态地决定具备,对动作定义为了正确地执行动作而必满足的一个以上的前提条件,对动作定义在正确地执行动作之后必须满足的一个以上的后置条件,以及通过测试来识别系统的构成要素的未知特性的界限;验证系统的构成要素的已知特性和系统的构成要素的未知特性;以及为了反映系统的构成要素的已知特性和系统的构成要素的未知特性,更新接口定义语言IDL程序代码。 | ||
搜索关键词: | 正确性 验证 系统 方法 装置 程序 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于织望丰田股份有限公司,未经织望丰田股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202310286413.X/,转载请声明来源钻瓜专利网。