Journal of Robotics, Networking and Artificial Life

<Previous Article In Issue
Next Article In Issue>
Volume 8, Issue 2, September 2021, Pages 112 - 116

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens

Authors
Tomohiko Takagi1, *, Ryo Kurozumi2
1Department of Engineering and Design, Faculty of Engineering and Design, Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi, Kagawa 761-0396, Japan
2Division of Reliability-based Information Systems Engineering, Graduate School of Engineering, Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi, Kagawa 761-0396, Japan
*Corresponding author. Email: takagi@eng.kagawa-u.ac.jp
Corresponding Author
Tomohiko Takagi
Received 25 November 2020, Accepted 11 May 2021, Available Online 21 July 2021.
DOI
10.2991/jrnal.k.210713.009How to use a DOI?
Keywords
Formal specifications; place/transition net; VDM; simulation; regression testing
Abstract

We propose a technique of simulation and regression testing for Extended Place/transition Net with Attributed Tokens (EPNAT) models, and then show a prototype tool to partially support it. In the technique, the information about a current marking, current values of variables, and current fireable transitions is indicated to assist engineers in finding faults and selecting next transitions to be fired for the simulation. Also, 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. A preliminary experiment using simple software requirements has been carried out to discuss the effectiveness of the proposed technique.

Copyright
© 2021 The Authors. Published by Atlantis Press International B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)
View full text (HTML)

<Previous Article In Issue
Next Article In Issue>
Journal
Journal of Robotics, Networking and Artificial Life
Volume-Issue
8 - 2
Pages
112 - 116
Publication Date
2021/07/21
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
10.2991/jrnal.k.210713.009How to use a DOI?
Copyright
© 2021 The Authors. Published by Atlantis Press International B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

risenwbib
TY  - JOUR
AU  - Tomohiko Takagi
AU  - Ryo Kurozumi
PY  - 2021
DA  - 2021/07/21
TI  - Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 112
EP  - 116
VL  - 8
IS  - 2
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.k.210713.009
DO  - 10.2991/jrnal.k.210713.009
ID  - Takagi2021
ER  -