본문 바로가기
  • Home

Script-based Test System for Rapid Verification of Atomic Models in Discrete Event System Specification Simulation

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2022, 27(5), pp.101-107
  • DOI : 10.9708/jksci.2022.27.05.101
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science
  • Received : March 17, 2022
  • Accepted : April 25, 2022
  • Published : May 31, 2022

Su-Man Nam 1

1(주)두두아이티

Accredited

ABSTRACT

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

Citation status

* References for papers published after 2022 are currently being built.

This paper was written with support from the National Research Foundation of Korea.