要求に起因する欠陥の分類とソフトウェア開発プロセス定義の組み合わせに基づくソフトウェア開発組織における改善手法の提案

宮村純真 (1651105)


宇宙機(人工衛星やロケット)の開発および運用において,ソフトウェアの不具合はミッションの成功に対して大きな妨げとなっている. 本研究ではソフトウェア不具合の大きな原因となる,要求漏れに着目した. 実際に宇宙機で発生したソフトウェアの不具合を元に,欠陥の分類とソフトウェア開発プロセスの2つの観点から不具合の分類を行った. 欠陥の分類にはAvizienisらが提案している8つの観点による分類を用いた. ソフトウェア開発プロセスとしてJAXAが提供しているソフトウェア開発標準を使用した. この分類を行うことで,欠陥の傾向や,プロセス間の影響度合いが明確になり,今後の対策を議論するにあたり指標として活用することが期待される. 今回の分析法をJAXAのプロジェクトで適用したところ,欠陥の起点となるプロセスを発見できたことにより,今後新たなプロジェクトにおいて活用することが可能であると考える.