A Black-Box Method-Level Test Case Generator Based on Constraint Logic Programming

碩士 === 國立中正大學 === 資訊工程研究所 === 99 === Software testing is the main activity to ensure the quality of software. This article proposes a testing framework that applies a black-box testing technique to automatically generate test cases for Java methods. The specification of Java methods is based on the...

Full description

Bibliographic Details
Main Authors: Lin, Chih-Yuan, 林志遠
Other Authors: Lin, Nai-Wei
Format: Others
Language:zh-TW
Published: 2011
Online Access:http://ndltd.ncl.edu.tw/handle/69222561756871618394