氏名: 鈴木孝聡 (089433378)
論文題目: 三層モデルによるソースプログラムの安全な変更に関する研究
論文概要
ソフトウェア開発では、プログラムの修正が頻繁に行われる。その中には変数名の変更等の機械的で面倒な修正がある。このような変更は、CASEツールを用いて行えることが望ましい。そこで本研究では、すでに我々の研究室で作成されているオブジェクト指向言語JavaのためのCASEツールプラットフォームJapidに、ソースプログラムの変更を支援するシステムを実装し、CASEツールにおける変更作業について考察する。CASEツールを用いたプログラム変更では、変更後も構文的および意味的な一貫性が保たれること(安全性)が重要である。変更作業により、文法上の問題や動作の不具合が生じることがあってはならない。このために、本研究室ですでに提案されている三層モデルを用いる。これは、コンパイラの字句、構文、意味解析の各段階を三層として定義し、各層でプログラムの変更を字句的、構文的、意味的に検証して、その安全性を保証するものである。
目次に戻る