タグ操作を許すデータ駆動プログラムの開発・再利用支援手法

概要

論文の詳細を見る
筆者らは,動的データ駆動プロセッサCUEを用いた実時間多重処理システムのための,機能仕様・性能仕様に基づく開発支援環境RESCUEを研究している.本論文は,RESCUEの実現法の検討の一環として,データ駆動図式による階層的機能仕様に基づいて,タグ操作を許すデータ駆動プログラムを生成・再利用する際の,副作用検出支援手法を提案する.本手法では,プログラム実行過程に依存しない自然な仕様記述過程を実現するため,仕様上で機能要素を表すノードにソフトウェア部品または命令プリミティブを割り当て入出力を対応づけることでプログラムを直接生成する.同時に,データ依存性を畳み込んで仕様の階層構造を柔軟に再構成した上で,記号実行による部分的なプロトタイピング結果を仕様上で常に確認する.本論文では,プログラム生成に必要な情報のユーザからの獲得法,仕様からのプログラム直接生成手法,記号実行に基づくプロトタイピング手法,及び,データ依存性の畳込みによる,記号実行結果の仕様上への提示法を提案する.更に予備的評価を通じて,本手法が,タグ操作の副作用検出支援のみならず,仕様の抜け・誤りの検出支援にも有効なことを示す.
社団法人電子情報通信学会の論文
2002-03-01