【技术实现步骤摘要】
正确性验证系统、方法、装置和程序
[0001]本公开涉及正确性验证系统、方法、装置和程序。
技术介绍
[0002]纯软件、嵌入式系统和网络中的正确性验证一般是耗时间的工作。随着软件程序和嵌入式系统变得越发复杂，这些复杂的系统的正确性验证急剧地变得更加困难，特别是在发生非预期的行为的边缘情况(edge case)或边角情况(corner case)下如此。进一步地，存在对更高级别的约束和正确性进行编码的语言和编程环境，但这些通常是非常地特定于领域(domain)的，需要用该领域特有的方法处理。
技术实现思路
[0003]根据实施方式，提供用于决定系统的构成要素中的特性的正确性的方法。
[0004]方法由电子装置执行，并且包含：
[0005]设定系统的构成要素的已知特性；
[0006]动态地决定系统的构成要素的未知特性，其中，动态地决定包含：对动作定义为了正确地执行动作而必须满足的一个以上的前提条件，对动作定义在正确地执行动作之后必须满足的一个以上的后置条件，以及通过测试来识别系统的构成要...
【技术保护点】
【技术特征摘要】
1.一种由电子装置执行的用于决定系统的构成要素中的特性的正确性的方法，所述方法具备：设定所述系统的所述构成要素的已知特性；动态地决定所述系统的所述构成要素的未知特性；验证所述系统的所述构成要素的所述已知特性和所述系统的所述构成要素的所述未知特性；以及为了反映所述系统的所述构成要素的所述已知特性和所述系统的所述构成要素的所述未知特性，更新接口定义语言IDL程序代码，其中，所述动态地决定具备：对动作定义为了正确地执行所述动作而必须满足的一个以上的前提条件；对所述动作定义在正确地执行所述动作之后必须满足的一个以上的后置条件；以及通过测试来识别所述系统的所述构成要素的所述未知特性的界限。2.如权利要求1所述的方法，其中，通过测试来识别所述系统的所述构成要素的所述未知特性的界限具备：用仿真的系统进行测试。3.如权利要求1或2所述的方法，其中，通过测试来识别所述系统的所述构成要素的所述未知特性的界限具备：测试硬件构成要素。4.如权利要求1至3中的任一项所述的方法，其中，所述系统是自主车辆。5.如权利要求1至4中的任一项所述的方法，其中，验证所述系统的所述构成要素的所述已知特性和所述系统的所述构成要素的所述未知特性具备下列中的至少一个：决定最坏情况的执行时间；决定最坏情况的误差传播；决定最坏情况的时间表设定；以及决定最坏情况的网络使用。6.如权利要求1至5中的任一项所述的方法，其中，设定所述系统的所述构成要素的所述已知特性具备：解析所述系统的设计；解析所述系统的构成；或者通过基于程序的导出而解析所述系统的计算机代码。7.如权利要求1至6中的任一项所述的方法，其中，所述验证是基于决定所述系统的所述构成要素的所述已知特性和所述系统的所述构成要素的所述未知特性是否在所述系统的动作范围内维持来进行的。8.如权利要求1至7中的任一项所述的方法，其中，识别所述构成要素的所述未知特性的界限具备：识别与所述构成要素的所述未知特性关联起来的边角情况。9.如权利要求1至8中的任一项所述的方法，其中，验证所述系统的所述构成要素的所述已知特性和所述系统的所述构成要素的所述未知特性是使用布尔可满足性求解器来执行的。
10.如权利要求1至8中的任一项所述的方法，其中，验证所述系统的所述构成要素的所述已知特性和所述系统的所述构成要素的所述未知特性是使用一阶逻辑验证引擎来执行的。11.如权利要求1至10中的任一项所述的方法，其中，所述系统的所述构成要素的所述已知特性和所述系统的所述构成要素的所述未知特性与功能的安全性、安全、隐私、能源利用和资源利用中的至少一个关联起来。12.一种用于决定系统的构成要素中的特性的正确性的装置，所述装置具备：存储器，构成为存储命令；以及一个以上的处理器，所述一个以上的处理器构成为执行所述命令，所述命令进行：设定所述系统的所述构成要素的已知特性；动态地决定所...
【专利技术属性】
技术研发人员：JF，
申请(专利权)人：织望丰田股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。