実行順序依存性のある状態遷移表に対する動作理解支援手法

• Item type: SIG Technical Reports(1)
• 公開日: 2012-03-08
• タイトル: 実行順序依存性のある状態遷移表に対する動作理解支援手法
• タイトル / 言語: en
• タイトル: A Support Method for Understanding Actions from State Transition Matrix Having Execution Order Dependency
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 仕様・測定
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 株式会社日立製作所横浜研究所
• 著者所属: クラリオン株式会社製品開発統括部
• 著者所属: 株式会社日立製作所横浜研究所
• 著者所属: 株式会社日立製作所横浜研究所
• 著者所属: 株式会社日立製作所横浜研究所
• 著者名: 古家, 直樹; 山岸, 正知; 鈴木, 康文; 川上, 真澄; 小川, 秀人
• 著者名(英): Naoki, Furuya; Masatomo, Yamagishi; Yasufumi, Suzuki; Masumi, Kawakami; Hideto, Ogawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 状態遷移表は，遷移動作を網羅的に記述可能であり，仕様の抜け漏れを防止することが出来るため，今日のソフトウェア開発で広く適用されている．その一方で，実行時の動作シーケンスを把握し難いという課題がある．特に，状態遷移動作の結果が実行順序によって変わるという，実行順序依存性を持つ状態遷移表の場合，状態遷移動作を直感的に理解することが困難である．そこで，状態遷移表から特定の動作シーケンスを生成することによる，動作仕様理解支援手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A State transition matrix is widely used in software development since it can exhaustively describe the specification of software and avoid misspecification. However, it is difficult to understand intuitively each action sequence from a state transition matrix, especially if it has an execution order dependency. We suggest a support method for understanding actions, which is based on creating each action sequence from the state transition matrix.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2012-SE-175, 号 9, p. 1-6, 発行日 2012-03-08
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会