文献

J-GLOBAL ID：201202248046402307   整理番号：12A0418635

プロブレムフレームに基づく組込みシステムの状態遷移分析支援システム

State Transition Analysis System for Embedded Systems by Problem Frames

著者 (2件)： 紫合治 (東京電機大 情報環境) ,  横山薫 (NECソフト)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 53  号： 2  ページ： 523-534  発行年： 2012年02月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,ソフトウェア開発の初期段階において有効であるプロブレムフレームに基づく要求分析支援システムについて述べる。システムは要求分析の工程に沿って,プロブレム図,ドメイン状態遷移図,要求状態遷移図の作成を支援し,それらの間の妥当性をチェックした後,マシンの仕様となる状態遷移記述を自動生成する。このとき,プロブレム図で定義したイベントや状態をそのままドメイン状態遷移図で活用し,ドメイン状態遷移図で定義した状態をそのまま要求状態遷移図で利用するなどにより,誤りのない要求分析を支援する。さらに,これらの状態遷移図間の整合性を調べて,要求の漏れや誤り等を自動的にチェックする機能を持つ。(著者抄録)

シソーラス用語： フレームワーク【ソフトウェア開発】 ,  品質 ,  *状態遷移図 ,  仕様記述 ,  生産 ,  ソフトウェア工学 ,  誤り検出 ,  *要求分析
準シソーラス用語： プロブレムフレーム ,  ソフトウェア品質 ,  自動生成

分類 (2件)： 人間機械系  (IB03000G) ,  計算機システム開発  (JD02010R)

引用文献 (22件)：

• [1] OMG: UML 2.0 Superstructure Specification (2004), available from (http://www.omg.org/).
• [2] IBM Rationalソフトウェア, available from〈http://www-06.ibm.com/software/j p/rational/〉
• [3] JUDE/Biz, available from (http://jude.change-vision.com/jude-web/index.html).
• [4] Jackson, M.: Problem Frames: Analyzing & Structuring Software Development Problems, Addison-Wesley Publishing Company (2001).
• [5] Tun, T.T., Yu, Y., Haley, C. and Nuseibeh, B.: Model-based Argument Analysis for Evolving Security Requirements, 4th International Conference on Secure Software Integration and Reliability Improvement, pp.88-97(2010).

タイトルに関連する用語 (4件)： 組込みシステム ,  状態遷移 ,  分析 ,  支援システム