ETD system

Electronic theses and dissertations repository

 

Tesi etd-12022009-055611


Thesis type
Tesi di dottorato di ricerca
Author
GAO, JINGHUA
email address
gao@di.unipi.it
URN
etd-12022009-055611
Title
An Integrated Environment For Automated Benchmarking And Validation Of XML-Based Applications
Settore scientifico disciplinare
INF/01
Corso di studi
INFORMATICA
Commissione
tutor Bertolino, Antonia
tutor Marchetti, Eda
Parole chiave
  • XML Schema
  • Test case generation
  • XML
  • Software Testing
  • Automatica testing
Data inizio appello
10/12/2009;
Consultabilità
completa
Riassunto analitico
Testing is the dominant software verification technique used in industry; it is a critical and<br>most expensive process during software development. Along with the increase in software<br>complexity, the costs of testing are increasing rapidly. Faced with this problem, many<br>researchers are working on automated testing, attempting to find methods that execute the<br>processes of testing automatically and cut down the cost of testing.<br>Today, software systems are becoming complicated. Some of them are composed of<br>several different components. Some projects even required different systems to work together<br>and support each other. The XML have been developed to facilitate data exchange<br>and enhance interoperability among software systems. Along with the development of<br>XML technologies, XML-based systems are used widely in many domains. In this thesis<br>we will present a methodology for testing XML-based applications automatically.<br>In this thesis we present a methodology called XPT (XML-based Partition Testing)<br>which is defined as deriving XML Instances from XML Schema automatically and systematically.<br>XPT methodology is inspired from the Category-partition method, which is a<br>well-known approach to Black-box Test generation. We follow a similar idea of applying<br>partitioning to an XML Schema in order to generate a suite of conforming instances; in<br>addition, since the number of generated instances soon becomes unmanageable, we also<br>introduce a set of heuristics for reducing the suite; while optimizing the XML Schema<br>coverage. The aim of our research is not only to invent a technical method, but also to attempt<br>to apply XPT methodology in real applications. We have created a proof-of-concept<br>tool, TAXI, which is the implementation of XPT. This tool has a graphic user interface<br>that can guide and help testers to use it easily. TAXI can also be customized for specific<br>applications to build the test environment and automate the whole processes of testing.<br>The details of TAXI design and the case studies using TAXI in different domains are<br>presented in this thesis. The case studies cover three test purposes. The first one is for<br>functional correctness, specifically we apply the methodology to do the XSLT Testing,<br>which uses TAXI to build an automatic environment for testing the XSLT transformation;<br>the second is for robustness testing, we did the XML database mapping test which tests the<br>data transformation tool for mapping and populate the data from XML Document to XML<br>database; and the third one is for the performance testing, we show XML benchmark that<br>uses TAXI to do the benchmarking of the XML-based applications.
File