@techreport{oai:ipsj.ixsq.nii.ac.jp:00233458,
 author = {浅地, 泰斗 and 土屋, 達弘 and Taito, Asaji and Tatsuhiro, Tsuchiya},
 issue = {27},
 month = {Mar},
 note = {セーフティクリティカルシステムの設計・運用では，障害が人命や身体への危害に関わるため，システムの信頼度の見積りが重要となる．本研究では信頼度計算プログラムの開発において，プログラムの正しさをテストする手法を提案する．具体的には，メタモルフィックテストという，出力の正しさが分からない場合でも，複数の入出力上の関係からエラーを検出する手法を利用する．２つの信頼度計算プログラムそれぞれに提案手法を適用した結果を示す．},
 title = {ネットワーク信頼度計算プログラムに対するメタモルフィックテスト\n},
 year = {2024}
}