Automatic Generation of Conformance Tests from Message Sequence Charts
Automatic Generation of Conformance Tests from Message Sequence Charts
Over the past five years our group has developed a tool that automatically generates conformance test scripts from a combination of Message Sequence Charts (MSCs), specifying dynamic behaviour, and Protocol Data Units (PDUs), specifying data formats. This paper outlines how tests are derived from MSCs and PDU specifications, and summarises different test strategies. It describes the testing required to prove conformance of various MSC language features ranging from time constraints to MSC variables, in-line expressions and high-level MSCs. We cover test generation for both single process test scripting and concurrent test scripting, where a test is distributed across autonomous processes, co-ordinating through additional messaging. All of the above aspects have been implemented in our tool that is in widespread use across Motorola. Tool support has not only resulted in cycle-time benefits for test preparation, but quality improvement in the testing process, improved test coverage, and validation of requirements specification.
170-198
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
King, David
fbf9579c-6de4-4169-9184-74134a34c5e2
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
Baker, Paul
1685f8ed-e86b-4828-9505-2c22a02c54d6
Jervis, Clive
5c2bba0a-6353-459a-a40c-38ae8ea7ae96
2003
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
King, David
fbf9579c-6de4-4169-9184-74134a34c5e2
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
Baker, Paul
1685f8ed-e86b-4828-9505-2c22a02c54d6
Jervis, Clive
5c2bba0a-6353-459a-a40c-38ae8ea7ae96
Mitchell, Bill, King, David, Bristow, Paul, Baker, Paul and Jervis, Clive
(2003)
Automatic Generation of Conformance Tests from Message Sequence Charts.
Telecommunications and beyond: The BroaderApplicability of SDL and MSC: Third International Workshop, SAM 2002, Revised Papers, Aberystwyth, United Kingdom.
24 - 26 Jun 2002.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Over the past five years our group has developed a tool that automatically generates conformance test scripts from a combination of Message Sequence Charts (MSCs), specifying dynamic behaviour, and Protocol Data Units (PDUs), specifying data formats. This paper outlines how tests are derived from MSCs and PDU specifications, and summarises different test strategies. It describes the testing required to prove conformance of various MSC language features ranging from time constraints to MSC variables, in-line expressions and high-level MSCs. We cover test generation for both single process test scripting and concurrent test scripting, where a test is distributed across autonomous processes, co-ordinating through additional messaging. All of the above aspects have been implemented in our tool that is in widespread use across Motorola. Tool support has not only resulted in cycle-time benefits for test preparation, but quality improvement in the testing process, improved test coverage, and validation of requirements specification.
Text
SAM_paper2.doc
- Other
Text
SAM_paper2.pdf
- Other
More information
Published date: 2003
Additional Information:
Event Dates: June 24-26, 2002
Venue - Dates:
Telecommunications and beyond: The BroaderApplicability of SDL and MSC: Third International Workshop, SAM 2002, Revised Papers, Aberystwyth, United Kingdom, 2002-06-24 - 2002-06-26
Organisations:
Electronics & Computer Science, IT Innovation
Identifiers
Local EPrints ID: 266045
URI: http://eprints.soton.ac.uk/id/eprint/266045
PURE UUID: 659399c7-d52c-4876-a667-5e1e5dccb890
Catalogue record
Date deposited: 03 Jul 2008 22:22
Last modified: 14 Mar 2024 08:19
Export record
Contributors
Author:
Bill Mitchell
Author:
David King
Author:
Paul Bristow
Author:
Paul Baker
Author:
Clive Jervis
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics