Automatic generation of conformance tests from message sequence charts

DOI10.1007/3-540-36573-7_12MaRDI QIDQ4413769zbMATH OpenFDO

Authors Paul Baker, Paul Bristow, Clive Jervis, David A. King, Bill Mitchell

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2599/25990170.htm, https://eprints.soton.ac.uk/266045/2/SAM_paper2.pdf

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) Computing methodologies and applications (68U99)

Recommendations

• Generating test sequences from a set of MSCs.
• An input language based on extended message sequence charts and used for test specification
• An execution semantics for MSC-2000
• STG: A symbolic test generation tool
• Multiple synchrony in MSC

Cited in

(7)

• Generating test sequences from a set of MSCs.
• Systems specification by basic protocols
• Using static analysis to improve automatic test generation
• Some implications of MSC, SDL and TTCN time extensions for computer-aided test generation
• Automatic test generation with AGATHA
• Multiple synchrony in MSC
• Formal Approaches to Software Testing

This page was built for publication: Automatic generation of conformance tests from message sequence charts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413769)