CORRECTNESS VERIFICATION SYSTEM, METHOD, DEVICE, AND PROGRAM

To provide a correctness verification system, a method, a device, and a program.SOLUTION: There is provided a method for determining correctness of properties in components of a system executed by an electronic device. The method comprises: setting known properties of the components of the system; dynamically determining unknown properties of the components of the system, wherein the dynamically determining comprises: defining one or more pre-conditions for an operation, wherein the one or more pre-conditions must be satisfied for the operation to be performed correctly; defining one or more post-conditions for the operation, wherein the one or more post-conditions must be satisfied after the operation being performed correctly; and identifying boundaries of the unknown properties of the components of the system through testing; verifying the known properties of the components of the system and the unknown properties of the components of the system; and updating Interface Definition Language (IDL) program code to reflect the known properties of the components of the system and unknown properties of the components of the system.SELECTED DRAWING: Figure 1 【課題】正確性検証システム、方法、装置、およびプログラムの提供。【解決手段】電子装置により実行される、システムの構成要素における特性の正確性を決定するための方法であって、方法は、システムの構成要素の既知の特性を設定することと、システムの構成要素の未知の特性を動的に決定することと、ここにおいて、動的に決定することは、動作に対して、動作が正確に実行されるためには満たされなければならない１つ以上の前提条件を定義すること、動作に対して、動作が正確に実行された後に満たされなければならない１つ以上の事後条件を定義すること、及びテストを通して、システムの構成要素の未知の特性の限界を識別することを備えており、システムの構成要素の既知の特性とシステムの構成要素の未知の特性を検証することと、システムの構成要素の既知の特性とシステムの構成要素の未知の特性を反映するためにインタフェース定義言語（ＩＤＬ）プログラムコードを更新することと、を備える。【選択図】図１