A formal engineering approach to service-based software modeling and integration testing
Weikai Miao · Institutional Repositories DataBase (IRDB) · 2013
With the increasing popularity of service-based software in recent years, engineering methods for developing high quality service-based systems is highly demanded which are expected to support the essential engineering processes of system modeling, web service selection and system testing. However, few systematic methods that unify the above three essential activities are available, and the present supporting technologies of these three activities are still not satisfactory. In order to tackle this challenge, this paper proposes a formal engineering approach that integrates precise system modeling, accurate service selection and rigorous system integration testing. It includes a unified three-step formal engineering framework for interactive service-based system modeling and existing service adoption, a service selection method that combines both static matching and specification-based conformance testing and a formal specification-based integration testing method. We have also developed a prototype tool that supports the proposed engineering framework. An empirical case study and corresponding experiments are conducted to show the feasibility of the proposed approach.