Abstract
Based on the service orientation, a business service represents a coherent functionality that offers added value to the environment, regardless of how it is realized internally. The enterprise business service is a crucial section of enterprise architecture. Although many leading-edge enterprise architecture frameworks describe architecture in levels of abstraction, they still cannot provide an accurate syntactic and semantic description. If test cases are generated based on accurate descriptions of enterprise business services, the subsequent revisions and changes can be reduced. This research has one main contribution: it starts from the enterprise level, gains benefits from the enriched descriptions for enterprise business service, continues to generate appropriate syntactic and semantic models, and generates test cases from the formal model. In the suggested method, the goals of the enterprise will initially be extracted based on The Open Group Architecture Framework. Then, it will be subjected to syntactic modeling based on the ArchiMate language. Next, the semantics are added in terms of the Web Service Modeling Ontology framework and are manually formalized in B language by applying the defined transformation rules. Finally, the test coverage set will be examined on the formal model to generate test cases. The suggested method has been implemented in the marketing department of a petrochemical company. The results indicate the validity and efficiency of the method.














Similar content being viewed by others
Data availability
All data generated or analyzed during this study are included in this published article.
References
Zhou Z, Zhi Q, Morisaki S, Yamamoto S (2020) A systematic literature review on enterprise architecture visualization methodologies. IEEE Access 8:96404–96427. https://doi.org/10.1109/ACCESS.2020.2995850
Sharma S, Raja L, Bhatt DP (2020) Role of ontology in software testing. J Inf Optim Sci 41:641–649. https://doi.org/10.1080/02522667.2020.1733196
The Open Group (2022) The TOGAF® Standard, Version 9.2 Overview 1. Available at: https://www.opengroup.org/togaf.
The Open Group (2022) Archimate® 3.1 Specification. The Open Group 206. Retrieved from https://pubs.opengroup.org/architecture/togaf9-doc/arch/
Habibi E, Mirian-Hosseinabadi SH (2022) Generating test as a web service (TaaWS) through a method-based attribute grammar. Int J Softw Tools Technol Transfer. https://doi.org/10.1007/s10009-022-00649-z
Zakeriyan A, Khosravi R, Safari H, Khamespanah E (2021) Towards automatic test case generation for industrial software systems based on functional specifications. In: Hojjat H, Massink M (eds) Fundamentals of software engineering. FSEN 2021. Lecture notes in computer science(), vol 12818. Springer, Cham
W. Li (2021) Design and Implementation of Software Testing Platform for SOA-Based System,In: 2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS), pp. 1094–1098. https://doi.org/10.1109/ICCCS52626.2021.9449221
Leal L, Montecchi L, Ceccarelli A Martins E (2020) Using metamodels to improve model-based testing of service orchestrations, In: 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC), pp 130–139. https://doi.org/10.1109/PRDC50213.2020.00024. Orchestrations-2020
Bouafia K, Molnár B (2019) Analysis approach for enterprise information systems architecture based on hypergraph to aligned business process requirements. Procedia Comput Sci 164:19–24. https://doi.org/10.1016/j.procs.2019.12.149
Berziša S, Bravos G, Gonzalez TC et al (2015) Capability driven development: an approach to designing digital enterprises. Bus Inf Syst Eng 57:15–25. https://doi.org/10.1007/s12599-014-0362-0
Hinkelmann K, Laurenzi E, Martin A, Thönssen B (2018) Ontology-based metamodeling. In: Studies in systems, Decision and control Vol 141, Springer, pp 177–194. https://doi.org/10.1007/978-3-319-74322-6_12
Babkin EA, Ponomarev NO (2017) Analysis of the consistency of enterprise architecture models using formal verification methods. Business Informatics 3:30–40
Caetano A, Antunes G, Pombinho J, Bakhshandeh M, Granjo J, Borbinha J, da Silva MM (2017) Representation and analysis of enterprise models with semantic techniques: an application to ArchiMate, e3value and business model canvas. Knowl Inf Syst 50:315–346. https://doi.org/10.1007/s10115-016-0933-0
Hinkelmann K, Laurenzi E, Lammel B, Kurjakovic S, Woitsch R (2016) A semantically-enhanced modelling environment for business process as a service. In: Proceedings - 4th International Conference on Enterprise Systems: Advances in Enterprise Systems, ES 2016, pp 143–152 (Institute of Electrical and Electronics Engineers Inc., 2017). https://doi.org/10.1109/ES.2016.25
Hinkelmann K, Gerber A, Karagiannis D, Thoenssen B, Van Der Merwe A, Woitsch R (2016) A new paradigm for the continuous alignment of business and IT: combining enterprise architecture modelling and enterprise ontology. Comput Ind 79:77–86. https://doi.org/10.1016/j.compind.2015.07.009
de Bruijn J, Bussler C, Domingue J, et al. (2022) Web Service Modeling Ontology (WSMO). World Wide Web Consortium (W3C). Available at: https://www.w3.org/Submission/WSMO/. Accessed 2 Jan 2022.
Abrial JR (1996) The B-book: assigning programs to meanings. The Cambridge University Press
Funding
The authors received no funding or grants for their research.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Rahmanian, M., Nassiri, R., Mohsenzadeh, M. et al. Test case generation for enterprise business services based on enterprise architecture design. J Supercomput 79, 1877–1907 (2023). https://doi.org/10.1007/s11227-022-04742-7
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11227-022-04742-7