日本大学理工学部
2016 年 38 巻 2 号 p. 108-112
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
ソフトウエアの重要性が増す中で,ソフトウエアテストはますます重要になってきている.しかしながら,システムが複雑化する中で,ソフトウエアテストの実施も様々な課題がでてきている.本稿では,安全性保証の観点からのソフトウエアテストの課題を議論する.特に筆者が日本での紹介を進めている,アシュアランスケース(assurance cases)を用いた,ソフトウエアテストの,システム保証における活用事例を紹介する.
すでにアカウントをお持ちの場合 サインインはこちら