ESTP: An Experimental Software Testing Platform

Author

Feng, Xin ; Marr, Simon ; Callaghan, Tony O.

Author_Institution

Software Quality Res. Lab., Univ. of Limerick, Limerick

fYear

2008

fDate

29-31 Aug. 2008

Firstpage

59

Lastpage

63

Abstract

Most commercial software testing tools used in industry do not automatically generate test data even though many testing strategies have been proposed in academia. In this paper, we introduce a prototype software testing platform that we developed to automatically generate test data from tabular specifications. This method of documenting software specifications has been used successfully in industry to help produce reliable software. This platform can also be used to measure the effectiveness of new testing strategies.

Keywords

formal specification; program testing; software reliability; experimental software testing platform; prototype software testing; software reliability; software specifications; tabular specifications; Automatic testing; Computer industry; Data engineering; Design engineering; Documentation; Genetic mutations; Laboratories; Software prototyping; Software quality; Software testing; Test case constraint; constraint solver; mutation testing; tabular expression;

fLanguage

English

Publisher

ieee

Conference_Titel

Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference

Conference_Location

Windsor

Print_ISBN

978-0-7695-3383-4

Type

conf

DOI

10.1109/TAIC-PART.2008.8

Filename

4670302