クリティカル・システムに使う市販ソフトウェアの検証方法(3) ―― 検証記録に含めるべき事項を考える

本連載では，市販ソフトウェアの使用に際して求められるリスク分析や検証作業，市販ソフトウェアの検証記録の作り方について解説する．今回は，テストの基本を確認しつつ，検証記録に必要な事柄について解説する．（編集部） 技術解説・連載「クリティカル・システムに使う市販ソフトウェアの検証方法」 記事一覧 第1回 ソフトウェア品質論の推移とシステムの安全性確保の考え方 第2回 誰が，何をもって市販ソフトウェアが信頼できることを証明するのか 第3回 検証記録に含めるべき事項を考える 第4回 市販ソフトウェア・ベンダが提供する検証記録の内容 4．市販ソフトウェアの検証（リアルタイムOSを例に） ここからは，リアルタイムOSを例として，市販ソフトウェアの検証記録の作り方について解説していきます．リアルタイムOSを選んだ理由は，現在，多くの組み込み機器の重要な部分にリアルタイムOSが使用されており，リアルタイム