Test Coverage Criteria Management and Boundary Test Case Generation Based on Constraint Logic Graphs
| Autor: | WU,SHANG-YU, 吳尚諭 |
|---|---|
| Rok vydání: | 2017 |
| Druh dokumentu: | 學位論文 ; thesis |
| Popis: | 105 Software testing is one of the main approaches to ensuring the software quality. However, the automatic generation of test cases is still very immature. The constraint-based test case generation is an important technique for automatic generation of test cases. In the constraint-based technique, the test case generation problem is formulated as a constraint satisfaction problem. This thesis proposes to use constraint logic graphs as test models, and demonstrates the use of constraint logic graphs in the process of transforming the test case generation problem into a constraint satisfaction problem. A constraint logic graph describes graphically the software behaviors or the constraint logic relationships between inputs and outputs. This thesis describes the use of constraint logic graphs in the test model construction, equivalence class partitioning, boundary value analysis, and test coverage criteria management for black-box method-level unit testing. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|