Where do unit tests come from?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2675, Issue , 2003, Pages 161-169

  Yuan, Jing ^a,b   Holcombe, Mike ^a   Gheorghe, Marian ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

^b Xi'an Satellite Control Centre   (China)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

EXTREME PROGRAMMING; FUNCTIONAL UNITS; STRUCTURAL TESTS; TEST CASE; TEST SETS; UNIT TESTING; UNIT TESTS; WHITE BOX;

TESTING;

EID: 35248865662     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44870-5_21     Document Type: Article

References (13)

1. M. Holcombe: X-Machines as a Basis for Dynamic System Specification. Software Engineering Journal, 1988, Vol3, 69-76.
2. M. Holcombe and F. Ipate: Correct Systems: Building a Business Process Solution, Springer Verlag, Berlin, 1988.
3. T. Balanescu, T. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe and C. Vertan: Communicating Stream X-Machines Systems are no more than X-Machines, J.UCS, 1999, Vol. 9, 494-507.
4. M. Holcombe, K. Bogdanov and M. Gheorghe: Functional Test generation for Extreme Programming, Second International Conference on extreme Programming and Flexible Processes in Software Engineering XP2001, Sardinia, Italy, 2001, 109-113.
5. M. Muller and W. Tichy : Case study: Extreme programming in a university environment. 23rd International Conference on Software engineering, Toronto, Canada, 2001, 537-544.
6. D. Stotts, M. Lindsey and A. Antley: An informal formal method for systematic Junit test case generation, in D. Wells and L. Williams (Eds), XP/Agile Universe 2002, LNCS 2418, 2002, 131-143.
7. T. Sun Chow: Testing Software Design Modeled by Finite State Machines. IEEE Transactions on Software Engineering, May 1978, Vol.SE-4(3), 178-187.
8. S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou and A. Ghedamsi: Test Selection Based on Finite State Models. IEEE Transactions on Software Engineering, 1991, Vol.17 591-603
9. T. Ramalingam, A. Das and K. Thulasiraman: Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. Computer Communications, 1995, Vol.18, 113-122.
10. S. Eilenberg: Automata, Languages and Machines.1998, VolA, Academic Press,New York.
11. F. Ipate: Theory of X-Machines and Applications in Specification and Testing. PhD thesis, Department of Computer Science, University of Sheffield, July 1995.
12. A. Cowling, H. Georgescu, C. Vertan: A Structured Way to Use Channels for Communication in X-machine System. Formal Aspects of Computing, 2000, Vol.12,458-500
13. S. Vanak: Complete Function Testing of Hardware Description. PhD thesis, Department of Computer Science, University of Sheffield, 2002