目次あり
ソフトウェア シンライセイ ト テスト シコウ ノ ソフトウェア ケンショウ
大岩寛, Cyrille Artho
生駒 : 奈良先端科学技術大学院大学, 2014.4
授業アーカイブソフトウェア信頼性の考え方、研究、そして実際のソフトウェア開発プロセスでの取扱い方について紹介する。最初に、問題の概観を説明するとともに、近年はメモリ破壊や並列動作の問題など、プログラムの出力には直ちに現れないような欠陥を調べるような技法が多く開発されており、ソフトウェア検証、モデル検査、プログラミング言語処理系による対策など、いくつかの対策技法についてその概要を紹介する。
2014
電子化映像資料(1時間31分20秒)
Software Reliability and Test-based Software Verification
情報科学研究科・ゼミナール講演 ; 平成26年度
講演者所属: 奈良先端科学技術大学院大学情報科学研究科セキュアソフトウェアシステム研究室
講演日: 平成26年5月19日
講演場所: 情報科学研究科大講義室L1
日本語 (jpn)
日本語 (jpn)
大岩, 寛 (オオイワ, ユタカ)
