SYMBOLIC EXECUTION METHOD, SYMBOLIC EXECUTION DEVICE, AND SYMBOLIC EXECUTION PROGRAM

• Main Authors: SUPASIT MONPRATARNCHAI, FUJIWARA SHOICHIRO, UEHARA TADAHIRO, MUNAKATA KAZUKI, TOKUMOTO SUSUMU, MAEDA YOSHIHARU, KATAYAMA ASAKO
• Format: Patent
• Language: English; Japanese
• Published: 09.04.2015
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

PROBLEM TO BE SOLVED: To appropriately perform input/output processing in a node on another path to which transfer is performed following backtrack.SOLUTION: A creation part 111 creates an execution tree on the basis of a plurality of model classes 122 created from a class 121. A determination part 112 determines whether or not a symbol variable is included when writing processing or reading processing is included in a node. A storage part 113 executes the writing processing to an object file 123. The storage part 113 stores a saving file 124 obtained by duplicating the object file 123 in a storage part 120 before executing the writing processing to the object file 123. An acquisition part 114 executes the reading processing to the saving file 124 corresponding to the node when executing the reading processing after transfer is performed to another path following backtrack. An execution part 115 searches the node in the execution tree. The execution part 115 executes any method other than the writing processing and the reading processing. 【課題】バックトラック後に移行する別経路のノードにおいて適切に入出力処理をすること。【解決手段】作成部１１１は、クラス１２１から作成された複数のモデルクラス１２２に基づき、実行ツリーを作成する。判断部１１２は、ノードにおいて書込処理または読込処理が含まれる場合にシンボル変数が含まれるか否かを判断する。格納部１１３は、対象ファイル１２３に対して書込処理を実行する。格納部１１３は、対象ファイル１２３に書込処理を実行する前に、対象ファイル１２３を複製した退避ファイル１２４を記憶部１２０に記憶する。取得部１１４は、バックトラックして他の経路に移行した後に読込処理を実行する際、ノードに対応する退避ファイル１２４に対して読込処理を実行する。実行部１１５は、実行ツリーにおいてノードを探索する。実行部１１５は、書込処理および読込処理以外のメソッドを実行する。【選択図】図５