著者

Artho Cyrille

出版者

奈良先端科学技術大学院大学

巻号頁・発行日

2015-10-26

---

IoTや組込み機器など、ソフトウェアが社会基盤を支える時代に必要となるソフトウェアの信頼性を確保する手法について、基本的な考え方を整理し、どのような形で技術を組み合わせて適用すべきかを考える。また、検証技術とソフトウェアのテスト技術を組み合わせて応用する技法について解説する。