2024-03-28T19:40:36Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000211582023-04-27T10:00:04Z01164:01384:01390:01394
クリティカルソフトウェアに対するIV&V:Independent Verification and ValidationIV&V:Independent Verification and Validation for Critical Softwarejpnhttp://id.nii.ac.jp/1001/00021158/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=21158&item_no=1&attribute_id=1&file_no=1Copyright (c) 2007 by the Information Processing Society of Japan有人宇宙システム株式会社有人宇宙システム株式会社有人宇宙システム株式会社宇宙航空研究開発機構宇宙航空研究開発機構宇宙航空研究開発機構加藤, 淳星野, 伸行片平, 真史石濱, 直樹宮本, 祐子神武, 直彦我々は,国際宇宙ステーションに代表される有人宇宙ミッション,社会と密接に係わる観測衛星,通信衛星などのクリティカルシステムに対し,ソフトウェアIV&VIndependent Verification and Validation(独立検証及び有効性確認)を実施している.ソフトウェアIV&Vとは,発注元やメーカ等の開発組織に対し,組織的・予算的・技術的に独立した立場で,ソフトウェア開発におけるリスクを低減し,品質を向上させる活動である.本稿では,ソフトウェアIV&Vとその評価手法について説明し,適用事例を紹介する.そして,我々が適用する評価手法に対して考察を行う.We perform the Software IV&V : Independent Verification and Validation for the Critical Software about the Manned Space Mission and Observation or Communication Satellites. The Software IV&V is activity that reduces risks and improves the quality in the software development and we take a stance of managerial, financial, and technical independence. In this paper, we show the Software IV&V and methods that we adopt and introduce the application experience. And we consider our methods.AN10112981情報処理学会研究報告ソフトウェア工学(SE) 200733(2007-SE-155)81872007-03-222009-06-30