首页> 中国专利> 验证目标程序的验证规范的产生装置和方法

验证目标程序的验证规范的产生装置和方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明提供一种验证目标程序的验证规范的产生装置和方法，该装置产生验证规范以验证包含对一个或多个对象进行操作的函数的验证目标程序，该装置包括：第一输入单元，用来输入描述第一有限状态机的第一规范，所述第一有限状态机定义由于事件的发生而导致的多个状态之间的转换；第二输入单元，用来输入第二规范，所述第二规范为第一对象类型描述了对具有所述第一对象类型的对象进行操作的函数与所述第一有限状态机中的所述事件之间的对应；以及验证规范产生单元，用来通过合成所述第一和第二规范来产生对所述验证目标程序进行验证的验证规范，所述验证规范描述了第二有限状态机，所述第二有限状态机定义了由于调用对具有所述第一对象类型的所述对象进行操作的函数而导致的具有所述第一对象类型的所述对象的状态之间的转换。

著录项

公开/公告号CN101276308A

专利类型发明专利
公开/公告日2008-10-01

原文格式PDF
申请/专利权人株式会社东芝;
展开▼

申请/专利号CN200810087865.0
发明设计人进博正;
展开▼

申请日2008-03-26
分类号G06F11/36;
代理机构北京市中咨律师事务所;
代理人杨晓光
地址日本东京都
入库时间 2023-12-17 20:49:36

法律信息

法律状态公告日

法律状态信息

法律状态
2010-08-25

发明专利申请公布后的视为撤回 IPC(主分类):G06F11/36 公开日:20081001 申请日:20080326

发明专利申请公布后的视为撤回
2008-11-26

实质审查的生效

实质审查的生效
2008-10-01

公开

公开

相似文献

专利
中文文献
外文文献

1. 验证目标程序的验证规范的产生装置和方法 [P] . 中国专利： CN101276308A . 2008-10-01
2. 验证码产生方法、资料验证方法及电子装置 [P] . 中国专利： CN111753313A . 2020-10-09
3. APPARATUS AND METHOD FOR GENERATING VERIFICATION SPECIFICATION OF VERIFICATION TARGET PROGRAM, AND COMPUTER READABLE MEDIUM [P] . 美国专利： US2008250427A1 . 2008-10-09

机译：用于生成验证目标程序的验证规范以及计算机可读介质的设备和方法
4. METHOD FOR GENERATING A VERIFICATION CODE, VERIFICATION CODE, METHOD AND DEVICE FOR VERIFYING THE AUTHENTICITY OF OBJECTS [P] . 世界知识产权组织专利： WO2010037429A1 . 2010-04-08

机译：产生验证码的方法，验证码，验证对象真实性的方法和装置
5. APPARATUS AND METHOD THAT GENERATES ORIGINALITY VERIFICATION AND VERIFIES ORIGINALITY VERIFICATION [P] . 美国专利： US2012093310A1 . 2012-04-19

机译：产生原始性验证和验证原始性验证的装置和方法