文献

J-GLOBAL ID：201302236057729277   整理番号：13A0873641

ツールによる形式モデルの成熟度測定法の提案

Proposal of Formal Model’s Maturity Measuring Method by a Tool

著者 (3件)： 井上心太 (九大 大学院システム情報科学府) ,  大森洋一 (九大 大学院システム情報科学研究院) ,  荒木啓二郎 (九大 大学院システム情報科学研究院)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2012  号： 6  ページ： ROMBUNNO.SE-179,NO.29  発行年： 2013年04月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェアの仕様書を形式モデルに変換し,検証することでソフトウェアの品質を向上できる。本研究では,形式モデル作成の際に,モデルの成熟度を測るための指標を測定し,判断材料の提供を目的とする。測定のための指標の選定にはソフトウェアメトリクスとEASEプロジェクトの知見を参考にした。指標の入力はモデル作成者の主観を排し,かつ手間を減らすためにツールにより自動化と収集できるように考慮した。(著者抄録)

シソーラス用語： *要求仕様 ,  *形式的手法【計算機】 ,  形式的仕様 ,  形式的仕様記述言語 ,  熟度 ,  プログラム検証 ,  指標 ,  自動化 ,  製品品質
準シソーラス用語： ソフトウェア検証 ,  ソフトウェア品質 ,  メトリックス ,  成熟度

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： ツール ,  形式モデル ,  成熟度 ,  測定法 ,  提案