A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Architecting specifications for test case generation
2003
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.
Preserved Fulltext
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
doi:10.1109/sefm.2003.1236204
dblp:conf/sefm/Sinnott03
fatcat:7xuacy3mp5e45k5dujy4nclw5u