奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : ビデオ

ソフトウェア信頼性とテスト指向のソフトウェア検証 MPMeister

ソフトウェア シンライセイ ト テスト シコウ ノ ソフトウェア ケンショウ

大岩寛, Cyrille Artho

生駒 : 奈良先端科学技術大学院大学, 2014.4

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 MPMeister   電子化情報 LA-I-R[Flash][Mobile] M011872   0
内容紹介 : ソフトウェア信頼性の考え方、研究、そして実際のソフトウェア開発プロセスでの取扱い方について紹介する。最初に、問題の概観を説明するとともに、近年はメモリ破壊や並列動作の問題など、プログラムの出力には直ちに現れないような欠陥を調べるような技法が多く開発されており、ソフトウェア検証、モデル検査、プログラミング言語処理系による対策など、いくつかの対策技法についてその概要を紹介する。
刊年 : 2014
形態 : 電子化映像資料(1時間31分20秒)
別書名 :

Software Reliability and Test-based Software Verification

シリーズ名 :

情報科学研究科・ゼミナール講演 ; 平成26年度

注記 :

講演者所属: 奈良先端科学技術大学院大学情報科学研究科セキュアソフトウェアシステム研究室

講演日: 平成26年5月19日

講演場所: 情報科学研究科大講義室L1

標題言語 : (jpn)
本文言語 : (jpn)
著者情報 :

大岩, 寛 (オオイワ, ユタカ)

Artho, Cyrille