Loading...
Please wait, while we are loading the content...
Similar Documents
Automatic Test Suite Generation Based on Test Oracles (2003)
| Content Provider | CiteSeerX |
|---|---|
| Researcher | Fu, Rui |
| Abstract | ii Testing is an indispensable step in the process of software development. However it is a time-consuming task. Therefore, the automation of test processes has been of significant interest in the software engineering area. In this thesis, we propose a new automatic Test Suite Generation (TSG) approach based on formal test oracles that are built on state machines. The implementation of our approach is based on the Log File Analysis (LFA) framework. LFA is a formally-defined test oracle framework that facilitates automatic test result evaluation. The automated test oracle validation and test suite coverage measurement supported by LFA are essential to our design and implementation of the automatic TSG algorithms. We designed two algorithms (GEN_DFID, GEN_HDFID) based on the Depth First Iterative Deepening search strategy, one algorithm (GEN_BF) based on the Breadth First search strategy, and one algorithm (GEN_RS) based on random search strategy. The testing result of our automatic TSG implementation is good: test suites can be successfully generated for all the applications. In this thesis, we also present the analysis and comparison of the test results and the performance of these algorithms. LFA framework has broad-spectrum application in software testing, this thesis work can also be used for both general-purpose software functional testing and some specific functional testing, such as the communication protocol conformance testing. iii |
| File Format | |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Test Oracle Automatic Test Suite Generation Lfa Framework Test Process Automatic Test Result Evaluation Random Search Strategy Indispensable Step Ii Testing Formal Test Oracle Log File Analysis Time-consuming Task New Automatic Test Suite Generation Thesis Work Communication Protocol Conformance Broad-spectrum Application Software Engineering Area Formally-defined Test Oracle Framework State Machine Automated Test Oracle Validation Test Result Software Development Significant Interest Test Suite Automatic Tsg Algorithm Software Testing General-purpose Software Functional Testing Test Suite Coverage Measurement Automatic Tsg Implementation Specific Functional Testing Breadth First Search Strategy |
| Content Type | Text |
| Resource Type | Thesis |
