- 學位論文
奠基於限制邏輯圖之測試案例產生器
Test Case Generation Based on Constraint Logic Graph
摘要
限制式測試案例產生技術是一種主要的測試案例產生技術。限制式測試案例產生技術將測試案例產生問題制定為限制滿足問題。在限制式測試案例產生技術中，從軟體行為規格的敘述、軟體等價行為的分割、軟體測試覆蓋標準滿足的管理、到軟體等價行為所對應的限制滿足問題的敘述，都會牽涉到限制邏輯運算式。本論文提出使用限制邏輯圖做為限制邏輯運算式的精簡圖形化的表示式。 本論文描述一個基於限制邏輯圖的黑箱函式層級測試案例產生器的設計與實作。限制邏輯運算式通常都表示成分離性標準式來，一個限制邏輯圖可以看成是分離性標準式的精簡圖形化的表示式。限制邏輯圖的每一條完整路徑對應分離性標準式中的一個連結性子句，亦即一個測試案例。因此，限制邏輯圖適合於從事軟體等價行為的分割。限制邏輯圖也適合於從事圖形式測試覆蓋標準滿足的管理。這個測試案例產生器被實作成一個Eclipse開發平台的外掛套件。本論文也提供這個測試案例產生器的初步效能評估。
並列摘要
Constraint-based testing is one of the main approaches for test case generation. In constraint-based testing, the test case generation problem is formulated as a constraint satisfaction problem. In constraint-based testing, constraint logic expressions are involved in the specification of software behaviors, the partitioning of software behaviors into equivalent classes, the management of test coverage criteria, and the formulation of a representative software behavior in an equivalence class as a constraint satisfaction problem. In this thesis, constraint logic graphs are proposed as a succinct graphical representation of constraint logic expressions. This thesis describes the design and implementation of a black-box method-level test case generator based on constraint logic graph. A constraint logic graph can be viewed as a succinct graphical representation of constraint logic expressions in disjunctive normal form. Each complete path of the constraint logic graph corresponds to a conjunctive clause of the disjunctive normal form and thus a test case. Therefore, constraint logic graphs are suitable for performing partitioning of software behaviors into equivalent classes. Constraint logic graphs are also suitable for performing management of graph-based test coverage criteria. This test case generator is implemented as an Eclipse plugin. A preliminary performance evaluation is also given in the thesis.