Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Shogo MORIMOTO"'
Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets
Autor:
Shogo Morimoto, Tomohiko Takagi
Publikováno v:
Proceedings of International Conference on Artificial Life and Robotics. 23:517-521
Publikováno v:
Journal of Robotics, Networking and Artificial Life (JRNAL), Vol 5, Iss 4 (2019)
This paper describes an animated graphics-based training support method for bug fixing of Extended Place/transition Nets (EPNs), and illustrates a prototype tool that the core of the method has been implemented into. The prototype tool gives a traine
Publikováno v:
Proceedings of International Conference on Artificial Life and Robotics. 22:266-270
Autor:
Shogo Morimoto, Tomohiko Takagi
Publikováno v:
Journal of Robotics, Networking and Artificial Life (JRNAL), Vol 5, Iss 2 (2018)
An EPN (Extended Place/transition Net) is used as a formal model that represents the behavior of software. When mutation testing is performed based on the EPN, failures are intentionally inserted into an original EPN (EPN that represents the expected
Publikováno v:
Journal of Robotics, Networking and Artificial Life (JRNAL), Vol 4, Iss 2 (2017)
International Journal of Computational Intelligence Systems, Vol 4, Iss 2, Pp 168-174 (2017)
International Journal of Computational Intelligence Systems, Vol 4, Iss 2, Pp 168-174 (2017)
This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents th
Publikováno v:
Journal of the Atomic Energy Society of Japan / Atomic Energy Society of Japan. 42:146-177
Publikováno v:
Tetsu-to-Hagane. 72:1590-1597