【課題】ターゲットとされるバリアント入力を使用して、データフォーマットをテストすること。
【解決手段】データフォーマット定義における１つまたは複数の選択されたノードの値は、バリアントプレースホルダに置換されうる（２１０〜２１４）。実行時に、入力トークンストリームがデータフォーマット定義から生成されるとき、各バリアントプレースホルダは、ランダム値に置き換えられ、それにより、ターゲットとされるバリアント入力がもたらされる（２１６，２１８）。 （もっと読む）

【課題】変換結果として保守性の高いプログラムを効率よく得ることができるプログラム変換プログラム、プログラム変換装置およびプログラム変換方法を提供すること。
【解決手段】変換後モデル生成部３３０は、変換前ソースデータモデルから変換後ソースデータモデルを生成する際に、要確認ルールＤＢ４２１のルールに該当する箇所、すなわち単純な変換では複雑で可視性の低いコードが生成されそうな箇所は変換ルールＤＢを用いた字句変換はおこなわず、代わりに要確認タグを埋め込む。ソースプログラム生成部３４０は、要確認タグをコメントとして埋め込んだ変換後ソースファイルを生成する。この変換後ソースファイルの要確認タグの部分を要確認箇所変更部３５０にて適切な記述に置き換えることで保守性の高い変換プログラムを得ることができる。 （もっと読む）