首页> 中国专利> 用于测试技术系统的方法和计算机程序

用于测试技术系统的方法和计算机程序

页面导航

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

摘要

本发明涉及一种用于测试技术系统、尤其是安全相关的技术系统的方法（100），该系统尤其包括软件，其中该系统通过包括至少两个或更多个组件（210、220）的模型（200）来表示，而且通过安全合约规定了相应的组件（210、220）关于安全相关的系统方面的假设（A）以及相应的组件（210、220）对所述安全相关的系统的保证（G），其特征在于，在一个步骤（110）中基于至少一个假设（A）并且基于至少一个保证（G）来产生可执行的程序代码（C），并且在接下来的步骤（120）中通过执行该程序代码（C）来测试所述安全相关的系统。

著录项

公开/公告号CN113934580A

专利类型发明专利
公开/公告日2022-01-14

原文格式PDF
申请/专利权人罗伯特·博世有限公司;
展开▼

申请/专利号CN202110716794.1
发明设计人 A·诺德曼;P·蒙克;A-J·罗哈切克;E·M·塔登;L·高尔霍夫;M·施韦泽;
展开▼

申请日2021-06-28
分类号G06F11/22(20060101);
代理机构72001 中国专利代理(香港)有限公司;
代理人姬亚东;刘春元
地址德国斯图加特
入库时间 2023-06-19 13:54:12

法律信息

法律状态公告日

法律状态信息

法律状态
2022-01-14

公开

发明专利申请公布

相似文献

专利
中文文献
外文文献

1. 用于测试技术系统的方法和计算机程序 [P] . 中国专利： CN113934580A . 2022-01-14
2. 用于运行用于检验停车概率的系统的方法、系统、计算机程序和计算机程序产品 [P] . 中国专利： CN111066072A . 2020-04-24
3. METHOD AND COMPUTER PROGRAM FOR TESTING A TECHNICAL SYSTEM [P] . KR20220001497A . 2022-01-05

机译：用于测试技术系统的方法和计算机程序
4. METHOD AND COMPUTER PROGRAM FOR TESTING A TECHNICAL SYSTEM [P] . EP3933593A1 . 2022-01-05

机译：用于测试技术系统的方法和计算机程序
5. METHOD AND COMPUTER PROGRAM FOR TESTING A TECHNICAL SYSTEM [P] . US2021406161A1 . 2021-12-30

机译：用于测试技术系统的方法和计算机程序