Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets

• Project/Area Number: 26730038
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Software
• Research Institution: Kagawa University
• Principal Investigator: Takagi Tomohiko 香川大学, 工学部, 講師 (70509124)
• Project Period (FY): 2014-04-01 – 2018-03-31
• Project Status: Completed (Fiscal Year 2017)
• Budget Amount: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000); Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
• Keywords: ソフトウェアテスト / ソフトウェア工学

Outline of Final Research Achievements

In this study, we defined EPN (Extended Place/transition Net) to represent the behavior of concurrent software in more detail. We constructed a technique to weight EPN based on various kinds of metrics, and techniques to calculate an extended mutation score, generate good test cases and mutant models. Additionally, we constructed a technique to generate good negative test cases from mutant models.

Research Products

• [Journal Article] Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example (2017)
  • Author(s): Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
  • Journal Title: Journal of Robotics, Networking and Artificial Life Volume: 4 Issue: 2 Pages: 168-174
  • DOI: 10.2991/jrnal.2017.4.2.14
  • Peer Reviewed / Open Access
• [Presentation] Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants (2018)
  • Author(s): Tomohiko Takagi, Tetsuro Katayama
  • Organizer: International Conference on Artificial Life and Robotics
• [Presentation] Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets (2018)
  • Author(s): Tomohiko Takagi, Shogo Morimoto
  • Organizer: International Conference on Artificial Life and Robotics
• [Presentation] Heuristic Test Case Generation Technique Using Extended Place/Transition Nets (2017)
  • Author(s): Tomohiko Takagi, Akinori Akagi, Tetsuro Katayama
  • Organizer: Applied Computing and Information Technology
• [Presentation] ペトリネットに基づくミュータントを用いたネガティブテストケースの作成 (2017)
  • Author(s): 高木 智彦
  • Organizer: 第16回情報科学技術フォーラム
• [Presentation] Development of a Tool for Extended Place/transition Net-Based Mutation Testing (2017)
  • Author(s): Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
  • Organizer: International Conference on Artificial Life and Robotics
  • Place of Presentation: Miyazaki, Japan
• [Presentation] 拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案 (2017)
  • Author(s): 高木 智彦, 赤木 章紀
  • Organizer: 情報処理学会第79回全国大会
  • Place of Presentation: 名古屋市
• [Presentation] Extended Mutation Score Based on Weighted Place/Transition Nets to Evaluate Test Suites (2016)
  • Author(s): Tomohiko Takagi, Tatsuki Teramoto
  • Organizer: 15th International Conference on Computer and Information Science
  • Place of Presentation: Okayama, Japan
• [Presentation] Partially Developed Coverability Graphs for Modeling Test Case Execution Histories (2016)
  • Author(s): Tomohiko Takagi, Keisuke Noda
  • Organizer: 15th International Conference on Computer and Information Science
  • Place of Presentation: Okayama, Japan
• [Presentation] Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software (2015)
  • Author(s): Tomohiko Takagi, Takuya Arao
  • Organizer: 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
  • Place of Presentation: Takamatsu, Japan
  • Year and Date: 2015-06-02
• [Presentation] プレース／トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案 (2015)
  • Author(s): 高木智彦
  • Organizer: 情報処理学会第77回全国大会
  • Place of Presentation: 京都
  • Year and Date: 2015-03-19