Architecting specifications for test case generation

Sinnott, R.O. (2003) Architecting specifications for test case generation. In: Cerone, A. and Lindsay, P.A. (eds.) First International Conference on Software Engineering and Formal Methods Proceedings: Brisbane, Australia, September 22 to 27, 2003. IEEE Computer Society: Los Alamitos, USA, pp. 24-32. ISBN 0769519490 (doi: 10.1109/SEFM.2003.1236204)

Abstract

The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Surprisingly, little documentation exists on the optimal way to specify systems so that they can best be used for the generation of tests. This paper, elaborates on the different tool supported approaches that can be taken for test case generation and highlights their advantages and disadvantages. A rule based SDL specification style is then presented that facilitates the automatic generation of tests.

• Item Type: Book Sections
• Keywords: SDL, TTCN, test case generation
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Sinnott, Professor Richard
• Authors: Sinnott, R.O.
• Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
• College/School: University Services > IT Services > Computing Service
• Publisher: IEEE Computer Society
• ISBN: 0769519490
• Copyright Holders: Copyright © 2003 IEEE Computer Society
• Publisher Policy: Reproduced in accordance with the copyright policy of the publisher.