- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Simulation and Regression Testing for Behavior of Software Models Based on Extended Place/Transition Net with Attributed Tokens
-
- Takagi Tomohiko
- Faculty of Engineering and Design, Kagawa University
-
- Kurozumi Ryo
- Graduate School of Engineering, Kagawa University
Description
We propose a technique of simulation and regression testing for Extended Place/transition Net with Attributed Tokens (EPNAT) models, and then show an early prototype tool to partially support it. In the technique, the information about a current marking (a current distribution of attributed tokens, including current values of attributes), current values of global variables, and current fireable transitions is indicated for the simulation, and also the good execution traces in the simulation are recorded as test cases for the regression testing. When an EPNAT model is modified, the test cases can be applied to it in order to reveal regression failures.
Journal
-
- Proceedings of International Conference on Artificial Life and Robotics
-
Proceedings of International Conference on Artificial Life and Robotics 26 336-339, 2021-01-21
ALife Robotics Corporation Ltd.
- Tweet
Details 詳細情報について
-
- CRID
- 1390851175705117568
-
- ISSN
- 21887829
-
- Text Lang
- en
-
- Data Source
-
- JaLC
- Crossref
- OpenAIRE
-
- Abstract License Flag
- Disallowed