著者
市川 至 蓬莱尚幸 佐伯 元司 米崎 直樹 榎本 肇
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.27, no.11, pp.1112-1128, 1986-11-15
被引用文献数
1

本論文では 自然言語ベースの仕様記述言語TELL/NSLにおけるシステムの静的な仕様記述から 変換により実行可能なPrologプログラムを得てテストデータによる試験を行うラピッドプロトタイピング手法について述べる.TELL/NSLの仕様記述は まずその意味となる1階述語論理式へ変換され 次にホーン節型式に変換される.さらに 述語の入出力モードを入出力依存グラフを利用して決定し その入出力モードに基づき正しい動作をするようにPrologの実行制御を考慮してリテラルや節の並べ換えを行い 実行可能なPrologプログラムに変換する.これらの変換は 段階的に適応される部分変換からなり それぞれの変換では健全性が保証され 全体の変換により得られるプログラムは元の仕様記述を満たし部分正当であることが保証される.得られたプログラムを実行しデータ試験を行うことにより 元の仕様記述において不明確な点を発見することが可能となった.