A hybrid testing environment between model checker and emulator for embedded devices - Construction and evaluation of the environment through application to product development -

九州工業大学博士学位論文 学位記番号: 情工博甲第348号 学位授与年月日:令和2年3月25日第1章 序論|第2章 SPLEにおける回帰テストの現状と課題|第3章 組込み機器のための統合テスト実行環境|第4章 モデル検査技術とエミュレーション技術の融合|第5章 エミュレーション技術を活用したテスト関連作業の効率化|第6章 テストケースの部品化による実行可能なテストケースの資産化支援|第7章 製品適用によるテスト効率化の評価|第8章 結論九州工業大学令和元年