品質指向ソフトウェア開発プロセスを支援する統計分析手法の開発と改善

• 研究課題/領域番号: 23510189
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 社会システム工学・安全システム
• 研究機関: 法政大学
• 研究代表者: 木村 光宏 法政大学, 理工学部, 教授 (20263486)
• 研究期間 (年度): 2011 – 2013
• 研究課題ステータス: 完了 (2013年度)
• 配分額: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2013年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2012年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2011年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
• キーワード: ソフトウェア開発支援 / ソフトウェア品質 / ソフトウェアテスト進捗管理 / 多変量解析 / 構造方程式モデル / GMDH / コピュラ / ソフトウェア信頼性 / ソフトウェアテスト / ニューラルネットワーク / ソフトウェア開発管理 / 統計的予測

研究概要

ソフトウェア開発の上流工程で得られる情報を，下流工程のテスト工程におけるソフトウェアの信頼性評価に盛り込むための統計手法の開発を行った．従来法の多変量解析モデルでは表現しきれなかった部分について，構造方程式モデル，GMDH，ニューラルネットワークの適用によってある程度克服できた．また，ソフトウェア開発支援ツールのSafeManに対して，ブートストラップ法による新しい評価法を盛り込むことができた．
一方，コピュラに基づく新しいモデルの開発にも着手することができ，これは今後の進展が見込める．

研究成果

• [雑誌論文] A New Analysis Concept in Applying Software Reliability Growth Models and Tool Implementation (2014)
  • 著者名/発表者名: T. Fujiwara and M. Kimura
  • 雑誌名: The SafeMan, Journal of Software Engineering and Applications 巻: Vol. 7, No. 5 号: 05 ページ: 396-405
  • DOI: 10.4236/jsea.2014.75036
  • 査読あり
• [雑誌論文] A New Analysis Concept in Applying Software Reliability Growth Models and Tool Implementation: The SafeMan (2014)
  • 著者名/発表者名: Takaji Fujiwara and Mitsuhiro Kimura
  • 雑誌名: Journal of Software Engineering and Its Applications 巻: N/A
  • 査読あり
• [雑誌論文] A Note on Software Reliability Monitoring By Moving-average Method Based on A Bootstrap Scheme (2012)
  • 著者名/発表者名: M. Kimura and T. Fujiwara
  • 雑誌名: International Journal of Systems Assurance Engineering and Management 巻: Vol. 1 号: 4 ページ: 293-298
  • DOI: 10.1007/s13198-011-0033-1
  • 査読あり
• [学会発表] 2素子並列システムのカスケード故障に関するコピュラ解析 (2014)
  • 著者名/発表者名: 太田修平,影山孝夫,木村光宏
  • 学会等名: 電子情報通信学会2014年度総合大会
  • 発表場所: 新潟大学(新潟県)
  • 年月日: 2014-03-18
• [学会発表] 2素子並列システムのカスケード故障に関するコピュラ解析 (2014)
  • 著者名/発表者名: 太田修平，影山孝夫，木村光宏
  • 学会等名: 電子情報通信学会２０１４年度総合大会
  • 発表場所: 新潟大学五十嵐キャンパス（新潟県）
• [学会発表] コピュラによる2素子並列システムの従属故障モデルに関する一考察 (2013)
  • 著者名/発表者名: 影山孝夫,太田修平,木村光宏
  • 学会等名: 電子情報通信学会信頼性研究会
  • 発表場所: 機械振興会館(東京都)
  • 年月日: 2013-12-13
• [学会発表] A Note on Modeling of Quality Evaluation Based on Large Data Sets in Software Development Projects (2013)
  • 著者名/発表者名: T. Morita, K. Esaki, M. Kimura
  • 学会等名: 14th Asia Pacific Industrial Engineering and Management Systems Conference (APIEMS2013)
  • 発表場所: Radisson Blu Hotel(セブ島,フィリピン)
  • 年月日: 2013-12-05
• [学会発表] A Study on Estimating the Critical Stress Level of Explosives by Cumulative Shock Models (2013)
  • 著者名/発表者名: M. Kimura and K. Kimpara
  • 学会等名: 17th International Conference on Industrial Engineering : Theory, Applications and Practice (IJIE2013)
  • 発表場所: Busan National University (Busan, Korea)
  • 年月日: 2013-10-07
