Characterising Concurrent Tests Based on Message Sequence Chart Requirements
Characterising Concurrent Tests Based on Message Sequence Chart Requirements
MSC-s specifying system requirements can be used to generate test scripts in languages such as TTCN. In 1996 TTCN was extended in order to describe concurrent test scripts. We give a characterisation of which concurrent tests can be executed by parallel test components (PTC-s) acting in concert. We also characterise when the PTC-s give the correct test result verdict.
135-140
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
2001
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Mitchell, Bill
(2001)
Characterising Concurrent Tests Based on Message Sequence Chart Requirements.
Simulation Series, Society for Computer Simulation, 33 (3), .
Abstract
MSC-s specifying system requirements can be used to generate test scripts in languages such as TTCN. In 1996 TTCN was extended in order to describe concurrent test scripts. We give a characterisation of which concurrent tests can be executed by parallel test components (PTC-s) acting in concert. We also characterise when the PTC-s give the correct test result verdict.
Other
Characterising_Concurrent_Tests_Based_on_Message_Sequence_Chart_Requirements.ps
- Other
More information
Published date: 2001
Organisations:
Electronics & Computer Science, IT Innovation
Identifiers
Local EPrints ID: 266055
URI: http://eprints.soton.ac.uk/id/eprint/266055
ISSN: 0735-9276
PURE UUID: 73198a2a-8fdc-4b87-a667-e7e2fdc3e758
Catalogue record
Date deposited: 04 Jul 2008 16:10
Last modified: 14 Mar 2024 08:20
Export record
Contributors
Author:
Bill Mitchell
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