Title :
Extended TTCN in software testing
Author :
Liu, Wayne B. ; Dasiewicz, P.
Author_Institution :
Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
Abstract :
This paper presents the first stage in our model-based software testing process. The process is based partly on techniques from testing telecommunication protocols. We extend these concepts and apply them to unit- and integration-level testing of software. Under this process, all test requirements are specified using a semi-formal test description language, TTCN, providing a uniform approach to create test cases at different levels of testing, and to automate many testing activities
Keywords :
formal specification; program testing; TTCN; model-based; software testing; test description language; Asynchronous communication; Automata; Automatic testing; Protocols; Software testing;
Conference_Titel :
Electrical and Computer Engineering, 1998. IEEE Canadian Conference on
Conference_Location :
Waterloo, Ont.
Print_ISBN :
0-7803-4314-X
DOI :
10.1109/CCECE.1998.682749
