Test Case Generation: Specification-Based

Authored by: Man Fai Lau , Yuen Tak Yu , Pak-Lok Poon

Encyclopedia of Software Engineering

Print publication date:  November  2010
Online publication date:  November  2010

Print ISBN: 9781420059779
eBook ISBN: 9781351249270
Adobe ISBN:


 Download Chapter



Software is becoming increasingly important in our everyday life. Software testing is one of the many techniques adopted by software developers to ensure the quality of software. Selecting test cases that reveal software failures is crucial in software development activities. Recent industry best practices suggest “write test (cases) before code” and “write test (cases) for each new bug,” which indicate that test cases should be generated on the basis of specification as well as fault-based information. This is also in alignment with the aim of software testing as proposed by Myers—the execution of software with the intention of finding failures. This entry discusses specification-based test case generation, its advantages, and various specification-based test case generation techniques with an emphasis on those techniques that exploit the full potential of combining specification and fault-based information. Further potential areas along this direction are also discussed.

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.