スペクトル分析を用いたソフトウェア品質要求の妥当性と継承の確認法

2010 年度 研究成果報告書

• 研究課題/領域番号: 20500032
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 信州大学
• 研究代表者: 海谷 治彦 信州大学, 工学部, 准教授 (30262596)
• 研究期間 (年度): 2008 – 2010
• キーワード: 要求工学 / ソフトウェア工学 / 品質要求分析 / スペクトラム分析

研究概要

情報システムの要求定義において機能要求だけでなく,品質要求の定義の重要性も増している.しかし,機能要求に比べ,品質要求が十分に定義されているか否かを系統的に確認することは難しい.本研究では,要求仕様書や設計仕様書の文書解析を行い,言及されている品質要求項目を定量的に測定することで,品質要求が十分に定義されているか否かを確認する手法を提案し,評価した.また,要求定義段階における品質要求定義が,設計や実装の段階で正しく継承されているか否かを確認する方法も提案し評価を行った.

研究成果

• [雑誌論文] 類似既存システムの情報を利用した要求獲得支援システムの開発と評価 (2010)
  • 著者名/発表者名: 海谷治彦, 北澤直幸, 長田晃, 海尻賢二
  • 雑誌名: 電子情報通信学会論文誌 Vol.J93-D, No.10 ページ: 1836-1850
  • 査読あり
• [雑誌論文] 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価 (2010)
  • 著者名/発表者名: 海谷治彦, 長田晃, 原賢一郎, 海尻賢二
  • 雑誌名: 電子情報通信学会論文誌 Vol.J93-D, No.10 ページ: 1822-1835
  • 査読あり
• [雑誌論文] Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM. (2010)
  • 著者名/発表者名: Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, Kenji Kaijiri
  • 雑誌名: IEICE Transactions on Information and Systems Vol.E93-D, No.4 ページ: 702-712
  • 査読あり
• [雑誌論文] シソーラスを利用した要求獲得方法(THEOREE) (2009)
  • 著者名/発表者名: 加藤潤三, 佐伯元司, 大西淳, 海谷治彦, 山本修一郎
  • 雑誌名: 情報処理学会論文誌 Vol.50, No.12 ページ: 3001-3017
  • 査読あり
• [雑誌論文] PORTAM : policy,requirements, and threats analyzer for mobile code applications. (2008)
  • 著者名/発表者名: Haruhiko Kaiya, kouta Sasai, Kenji Kaijiri
  • 雑誌名: Progress in Informatics No.5 ページ: 7-18
  • 査読あり
• [雑誌論文] Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems. (2008)
  • 著者名/発表者名: 海谷治彦, 長田晃, 海尻賢二
  • 雑誌名: IEICE Transactions on Information and Systems Vol.E91-D, No.4 ページ: 897-906
  • 査読あり
• [学会発表] Enhancing Domain Knowledge for Requirements Elicitation with Web Mining. (2010)
  • 著者名/発表者名: Haruhiko Kaiya, Yuutarou Shimizu, Hirotaka Yasui, Kenji Kaijiri, Motoshi Saeki
  • 学会等名: In Proceedings of 17th Asia-Pacific Software Engineering Conference (APSEC 2010), pp.3-12
  • 発表場所: Sydney, Australia
  • 年月日: 20101130-20101203
• [学会発表] Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis. (2010)
  • 著者名/発表者名: Haruhiko Kaiya, Kasuhisa Amemiya, Yuutarou Shimizu, Kenji Kaijiri
  • 学会等名: In Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT), pp.187-194
  • 発表場所: Athens, Greece
  • 年月日: 20100700
• [学会発表] 品質要求が開発後段で反映されていることをスペクトル分析で確認する手法 (2010)
  • 著者名/発表者名: 雨宮和寿, 海谷治彦, 海尻賢二
  • 学会等名: 知能ソフトウェア工学研究会,KBSE2009-51(電子情報通信学会技術研究報告,Vol.109,No.392,pp.19-24)
  • 発表場所: 筑波大学 東京キャンパス
  • 年月日: 20100125-20100126
• [学会発表] スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価 (2010)
  • 著者名/発表者名: 鈴木駿一, 梅村真弘, 谷川正明, 小川享, 海谷治彦, 海尻賢二
  • 学会等名: ソフトウェアサイエンスSS2010-29(電子情報通信学会技術研究報告,Vol.110,No.227,pp.7-12)
  • 発表場所: 岩手県立大学
  • 年月日: 2010-10-14
• [学会発表] 要求フレームを利用した品質要求分析支援 (2010)
  • 著者名/発表者名: 海谷治彦, 大西淳
  • 学会等名: ソフトウェアサイエンスSS2010-28(電子情報通信学会技術研究報告,Vol.110,No.227,pp.1-6)
  • 発表場所: 岩手県立大学
  • 年月日: 2010-10-14
• [学会発表] Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map. (2009)
  • 著者名/発表者名: Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Kenji Kaijiri
  • 学会等名: 21th International Conference Advanced Information Systems Engineering (CAiSE 2009), pp.546-560, LNCS 5565.
  • 発表場所: Amsterdam, The Netherlands
  • 年月日: 20090608-20090612
• [学会発表] A Systematic Method for Generating Quality Requirements Spectrum. (2009)
  • 著者名/発表者名: Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, Kenji Kaijiri
  • 学会等名: ACM.Track on Requirements Engineering (In Proc.of the 24th Annual ACM Symposium on Applied Computing 2009, Volume 1 of 3, pp.399-400)
  • 発表場所: Honolulu, Hawaii
  • 年月日: 20090300
• [学会発表] 単語-品質特性対応表を用いた品質要求スペクトルの抽出法 (2009)
  • 著者名/発表者名: 谷川正明, 鈴木駿一, 佐藤知徳, 長田晃, 北澤直幸, 海谷治彦, 海尻賢二
  • 学会等名: 知能ソフトウェア工学研究会(KBSE) KBSE2008-49(電子情報通信学会技術研究報告,Vol.108,No.384,pp.73-78)
  • 発表場所: 機械振興会館 東京
  • 年月日: 20090119-20090120
• [学会発表] Security Requirements Elicitation Using Method Weaving and Common Criteria. (2009)
  • 著者名/発表者名: Motoshi Saeki, Haruhiko Kaiya
  • 学会等名: In MODELS 2008 Workshops, pp.185-196, LNCS 5421.
  • 発表場所: Springer-Verlag Berlin Heidelberg
  • 年月日: 20090000
• [学会発表] ソフトウェア成果物のためのスペクトル分析 (2009)
  • 著者名/発表者名: 海谷治彦
  • 学会等名: 情報処理学会ソフトウェア工学研究会,近代科学社.ソフトウェアエンジニアリングシンポジウム2009(SES2009)(ソフトウェアエンジニアリング最前線2009,pp.51-52)
  • 発表場所: 東京女子大学(招待論文)
  • 年月日: 2009-09-09
• [学会発表] So/M : A Requirements Definition Tool using Characteristics of Existing Similar Systems. (2008)
  • 著者名/発表者名: Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, Kenji Kaijiri
  • 学会等名: In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), pp.255-262
  • 発表場所: Turku, Finland
  • 年月日: 20080728-20080801
• [備考] ホームページ等
  • URL: http://kaiya.cs.shinshu-u.ac.jp/MVSQR/
• [備考] ホームページ(研究成果、データベース、ソフトウェア、試作システムのURLなど)