• [学会発表] A Bivariate Discrete Software Reliability Model by Farlie-Gumbel-Morgenstern Copula (2013)
  • 著者名/発表者名: M. Kimura, T. Sakaue, and T. Fujiwara
  • 学会等名: 8th International Conference on Mathematical Methods in Reliability (MMR2013)
  • 発表場所: Protea Hotel (Stellenbosch, South Africa)
  • 年月日: 2013-07-01
• [学会発表] 2チームによる2段階ソフトウェアテストに基づくテストスキルレベルと信頼性の評価法に関する考察 (2013)
  • 著者名/発表者名: 秦直道,木村光宏,藤原隆次
  • 学会等名: 電子情報通信学会信頼性研究会
  • 発表場所: グリーンヒルホテル尾道(広島県)
  • 年月日: 2013-05-17
• [学会発表] 離散 FGM コピュラを用いたソフトウェアテスト管理図 (2013)
  • 著者名/発表者名: 坂上敏樹,木村光宏,藤原隆次
  • 学会等名: 電子情報通信学会総合大会
  • 発表場所: 岐阜大学(岐阜県)
  • 年月日: 2013-03-22
• [学会発表] ソフトウェア開発プロジェクトデータによる信頼性予測-コネクショニストアプローチ (2013)
  • 著者名/発表者名: 嶋田遼平,木村光宏
  • 学会等名: 電子情報通信学会総合大会
  • 発表場所: 岐阜大学(岐阜県)
  • 年月日: 2013-03-22
• [学会発表] 2チームによる2段階ソフトウェアテストに基づくテストスキルレベルと信頼性の評価法に関する考察 (2013)
  • 著者名/発表者名: 秦直道，木村光宏，藤原隆次，井上智貴
  • 学会等名: 電子情報通信学会信頼性研究会
  • 発表場所: グリーンヒルホテル尾道（広島県）
• [学会発表] コピュラによる2素子並列システムの従属故障モデルに関する一考察 (2013)
  • 著者名/発表者名: 影山孝夫，太田修平，木村光宏
  • 学会等名: 電子情報通信学会信頼性研究会
  • 発表場所: 機械振興会館（東京都）
• [学会発表] A Study on Estimating the Critical Stress Level of Explosives by Cumulative Shock Models (2013)
  • 著者名/発表者名: Mitsuhiro Kimura and Kazuhiro Kimpara
  • 学会等名: 17th International Conference on Industrial Engineering: Theory, Applications and Practice (IJIE 2013)
  • 発表場所: Busan National University（Busan, Korea）
• [学会発表] A Note on Modeling of Quality Evaluation Based on Large Data Sets in Software Development Projects (2013)
  • 著者名/発表者名: Takayuki Morita, Kazuhiro Esaki, and Mistuhiro Kimura
  • 学会等名: 14th Asia Pacific Industrial Engineering and Management Systems Conference (APIEMS 2013)
  • 発表場所: Radisson Blu Hotel（Cebu, Philippines）
• [学会発表] A Bivariate Discrete Software Reliability Model by Farlie-Gumbel-Morgenstern Copula (2013)
  • 著者名/発表者名: Mitsuhiro Kimura, Toshiki Sakaue, and Takaji Fujiwara
  • 学会等名: 8th International Conference on Mathematical Methods in Reliability (MMR 2013)
  • 発表場所: Protea Hotel（Stellenbosch, South Africa）
• [学会発表] 離散FGMコピュラを用いたソフトウェアテスト管理図 (2013)
  • 著者名/発表者名: 坂上敏樹，木村光宏，藤原隆次
  • 学会等名: 電子情報通信学会総合大会講演論文集
  • 発表場所: 岐阜大学（岐阜県）
• [学会発表] ソフトウェア開発プロジェクトデータによる信頼性予測－コネクショニストアプローチ‐ (2013)
  • 著者名/発表者名: 嶋田遼平，木村光宏
  • 学会等名: 電子情報通信学会総合大会講演論文集
  • 発表場所: 岐阜大学（岐阜県）
• [学会発表] A Note on Static Software Reliability Models by GMDH : Comparison with a Multiple Regression Model (2012)
  • 著者名/発表者名: M. Kimura and R. Shimada
  • 学会等名: Proceedings of 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC2012)
  • 発表場所: Niigata Convention Center (新潟県)
  • 年月日: 2012-11-19
• [学会発表] ソフトウェア開発属性データを用いたニューラルネットワークによる潜在フォールト数の予測 (2012)
  • 著者名/発表者名: 嶋田遼平,木村光宏
  • 学会等名: 電子情報通信学会技術研究報告(信学技報)
  • 発表場所: 大阪中央電気倶楽部(大阪府)
  • 年月日: 2012-11-15
