• Top
  • Details (Local collection)
高信頼性ソフトウェア検証における不具合の分類結果に基づいた単体テストケース自動生成の適用及び改善

高信頼性ソフトウェア検証における不具合の分類結果に基づいた単体テストケース自動生成の適用及び改善

コウシンライセイ ソフトウェア ケンショウ ニ オケル フグアイ ノ ブンルイ ケッカ ニ モトズイタ タンタイ テスト ケース ジドウ セイセイ ノ テキヨウ オヨビ カイゼン

山﨑雅也

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

Thesis / Diss.

Volume No.

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

1

R013375

2

  • [IS]2016(16)

Restricted

Details

Publication year

2017

Alternative title

Application and Improvement of Automatic Generation of Unit Test Cases based on Classification Results of Defects in Highly Reliable Software Verification

Series title

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2017年3月

Note

学位記番号: 修第7032号

学位授与年月日: 2017/03/24

学位の種類: 修士(工学)

学生番号: 1551112

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

山﨑, 雅也 (ヤマザキ, マサヤ)

Subject

宇宙機ソフトウェア

直交欠陥分類法

ソフトウェアテスト

自動単体テストケース生成

Concolic Testing