本公开涉及正确性验证系统、方法、装置和程序。
背景技术:
1、纯软件、嵌入式系统和网络中的正确性验证一般是耗时间的工作。随着软件程序和嵌入式系统变得越发复杂,这些复杂的系统的正确性验证急剧地变得更加困难,特别是在发生非预期的行为的边缘情况(edge case)或边角情况(corner case)下如此。进一步地,存在对更高级别的约束和正确性进行编码的语言和编程环境,但这些通常是非常地特定于领域(domain)的,需要用该领域特有的方法处理。
技术实现思路
1、根据实施方式,提供用于决定系统的构成要素中的特性的正确性的方法。
2、方法由电子装置执行,并且包含:
3、设定系统的构成要素的已知特性;
4、动态地决定系统的构成要素的未知特性,其中,动态地决定包含:对动作定义为了正确地执行动作而必须满足的一个以上的前提条件,对动作定义在正确地执行动作之后必须满足的一个以上的后置条件,以及通过测试来识别系统的构成要素的未知特性的界限;
5、验证系统的构成要素的已知特性和系统的构成要素的未知特性;以及
6、为了反映系统的构成要素的已知特性和系统的构成要素的未知特性,更新接口定义语言(idl)程序代码。
7、根据公开的一个方式,提供存储命令的非暂时性计算机可读取介质。
8、非暂时性计算机可读取介质包含一个以上的命令,该一个以上的命令在由装置的一个以上的处理器执行时预测单词的含义,使一个以上的处理器进行:
9、设定系统的构成要素的已知特性;
10、动态地决定系统的构成要素的未知特性,其中,动态地决定包含:对动作定义为了正确地执行动作而必须满足的一个以上的前提条件,对动作定义在正确地执行动作之后必须满足的一个以上的后置条件,以及通过测试来识别系统的构成要素的未知特性的界限;
11、验证系统的构成要素的已知特性和系统的构成要素的未知特性;以及
12、为了反映系统的构成要素的已知特性和系统的构成要素的未知特性,更新接口定义语言(idl)程序代码。
13、根据公开的其他方式,提供用于决定系统的构成要素中的特性的正确性的装置。
14、装置包含:存储器,被构成为存储命令;以及一个以上的处理器,该一个以上的处理器被构成为执行命令,所述命令进行:
15、设定系统的构成要素的已知特性;
16、动态地决定系统的构成要素的未知特性,其中,动态地决定包含:对动作定义为了正确地执行动作而必须满足的一个以上的前提条件,对动作定义在正确地执行动作之后必须满足的一个以上的后置条件,以及通过测试来识别系统的构成要素的未知特性的界限;
17、验证系统的构成要素的已知特性和系统的构成要素的未知特性;以及
18、为了反映系统的构成要素的已知特性和系统的构成要素的未知特性,更新接口定义语言(idl)程序代码。
1.一种由电子装置执行的用于决定系统的构成要素中的特性的正确性的方法,所述方法具备:
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.一种用于决定系统的构成要素中的特性的正确性的装置,所述装置具备:
13.如权利要求12所述的装置,其中,
14.如权利要求12或13所述的装置,其中,
15.如权利要求12至14中的任一项所述的装置,其中,
16.如权利要求12至15中的任一项所述的装置,其中,
17.如权利要求12至16中的任一项所述的装置,其中,
18.如权利要求12至17中的任一项所述的装置,其中,
19.如权利要求12至18中的任一项所述的装置,其中,
20.一种非暂时性计算机可读取介质,