Constraint-Based Test Case Generation for White-Box Method-Level Unit Testing
碩士 === 國立中正大學 === 資訊工程研究所 === 105 === This thesis defines the test case generation problem as a constraint satisfaction problem, and implements a constraint-based test case generator for white-box method-level unit testing. A test case contains a test input and the corresponding expected output. For...
Main Authors: | CHANG,CHENG-HUNG, 張振鴻 |
---|---|
Other Authors: | LIN,NAI-WEI |
Format: | Others |
Language: | zh-TW |
Published: |
2017
|
Online Access: | http://ndltd.ncl.edu.tw/handle/36b93f |
Similar Items
-
Design and Implementation of a Constraint-Based Test Case Generator for Black-Box Method-Level Unit Testing
by: Chi-Kuang Chang, et al.
Published: (2015) -
Supporting Array Data Type in Constraint-Based Test Case Generation for Black-Box Method-Level Unit Testing
by: WANG, CHIEN-LUNG, et al.
Published: (2019) -
A Black-Box Method-Level Test Case Generator Based on Constraint Logic Programming
by: Lin, Chih-Yuan, et al.
Published: (2011) -
A Constraint-Based Test Case Generator for Class-Level Unit Testing
by: LI, PEI-CHIN, et al.
Published: (2017) -
An Efficient Method for Automatic Generation of Linearly Independent Paths in White-box Testing
by: Xinyang Wang, et al.
Published: (2015-04-01)