形式的仕様に基づくGUIプロトタイプの自動生成について
スポンサーリンク
概要
- 論文の詳細を見る
近年GUIの開発コストの大きさが問題となってきている.これまでは主にGUIプロトタイプの作成を支援するツールの研究が行われてきたが、本稿ではテストの一部自動化を目指し, GUIの仕様を形式的に記述するための枠組みを提案し, その記述からGUIプロトタイプを生成する自動生成系を実現した.本手法によって, (1)GUIの形式的仕様を作成するだけでGUIプロトタイプを得ることができる, (2)従来主に人手で行われてきたGUIのテスト・評価項目のうちのいくつかの性質を自動検証することができる、(3)プロトタイプが自動生成されるので、検証された性質がプロとタイプでも成り立つことを保証できる, などの点でGUI開発の効率化が可能となる.
- 一般社団法人情報処理学会の論文
- 1998-05-15
著者
関連論文
- Fittsの法則に基くマウスの操作方向の効率への影響
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム
- リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム(並列・分散)
- オブジェクト振舞いモデルの継承手法について
- マウスとペンの操作精度の比較
- 計算機構造の教育支援システム
- 離散周波数制御を利用した消費電力最小のタスクスケジューリングアルゴリズム
- 2次電池の最長利用を目的としたリアルタイムスケジューリングアルゴリズム
- マウスドライバの改良によるポインティング精度改善について (ヒューマンインタフェースとインタラクション)
- 日常時と実験時のマウス操作の比較
- ポインティング精度向上のためのマウスドライバの改良
- 打鍵レベルでの計算機演習室内の操作履歴の解析と実験データとの比較
- 打鍵レベルでの計算機演習室内の操作履歴の解析と実験データとの比較
- 実験環境との比較によるマウスの日常操作履歴の解析
- 教育用に拡張されたPascalとその支援環境について
- クラス階層モデルにおける再構成法について
- プログラミング教育を支援するチャート型言語環境
- 形式的仕様に基づくGUIプロトタイプの自動生成について
- 並列プログラムを生成するプログラム変換手法について