X-machines as a basis for dynamic system specification
Software Engineering Journal
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Case study: extreme programming in a university environment
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Automata, Languages, and Machines
Automata, Languages, and Machines
An Informal Formal Method for Systematic JUnit Test Case Generation
Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
NextGen eXtreme porting: structured by automation
Proceedings of the 2005 ACM symposium on Applied computing
Automated Software Engineering
Testing with guarantees and the failure of regression testing in extreme programming
XP'05 Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering
Hi-index | 0.00 |
In Extreme programming unit testing is organized so that the unit tests are written before coding commences. For many programmers the selection of the test cases is something of an 'ad hoc' process. Where programmers are experienced in writing test sets it is common for them to use white box or structural test techniques. However, these rely on the structure of the code being available which is not the case with XP. This article describes a principled way of creating powerful, functional unit tests from informal descriptions of the units.