トップ研究者を探すペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価

ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価

KAKEN 科学研究費助成事業データベース で見る
研究課題番号 KAKENHI-PROJECT-26730038
研究種目 若手研究(B)
研究分野 総合系
情報学
計算基盤
ソフトウェア
研究機関 香川大学
代表研究者 高木 智彦
研究期間 開始年月日 2014/4/1
研究期間 終了年度 2017
研究ステータス 完了 (2017/4/1)
配分額(合計) 2,600,000 (直接経費 :2,000,000、間接経費 :600,000)
配分額(履歴) 2016年度:780,000 (直接経費 :600,000、間接経費 :180,000)
2015年度:1,040,000 (直接経費 :800,000、間接経費 :240,000)
2014年度:780,000 (直接経費 :600,000、間接経費 :180,000)
キーワード ソフトウェアテスト
ソフトウェア工学

研究成果

[学会発表] Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants

Tomohiko Takagi, Tetsuro Katayama 2018

[学会発表] Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets

Tomohiko Takagi, Shogo Morimoto 2018

[学会発表] Heuristic Test Case Generation Technique Using Extended Place/Transition Nets

Tomohiko Takagi, Akinori Akagi, Tetsuro Katayama 2017

[学会発表] 拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案

高木 智彦, 赤木 章紀 2017

[雑誌論文] Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example

Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama 2017

[学会発表] Development of a Tool for Extended Place/transition Net-Based Mutation Testing

Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama 2017

[学会発表] ペトリネットに基づくミュータントを用いたネガティブテストケースの作成

高木 智彦 2017

[学会発表] Extended Mutation Score Based on Weighted Place/Transition Nets to Evaluate Test Suites

Tomohiko Takagi, Tatsuki Teramoto 2016

[学会発表] Partially Developed Coverability Graphs for Modeling Test Case Execution Histories

Tomohiko Takagi, Keisuke Noda 2016

[学会発表] プレース/トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案

高木智彦 2015

[学会発表] Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software

Tomohiko Takagi, Takuya Arao 2015