Digital Library of Nara Institute of Science and Technology

Help Japanese
Login Exit

Search Result in Detail : Video

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

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

大岩寛, Cyrille Artho

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

Related materials

  Volume Printing year Location Call Number Material ID Circulation class Status Waiting
1 MPMeister   Digital Library LA-I-R[Flash][Mobile] M011872   0
Contents Intro. : ソフトウェア信頼性の考え方、研究、そして実際のソフトウェア開発プロセスでの取扱い方について紹介する。最初に、問題の概観を説明するとともに、近年はメモリ破壊や並列動作の問題など、プログラムの出力には直ちに現れないような欠陥を調べるような技法が多く開発されており、ソフトウェア検証、モデル検査、プログラミング言語処理系による対策など、いくつかの対策技法についてその概要を紹介する。
Publication year : 2014
Form : 電子化映像資料(1時間31分20秒)
Alternative title :

Software Reliability and Test-based Software Verification

Series title :

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

Note :

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

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

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

Country of publication : Japan
Title language : Japanese (jpn)
Language of texts : Japanese (jpn)
Author information :

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

Artho, Cyrille