Testing the Adherence of Enterprise Web Applications to Transactional Patterns

Software technology has become essential to business today and most companies use computational systems at least to advertise their products to market. Powered by the Internet, information quickly flows throw systems and Web Services provide a standard way to meet these objectives with the use of common communication patterns, like XML and HTTP. The use of Web Services brings many benefits but, at the same time, problems related to reliability, availability and other non-functional issues may arise due to their flexibility and interoperability features. Transactional patterns are an alternative to address such problems at the design level. This paper presents a systematic approach to check the correct use of those patterns by applying perturbation and mutation testing techniques.