tailieunhanh - TOWARDS AUTOMATED SOFTWARE TESTING TECHNIQUES, CLASSIFICATIONS AND FRAMEWORKS

Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, . to make sure that it does what is expected. Normally, a software engineer goes through a certain process to establish that the software follows a given specification. This process, verification and validation (V & V), ensures that the software conforms to its specification and that the customers ultimately receive what they ordered. Software testing is one of the techniques to use during V & V. To be able to use resources in a | TOWARDS AUTOMATED SOFTWARE TESTING ABSTRACT Software is today used in more and different ways of automated software testing and is built upon than ever before. From refrigerators and cars to the assumption that software testing could be TOWARDS AUTOMATED SOFTWARE space shuttles and smart cards. As such, most soft- automated to a higher extent. Throughout this ware, usually need to adhere to a specifi cation, . thesis an emphasis has been put on “real life” app- TESTING to make sure that it does what is expected. lications and the testing of these applications. Normally, a software engineer goes through One of the contributions in this dissertation is TECHNIQUES, CLASSIFICATIONS AND FRAMEWORKS a certain process to establish that the software the research aimed at uncovering different issues follows a given specifi cation. This process, verifi ca- with respect to automated software testing. The tion and validation (V & V), ensures that the soft- research is performed through a series of case ware conforms to its specifi cation and that the studies and experiments which ultimately also customers ultimately receive what they ordered. leads to another contribution—a model for ex- Software testing is one of the techniques to use pressing, clarifying and classifying software testing during V & V. To be able to use resources in a bet- and the automated aspects thereof. An additional ter way, computers should be able to help out in contribution in this thesis is the development Richard Torkar the “art of software testing” to a higher extent, of framework desiderata which in turns acts as than is currently the case today. One of the is- a broad substratum for a framework for object sues here is not to remove human beings from message pattern analysis of intermediate code re- the software testing process altogether—in many presentations. ways software development is still an art form and The results, as presented in this dissertation, as such pose some problems for computers .