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

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

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

山﨑雅也

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

学位論文

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R013375

2

  • [IS]2016(16)

禁帯出

詳細情報

刊年

2017

別書名

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

シリーズ名

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

注記

学位記番号: 修第7032号

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

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

学生番号: 1551112

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

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

件名

宇宙機ソフトウェア

直交欠陥分類法

ソフトウェアテスト

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

Concolic Testing