• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 26730038
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionKagawa University

Principal Investigator

Takagi Tomohiko  香川大学, 工学部, 講師 (70509124)

Project Period (FY) 2014-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥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.

Report

(5 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (11 results)

All 2018 2017 2016 2015

All Journal Article (1 results) (of which Peer Reviewed: 1 results,  Open Access: 1 results) Presentation (10 results)

  • [Journal Article] Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example2017

    • 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

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Presentation] Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants2018

    • Author(s)
      Tomohiko Takagi, Tetsuro Katayama
    • Organizer
      International Conference on Artificial Life and Robotics
    • Related Report
      2017 Annual Research Report
  • [Presentation] Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets2018

    • Author(s)
      Tomohiko Takagi, Shogo Morimoto
    • Organizer
      International Conference on Artificial Life and Robotics
    • Related Report
      2017 Annual Research Report
  • [Presentation] Heuristic Test Case Generation Technique Using Extended Place/Transition Nets2017

    • Author(s)
      Tomohiko Takagi, Akinori Akagi, Tetsuro Katayama
    • Organizer
      Applied Computing and Information Technology
    • Related Report
      2017 Annual Research Report
  • [Presentation] ペトリネットに基づくミュータントを用いたネガティブテストケースの作成2017

    • Author(s)
      高木 智彦
    • Organizer
      第16回情報科学技術フォーラム
    • Related Report
      2017 Annual Research Report
  • [Presentation] Development of a Tool for Extended Place/transition Net-Based Mutation Testing2017

    • Author(s)
      Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
    • Organizer
      International Conference on Artificial Life and Robotics
    • Place of Presentation
      Miyazaki, Japan
    • Related Report
      2016 Research-status Report
  • [Presentation] 拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案2017

    • Author(s)
      高木 智彦, 赤木 章紀
    • Organizer
      情報処理学会第79回全国大会
    • Place of Presentation
      名古屋市
    • Related Report
      2016 Research-status Report
  • [Presentation] Extended Mutation Score Based on Weighted Place/Transition Nets to Evaluate Test Suites2016

    • Author(s)
      Tomohiko Takagi, Tatsuki Teramoto
    • Organizer
      15th International Conference on Computer and Information Science
    • Place of Presentation
      Okayama, Japan
    • Related Report
      2016 Research-status Report
  • [Presentation] Partially Developed Coverability Graphs for Modeling Test Case Execution Histories2016

    • Author(s)
      Tomohiko Takagi, Keisuke Noda
    • Organizer
      15th International Conference on Computer and Information Science
    • Place of Presentation
      Okayama, Japan
    • Related Report
      2016 Research-status Report
  • [Presentation] Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software2015

    • 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
    • Related Report
      2015 Research-status Report
  • [Presentation] プレース/トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案2015

    • Author(s)
      高木智彦
    • Organizer
      情報処理学会第77回全国大会
    • Place of Presentation
      京都
    • Year and Date
      2015-03-19
    • Related Report
      2014 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi