클라우드 서비스는 다양한 단위 서비스들의 조합을 통해 구성되는 조합 서비스로써, 인터넷과 네트워크 환경을 통해 제공되는 서비스를 말한다. 클라우드 서비스가 사용자의 업무를 지원하기 위해서는 정확한 단위 서비스들의 조합이 필요하다. 즉 서비스 조합의 오류로 인해 사용자의 서비스 이용에 중단이 없어야 하며, 요구하는 경과를 정확하게 제공해야 한다. 따라서 클라우드 서비스의 정확성을 보장하기 위해서는 조합된 서비스가 사용자의 비즈니스 프로세스에 따라 올바르게 동작하는지를 검증해야 한다. 본 논문은 클라우드 환경에서 제공하는 단위 서비스들의 조합에 대한 오류를 찾기 위한 뮤턴트 생성 규칙을 제안한다. 제안하는 내용은 서비스의 조합을 표현하는 Web Service Business Process Execution Language를 대상으로 구조적 액티비티의 뮤턴트 생성 규칙이며, 뮤턴트 생생 대상을 줄여 비용을 감소시킬 수 있는 장점을 제공한다.
The cloud services are composite services that consist of web services provided by service providers in internet or network environment. To provide accurate results of the services, cloud services have to ensure the accuracy of service composition as well as accurate execution of unit services. Especially, the errors caused by service composition can lead serious problems related with accuracy even if the unit services are operated correctly. Therefore, a testing technique which can verify operational correctness of service composition based on business process is required. In this paper, we propose a mutant deduction rules to discover errors inherent to the composition of services. Our proposing rules are structure based rules aiming Web Service BPEL(Business Process Execution Language) and can reduce mutant deduction cost.
