Skip to Main content Skip to Navigation
Journal articles

Conversion of abstract behavioral scenarios into scenarios applicable for testing

Abstract : In this article, an approach of detailing verified test scenarios for developed software system without losing the model's semantics is proposed. Existing problem of generating test cases for real software systems is solved by using multi-level paradigm to obtain the real system signals, transactions and states. Because of this, the process is divided into several steps. Initial abstract traces (test cases) with symbolic values are generated from the verified behavioral model of software product. On the next step, called concretization, these values in test scenarios are replaced with concrete ones. Resulting concrete traces are then used as input for the next step, data structures conversion. This step is needed because concrete traces do not contain all the information for communicating with developed software and presented in another way with different data structures. After concrete test scenarios are detailed, they can be used for generation of executable test cases for informational and control systems. In this paper, a software tool is suggested for detailing test scenarios. It consists of several modules: a Lowering editor that allows user to create rules of detailing a signal, a Signals editor used to define complex data structures inside the signal and a Templates editor that eases work with similar signals. Process of translating abstract data structures into detailed data structures used in system implementation is presented with examples.
Document type :
Journal articles
Complete list of metadata

https://hal-utt.archives-ouvertes.fr/hal-03323267
Contributor : Jean-Baptiste Vu Van Connect in order to contact the contributor
Submitted on : Friday, August 20, 2021 - 4:20:02 PM
Last modification on : Thursday, September 16, 2021 - 3:27:34 AM

Links full text

Identifiers

Collections

Citation

Pavel Drobintsev, V Kotlyarov, Igor Nikiforov, Nikita Voinov, I Selin. Conversion of abstract behavioral scenarios into scenarios applicable for testing. Proceedings of the Institute for System Programming of the RAS (ISP RAS), 2016, 28, pp.145 - 160. ⟨10.15514/ispras-2016-28(3)-9⟩. ⟨hal-03323267⟩

Share

Metrics

Record views

11