Parameterized unit tests with unit meister.

Parameterized unit tests extend the current industry practice of using closed unit tests defined as parameterless methods. Traditional closed unit tests are re-obtained by instantiating the parameterized unit tests. We have developed the prototype tool Unit Meister, which uses symbolic execution and...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Software engineering notes. 30, 5 (2005).
Tác giả chính:	Tillman, Nikolai
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Software. Sofware Engineering. Requirements / Specifications. Methodologies (e.g. Object-oriented, structured). Testing and Debugging. Testing tools (e.g. Data generators, coverage testing). Design. Verification. Algebraic data types. Automatic test input generation. Constraint solving. Symbolic execution. Unit testing.