Test case generation for enterprise business services based on enterprise architecture design

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.