• [学会発表] A Static Software Reliability Model Considering Different Debugging Abilities for Two-Stage Testing By Two Teams (2012)
  • 著者名/発表者名: M. Kimura, T. Fujiwara, and N. Yasunobu
  • 学会等名: Proceedings of 5th Asia-Pacific International Symposium (APARM2012)
  • 発表場所: Nanjing Hotel (Nanjing, China)
  • 年月日: 2012-11-02
• [学会発表] 2段階ソフトウェアテストに基づくソフトウェア信頼性評価法について-静的モデルと動的モデルの併用- (2012)
  • 著者名/発表者名: 木村光宏,藤原隆次
  • 学会等名: 日本オペレーションズ・リサーチ学会秋季研究発表会
  • 発表場所: ウインクあいち(愛知県)
  • 年月日: 2012-09-12
• [学会発表] 開発属性データを用いた GMDH によるソフトウェアの信頼性予測に関する一考察 (2012)
  • 著者名/発表者名: 嶋田遼平,木村光宏
  • 学会等名: 電子情報通信学会信頼性研究会
  • 発表場所: 出雲グリーンホテルモーリス(島根県)
  • 年月日: 2012-05-25
• [学会発表] A Static Software Reliability Model Considering Different Debugging Abilities for Two-Stage Testing By Two Teams (2012)
  • 著者名/発表者名: M. Kimura, T. Fujiwara, and N. Yasunobu
  • 学会等名: Proceedings of 5th Asia-Pacific International Symposium (APARM 2012)
  • 発表場所: Nanjing Hotel (Nanjing, China)
• [学会発表] A Note on Static Software Reliability Models by GMDH: Comparison with a Multiple Regression Model (2012)
  • 著者名/発表者名: M. Kimura and R. Shimada
  • 学会等名: Proceedings of 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
  • 発表場所: Niigata Convention Center (Niigata, Japan)
• [学会発表] 開発属性データを用いたGMDHによるソフトウェアの信頼性予測に関する一考察 (2012)
  • 著者名/発表者名: 嶋田遼平，木村光宏
  • 学会等名: 電子情報通信学会技術研究報告（信学技報），R2012-05, pp. 5-10
  • 発表場所: 出雲グリーンホテルモーリス（島根県）
• [学会発表] ２段階テストに基づくソフトウェア信頼性評価法について－静的モデルと動的モデルの併用－ (2012)
  • 著者名/発表者名: 木村光宏，藤原隆次
  • 学会等名: 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集，pp. 94-95
  • 発表場所: ウインクあいち（愛知県）
• [学会発表] ソフトウェア開発属性データを用いたニューラルネットワークによる潜在フォールト数の予測 (2012)
  • 著者名/発表者名: 嶋田遼平，木村光宏
  • 学会等名: 電子情報通信学会技術研究報告（信学技報），R2012-11, pp. 1-6
  • 発表場所: 大阪中央電気倶楽部（大阪府）
• [学会発表] A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software (2011)
  • 著者名/発表者名: T. Fujiwara, M. Kimura, Y. Satoh, S. Yamada
  • 学会等名: Proceedings of 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC2011)
  • 発表場所: Pasadena, (California, USA)
  • 年月日: 2011-12-13
• [学会発表] A Note on Two-Stage Software Testing By Two Teams (2011)
  • 著者名/発表者名: M. Kimura and T. Fujiwara
  • 学会等名: Proceedings of 2011 International Conference on Advanced Software Engineering & Its Applications (ASEA2011)
  • 発表場所: Jeju Island, Korea
  • 年月日: 2011-12-09
• [学会発表] Yet Another Development Risk of Quality Software Utilizing OSS : From the view point of in-house lawyer (2011)
  • 著者名/発表者名: N. Hirai and M. Kimura
  • 学会等名: 22nd International Symposium on Software Reliability Engineering (ISSRE2011), Supplemental Proceedings
  • 発表場所: 広島国際会議場(広島県)
  • 年月日: 2011-11-29
