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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Τόπος έκδοσης:	Software engineering notes. 30, 5 (2005).
Κύριος συγγραφέας:	Tillman, Nikolai
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	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.