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...

Full description

Bibliographic Details
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