SDL and MSC based test generation for distributed test architectures
暂无分享,去创建一个
Dieter Hogrefe | Jens Grabowski | Michael Schmitt | Beat Koch | D. Hogrefe | J. Grabowski | B. Koch | M. Schmitt
[1] Roland Groz,et al. Two approaches linking a test generation tool with verification techniques , 1996 .
[2] Thierry Jéron,et al. Assessment of automatic generation methods of conformance test suites in an industrial context , 1996 .
[3] Dieter Hogrefe,et al. Applying SaMsTaG to the B-ISDN protocol SSCOP , 1997 .
[4] Dieter Hogrefe,et al. Test Case Generation with Test Purpose Speciication by Mscs , 1993 .
[5] Sjouke Mauw,et al. Message Sequence Chart (MSC) , 1996 .
[6] Øystein Haugen,et al. Tutorial on Message Sequence Charts (MSC'96) , 2001 .
[7] Dieter Hogrefe,et al. SDL : formal object-oriented language for communicating systems , 1997 .
[8] K. K. Sandhu,et al. Specification and description language (SDL) , 1992 .
[9] Dieter Hogrefe,et al. Autolink - Putting SDL-Based Test Generation Into Practice , 1998, IWTCS.
[10] César Viho,et al. An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol , 1998, IWTCS.