Domain Specialisation and Applications of Model-Based Testing
Software testing, one of the most important methods for quality assurance, has become too expensive and error prone for complex modern software systems. Test automation aims to reduce the costs of software testing and to improve its reliability. Despite advances in test automation, there are some domains for which automation seems to be difficult, for example, testing software to reveal the presence of security vulnerabilities, testing for conformance to security properties that traverse several functionalities of an application such as privacy policies, and testing asynchronous concurrent systems. Although there are research works that aim to solve the problems of test automation for these domains, there is still a gap between the practice and the state of the art. These works describe specific approaches that deal with particular problems, generally under restricted conditions. Nevertheless, individually, they have not made noticeable impact on the practice in test automation for these domains. Therefore, there is a need for an integrated framework that binds specific approaches together in order to provide more complete solutions. It is also important for this framework to show how current test automation efforts, tools and frameworks, can be reused. This thesis addresses this need by describing a general model-based testing framework and its specialisation for the testing domains of security vulnerabilities, privacy policies and asynchronous systems
Year of publication: |
2010-01-01
|
---|---|
Authors: | Pari-Salas, Percy Antonio |
Publisher: |
ePublications@bond |
Subject: | computer software | testing | automation | Computer Science |
Saved in:
Saved in favorites
Similar items by subject
-
"No girls on the software team" : internship experiences of women in computer science
Lapan, Julia C., (2023)
-
Nguyen Thi Hong Nga, (2024)
-
Austin Logistics Inc : assessing defect density
Perry, Dewayne E., (2010)
- More ...