Title :
ESTP: An Experimental Software Testing Platform
Author :
Feng, Xin ; Marr, Simon ; Callaghan, Tony O.
Author_Institution :
Software Quality Res. Lab., Univ. of Limerick, Limerick
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;
Conference_Titel :
Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference
Conference_Location :
Windsor
Print_ISBN :
978-0-7695-3383-4
DOI :
10.1109/TAIC-PART.2008.8
