Design and Implementation of a Constraint-Based Test Case Generator for Black-Box Method-Level Unit Testing
博士 === 國立中正大學 === 資訊工程研究所 === 103 === Software testing is still the main approach to ensuring software quality. Software testing involves the formulation of the test case generation problem: The specification of the software behaviors; the partitioning of software behaviors into equivalence classes;...
Main Authors: | Chi-Kuang Chang, 張智光 |
---|---|
Other Authors: | Nai-Wei Lin |
Format: | Others |
Language: | en_US |
Published: |
2015
|
Online Access: | http://ndltd.ncl.edu.tw/handle/06190123901503326640 |
Similar Items
-
Constraint-Based Test Case Generation for White-Box Method-Level Unit Testing
by: CHANG,CHENG-HUNG, et al.
Published: (2017) -
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) -
Handling Reals in a Black-Box Method-Level Test Case Generator
by: Chen, Minyu, et al.
Published: (2012) -
Handling Function Calls in a Black-Box Method-Level Test Case Generator
by: Lee,Yuehhsun, et al.
Published: (2012)