用于基于模型测试技术系统的方法、设备和计算机程序技术方案

本发明专利技术涉及一种用于测试技术系统、尤其是安全性相关的技术系统的计算机实现的方法(100)，所述技术系统尤其包括软件组件和/或硬件组件，其中，所述方法包括以下步骤：提供(110)所述技术系统的模型(200)；提供(120)对所述技术系统的要求(A，G)的集合；将相应的要求(A，G)转换为至少一个形式逻辑的至少一个形式表达，其中，基于所述要求(A，G)的特性从包括至少两个形式逻辑的逻辑集合(L)中选择(130)所述形式逻辑；检验(150)所述模型(200)是否满足相应的要求(A，G)，其中，通过实施用于相应的形式表达的至少一个程序求解器来进行所述检验(150)。本发明专利技术还涉及一种计算机程序以及一种设备。种设备。种设备。

【技术实现步骤摘要】
用于基于模型测试技术系统的方法、设备和计算机程序


[0001]本公开文本涉及一种用于基于模型测试技术系统的方法、设备和计算机程序。

技术介绍

[0002]在基于模型的系统开发中，创建系统的模型并且将其用于测试该系统。例如以UML或SysML建模的模型通常由带有端口和这些端口之间的连接的区块组成。区块典型地包含另外的区块，以便以分层的方式分解该系统。在基于模型的安全性分析(MBSA)中，向模型添加一个另外的、面向安全性的系统视图。一种可能性在于，向这些区块添加所谓的安全性合同。安全性合同来源于基于合同的构建，并且在基于模型的系统开发中是已知的。安全性合同用于安全性相关的系统的安全性要求的组成规范，其遵循分层系统模型的组件结构并与之相关联。对于相应的组件，安全性合同例如详细说明与安全性有关的“假设”，这些假设必须由该组件的直接周围环境(例如由其上级组件)满足，并且详细说明相应的与安全性有关的“保证”，该组件就其而言必须满足该保证。安全性合同的目的是，在评估模型的安全性时，尤其是在评估所选组件结构的满足所有安全性要求的能力时，支持开发者和安全管理人员本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种用于测试技术系统、尤其是安全性相关的技术系统的计算机实现的方法(100)，所述技术系统尤其包括软件组件和/或硬件组件，其中，所述方法包括以下步骤：提供(110)所述技术系统的模型(200)；提供(120)对所述技术系统的要求(A，G)的集合；将相应的要求(A，G)转换(140)为至少一个形式逻辑的至少一个形式表达，其中，基于所述要求(A，G)的特性从包括至少两个形式逻辑的逻辑集合(L)中选择(130)所述形式逻辑；检验(150)所述模型(200)是否满足相应的要求(A，G)，其中，通过实施用于相应的形式表达的至少一个程序求解器来进行所述检验(150)。2.根据权利要求1所述的计算机实现的方法(100)，其中，相应的要求包括至少一个陈述或至少两个陈述的联结。3.根据前述权利要求中至少一项所述的计算机实现的方法(100)，其中，从所述逻辑集合(L)中选择(130)相应的形式逻辑包括以下步骤：从所述逻辑集合(L)中确定具有最低复杂度的形式逻辑，借助所述形式逻辑能够将所述要求(A，G)和/或所述要求(A，G)的陈述映射为形式表达。4.根据前述权利要求中至少一项所述的计算机实现的方法(100)，其中，并行地实施多个程序求解器。5.根据前述权利要求中至少一项所述的计算机实现的方法(100)，其中，提供包括至少一个自然语言陈述的相应的要求(A，G)。6.根据前述权利要求中至少一项所述的计算机实现的方法(100)，其中，所述模型(200)包括至少两个或更多组件(210，220a，220b)，并且要求(A，G)包括相应的组件(210，220a，220b)关于所述技术系统、尤其是关于另外的组件(210，22...

【专利技术属性】
技术研发人员：A，
申请(专利权)人：罗伯特，
类型：发明
国别省市：