• [学会発表] A Note on Structure Equation Modeling for Software Reliability Assessment Based on Review-Related Data (2011)
  • 著者名/発表者名: M. Kimura, T. Fujiwara and S. Yamada
  • 学会等名: Proceedings of 17 th ISSAT International Conference on Reliability and Quality in Design
  • 発表場所: (Vancouver, Canada
  • 年月日: 2011-08-06
• [学会発表] 爆薬に関する落槌感度試験における臨界ストレス値の浸透理論に基づく推定モデル (2011)
  • 著者名/発表者名: 木村光宏,福本聡
  • 学会等名: 電子情報通信学会信頼性研究会
  • 発表場所: 根室グランドホテル(北海道)
  • 年月日: 2011-07-29
• [学会発表] Optimal Replication Node Assignment in File Versioning Protocol to Assure Low Access Costs for Read Clients (2011)
  • 著者名/発表者名: S. Fukumoto and M. Kimura
  • 学会等名: Proceedings of 7th International Conference on Mathematical Methods in Reliability : Theory, Methods and Applications (MMR2011)
  • 発表場所: Beijing, China
  • 年月日: 2011-06-22
• [学会発表] Statistical Estimation of Critical Stress Level of Explosive Materials Based on Percolation Theory (2011)
  • 著者名/発表者名: M. Kimura and S. Fukumoto
  • 学会等名: Proceedings of 7th International Conference on Mathematical Methods in Reliability : Theory, Methods and Applications (MMR2011)
  • 発表場所: Beijing, China
  • 年月日: 2011-06-22
• [学会発表] Statistical estimation of critical stress level of explosive materials based on percolation theory
  • 著者名/発表者名: M. Kimura and S. Fukumoto
  • 学会等名: Proceedings of 7th International Conference on Mathematical Methods in Reliability: Theory, Methods and Applications (MMR2011)
  • 発表場所: Beijing, China
• [学会発表] Optimal replication node assignment in file versioning protocol to assure low access costs for read clients
  • 著者名/発表者名: S. Fukumoto, M. Ohara, and M. Kimura
  • 学会等名: Proceedings of 7th International Conference on Mathematical Methods in Reliability: Theory, Methods and Applications (MMR2011)
  • 発表場所: Beijing, China
• [学会発表] A note on structure equation modeling for software reliability assessment based on review-related data
  • 著者名/発表者名: M. Kimura, T. Fujiwara and S. Yamada
  • 学会等名: Proceedings of 17th ISSAT International Conference on Reliability and Quality in Design
  • 発表場所: Vancouver, Canada
• [学会発表] Yet another development risk of quality software utilizing OSS: From the view point of in-house lawyer
  • 著者名/発表者名: N. Hirai and M. Kimura
  • 学会等名: 22nd International Symposium on Software Reliability Engineering (ISSRE2011), Supplemental Proceedings
  • 発表場所: 広島国際会議場, Hiroshima, Japan
• [学会発表] A note on two-stage software testing by two teams
  • 著者名/発表者名: M. Kimura and T. Fujiwara
  • 学会等名: Proceedings of 2011 International Conference on Advanced Software Engineering & Its Applications (ASEA2011)
  • 発表場所: Juju, Korea
• [学会発表] A method of calculating safety integrity level for IEC 61508 conformity software
  • 著者名/発表者名: T. Fujiwara, M. Kimura, Y. Satoh, and S. Yamada
  • 学会等名: Proceedings of 2011 17th IEEE Pacific Rim International symposium on Dependable Computing (PRDC2011)
  • 発表場所: Pasadena, California, U.S.A.
• [学会発表] 爆薬に対する落槌感度試験における臨界ストレス値の浸透理論に基づく推定モデル
  • 著者名/発表者名: 木村光宏，福本聡
  • 学会等名: 電子情報通信学会技術研究報告（信学技報），R2011-22
  • 発表場所: 根室グランドホテル, 根室市
• [図書] ソフトウェアの信頼性 (2011)
  • 著者名/発表者名: 木村光宏,藤原隆次
  • 総ページ数: 225
  • 出版者: 日科技連出版社
• [図書] 高信頼化ソフトウェアのための開発手法ガイドブック (2011)
  • 著者名/発表者名: 木村光宏,他多数(分担執筆)
  • 総ページ数: 273
  • 出版者: IPA/SEC
• [図書] 高信頼化ソフトウェアのための開発手法ガイドブック（分担執筆） (2011)
  • 著者名/発表者名: 木村光宏
  • 総ページ数: 270
  • 出版者: IPA/SEC エンタプライズ系ソフトウェア開発力強化推進委員会
• [図書] ソフトウェアの信頼性（分担執筆） (2011)
  • 著者名/発表者名: 木村光宏，藤原隆次
  • 総ページ数: 211
  • 出版者: 日科技連出版社