Title:
ソフトウェア仕様記述過程分析のための基礎実験
Authors:
池克俊, 海谷治彦, 佐伯元司, 本間学.
Source:
情報処理学会研究報告89-SE-68, Vol. 89, No. 81, pp. 33-40, Sep. 1989. ソフトウェア工学研究会.
本文は電子化されてません.
本論文では,人間がソフトウェアの仕様を作成する過程の履歴をとり,
その分析を行なった結果について述べる.
仕様の作成過程は,まず作ろうとするソフトウェアを理解し,
そのメンタルモデルを作り上げる過程と,
それをもとに仕様を記述する過程の2つに分けられる.
我々は,ビデオカメラを用いて,被験者が各生成物を作成してゆく過程を記録した.
具体的には,電車の切符の自動販売機を例にとり,被験者がこのシステムを理解
するために書いたメモ,自然言語仕様,状態遷移図,データフロー図を,
どのように作成していったかの履歴をとった.
これらの記録を分析することにより,メンタルモデル,
状態遷移図,データフロー図作成の流れを抽出する.
これら3つの流れを種々の観点から比較,検討し,類似点と相違点を分析する.
この実験の目的は,人間にとって自然な思考過程を反映していると思われる
メンタルモデル作成過程と,状態遷移図やデータフロー図といった形式的仕様作成過程
の相違点を調べることにより,形式的仕様作成過程に含まれる,
人間にとって不自然な作業を洗いだすことである.
これにより,人間にとって自然な仕様作成過程,およびその支援ツール開発への
足掛かりとすることができる.
Related Paper(s):
Newer Related Paper(s):
paper index