An Automated (F) LTL Test Oracle for Testing with Requirements

2016 ◽  
Author(s):  
Ingo Pill ◽  
Franz Wotawa
Keyword(s):  
Test Oracle

scholarly journals A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles

2012 ◽  
Vol 9 (1) ◽  
pp. 51-73 ◽  
Author(s):  
Chang-ai Sun ◽  
Guan Wang ◽  
Baohong Mu ◽  
Huai Liu ◽  
ZhaoShun Wang ◽  
...  
Keyword(s):  
Web Services ◽  
Service Oriented Architecture ◽  
Basic Unit ◽  
Application Development ◽  
Test Technique ◽  
Test Oracle ◽  
Efficient Test ◽  
Service Oriented ◽  
Major Application ◽  
Development Paradigm

Service Oriented Architecture (SOA) has become a major application development paradigm. As a basic unit of SOA applications, Web services significantly affect the quality of the applications constructed from them. In the context of SOA, the specification and implementation of Web services are completely separated. The lack of source code and the restricted control of Web services limit the testability of Web services, and make the oracle problem prominent. In this context, can one alleviate the test oracle problem, or effectively and efficiently test such Web services even without oracles? It is an important issue which has not been yet adequately addressed. To address the challenge of testing Web services, the authors propose a metamorphic relation-based approach to testing Web services without oracles. The proposed approach leverages so-called metamorphic relations to generate test cases and evaluate test results. To make the proposed approach practical and effective, the authors proposed a framework taking into account the unique features of SOA, and developed a prototype which partially automates the framework. Three case studies are conducted to validate the feasibility and effectiveness of the proposed approach. The work presented in the paper not only alleviates the test oracle problem of testing Web services, but also delivers an effective and efficient test technique without oracles.

Improving State Invariant Test Oracle Strategy using Mutation Analysis

2018 ◽  
Vol 61 (2) ◽  
pp. 11-116
Author(s):  
M. Venkata Hari Prakash ◽  
◽  
A.Ananda Rao ◽  
P. Radhika Raju
Keyword(s):  
Mutation Analysis ◽  
Test Oracle ◽  
Invariant Test
Sign in / Sign up

Export Citation Format

Share Document