| ゼミナールI講演 |
|---|
| 日時(Date)： | 平成27年10月26日(月)3限 (13:30 -- 15:00) Mon., Oct. 26th, 2015 (3rd Period, 13:30 -- 15:00) |
|---|---|
| 場所(Location)： | L1 |
| 司会(Chair)： | 伊原彰紀 (Akinori Ihara) |
| 講演者(Presenter)： | 大岩寛（産業技術総合研究所） Yutaka Oiwa (National Institute of Advanced Industrial Science and Technology) Cyrille Artho（産業技術総合研究所, National Institute of Advanced Industrial Science and Technology） |
|---|---|
| 題目(Title)： | ソフトウェア信頼性とテスト指向のソフトウェア検証 Software Dependability and Test-based Software Verification |
| 概要(Abstract)： | IoTや組込み機器など、ソフトウェアが社会基盤を支える時代に必要となるソフトウェアの信頼性を確保する手法について、基本的な考え方を整理し、どのような形で技術を組み合わせて適用すべきかを考える。また、検証技術とソフトウェアのテスト技術を組み合わせて応用する技法について解説する。 |