Constructing an automated testing oracle: an effort to produce reliable software

Luqi,; Yang, Hongji; Yang, Xiaodong

doi:10.1109/cmpsac.1994.342800

Cited by 4 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• Theorem proving -Theorem proving tools are good at providing formal proofs of properties with respect to a formal specification. They can be used to prove the disjointness and completeness of the partitions on an input domain for appropriate test selection purposes [14]. This is helpful to ensure the correctness of the selected test input space.…”

Section: Formal Specification Based Testingmentioning

confidence: 99%

Towards Specification Based Testing for Semantic Web Services

Jokhio

Dobbie

Sun

2009

2009 Australian Software Engineering Conference

View full text Add to dashboard Cite

Web services have become popular in the modern infrastructure of the World Wide Web. They aim to provide automatic discovery, selection, and invocation of required applications (services) across the internet. However, the quality assurance aspects of web services remain a challenge. Recently, the semantic web has been introduced as an emerging technology which emphasizes presenting the meaning of the web content to achieve a machine processable automation. In this paper, we explore the synergy of applying specification based software testing techniques to semantic web services. Our approach investigates the possibility of deriving concrete test cases from the goal specification of a semantic web service in order to determine the correctness of a service implementation. Furthermore, we also propose coverage criteria to evaluate the generated test cases at both the goal and the service description levels. We demonstrate the generation and evaluation of the test cases from a goal specification with the help of a simplified discount example.

show abstract

Section: Formal Specification Based Testingmentioning

confidence: 99%

Towards Specification Based Testing for Semantic Web Services

Jokhio

Dobbie

Sun

2009

2009 Australian Software Engineering Conference

View full text Add to dashboard Cite

show abstract

“…This project is looking at ways to generate tests from speci cations others, such a s L i e t a l . , h a ve b e e n d e v eloping techniques for creating expected output from speci cations 25,20,28].…”

Section: Introductionmentioning

confidence: 99%

Criteria for generating specification-based tests

Offutt

Xiong

Liu

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)

View full text Add to dashboard Cite

This paper presents general criteria for generating test inputs from state-based s p eci cations. Software testing can only be formalized and quanti ed w h e n a solid basis for test generation can be d e n e d. Formal speci cations of complex systems represent a signicant opportunity for testing because they precisely describe what functions the software i s s u p p osed t o p r ovide in a form that can easily be manipulated. These techniques provide coverage criteria that are b ased o n the speci cations, and are made up of several parts, including test pre xes that contain inputs necessary to put the software into the appropriate state for the test values. The test generation process includes several steps for transforming speci cations to tests. Empirical results from a comparative case study application of these criteria are p r esented.

show abstract

“…They have been used as a basis for test case generation, to check the output of software on test inputs [32,40,42], and as a basis for formalizing test specifications (as opposed to functional specifications) [50,51,52]. This paper is primarily concerned with the first use, that of generating test cases from specifications, commonly referred to as specification-based testing.…”

Section: Introductionmentioning

confidence: 99%