Metadata
Author: patents-wipo
Data
English[en]
A method of converting a source code for converting a source code of software to an inspection code by using a computer, comprising: a step for inputting a source code of software; a step for inputting a plurality of different conversion rules; a step for inputting a nonfunctional rule that is a constraint relating to process performance; and a step for converting the source code to a nonfunctional inspection code written in an input language of a validation tool by means of the plurality of different conversion rules and the nonfunctional rule.
French[fr]
L'invention porte sur un procédé de conversion d'un code source servant à convertir un code source de logiciel en un code d'inspection par utilisation d'un ordinateur, lequel procédé comprend : une étape d'entrée d'un code source de logiciel ; une étape d'entrée d'une pluralité de règles de conversion différentes ; une étape d'entrée d'une règle non fonctionnelle qui est une contrainte relative à des performances de traitement ; et une étape de conversion du code source en un code d'inspection non fonctionnel écrit dans un langage d'entrée d'un outil de validation au moyen de la pluralité de règles de conversion différentes et de la règle non fonctionnelle.
Japanese[ja]
計算機を活用してソフトウェアのソースコードを検査コードに変換するソースコード変換方法であって、ソフトウェアのソースコードを入力するステップと、異なる複数の変換ルールを入力するステップと、処理性能に関係する制約である非機能ルールを入力するステップと、前記ソースコードを、前記異なる複数の変換ルール及び前記非機能ルールにより、検証ツールの入力言語で記述された非機能検査コードに変換するステップとを有する。