• Top
  • Details (Local collection)
ソフトウェア信頼性とテスト指向のソフトウェア検証

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

TOC

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

大岩寛, Cyrille Artho

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

Lecture Archive

Volume No.

Total: 1
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • LA-I-R[MPDASH][Mobile]

M011872

Contents Intro.

ソフトウェア信頼性の考え方、研究、そして実際のソフトウェア開発プロセスでの取扱い方について紹介する。最初に、問題の概観を説明するとともに、近年はメモリ破壊や並列動作の問題など、プログラムの出力には直ちに現れないような欠陥を調べるような技法が多く開発されており、ソフトウェア検証、モデル検査、プログラミング言語処理系による対策など、いくつかの対策技法についてその概要を紹介する。

Details

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