How well are your requirements tested?
Paper i proceeding, 2016

We address the question: to what extent does covering requirements ensure that a test suite is effective at revealing faults? To answer it, we generate minimal test suites that cover all requirements, and assess the tests they contain. They turn out to be very poor-ultimately because the notion of covering a requirement is more subtle than it appears to be at first. We propose several improvements to requirements tracking during testing, which enable us to generate minimal test suites close to what a human developer would write. However, there remains a class of plausible bugs which such suites are very poor at finding, but which random testing finds rather easily.

Software Engineering

Engineering

Computer Science

Electrical & Electronic

Författare

John Hughes

Chalmers, Data- och informationsteknik, Programvaruteknik

Thomas Arts

Quviq Ab

Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016

244-254 7515476

Styrkeområden

Informations- och kommunikationsteknik

Drivkrafter

Hållbar utveckling

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

10.1109/ICST.2016.23

ISBN

978-1-5090-1826-0