Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2021

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications

Abstract

High-capability software services, like transaction processing systems, need to satisfy a range of non-functional characteristics such as performance, availability, and scalability. To fulfill these needs, the core business logic is usually extended with a large amount of non-domain logic in the form of frameworks, libraries, and custom code, which sometimes cannot be cleanly separated from the domain logic. So, it is nearly impossible to generate test cases for the whole system systematically guided by structural metrics on the source code. In this paper, we propose a specification-based approach to generate test cases. In this approach, the domain logic is specified in a functional notation (based on Gallina). Test cases are generated using a search-based approach where the fitness function is defined in terms of the structural coverage of the specification (measured over an equivalent Haskell implementation). An experiment on an industrial stock exchange trading engine indicates promising results in the effectiveness of our proposed approach.
Fichier principal
Vignette du fichier
506725_1_En_14_Chapter.pdf (404.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04074508 , version 1 (19-04-2023)

Licence

Attribution

Identifiers

Cite

Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah. Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.199-214, ⟨10.1007/978-3-030-89247-0_14⟩. ⟨hal-04074508⟩
11 View
4 Download

Altmetric

Share

Gmail Facebook X LinkedIn More