IEEE - Institute of Electrical and Electronics Engineers, Inc. - Computing Complete Test Graphs for Hierarchical Systems

Fourth IEEE International Conference on Software Engineering and Formal Methods

Buy Now

Regular:

Conformance testing focuses on checking whether an implementation under test (IUT) behaves according to its specification. Typically, testers are interested in performing targeted tests that exercise certain features of the IUT. This intention is formalized as a test purpose. The tester needs a "strategy" to reach the goal specified by the test purpose. Also, for a particular test case, the strategy should tell the tester whether the IUT has passed, failed, or deviated from the test purpose. In (J. Jeron and P. Morel, 1999) Jeron and Morel show how to compute, for a given finite state machine specification and a test purpose automaton, a complete test graph (CTG) which represents all test strategies. In this paper, we consider the case when the specification is a hierarchical state machine and show how to compute a hierarchical CTG which preserves the hierarchical structure of the specification. We also propose an algorithm for an online test oracle which avoids a space overhead associated with the CTG

View Less

Related Documents

ASTM E1082-90(2007) - Standard Test Method for Measurement of Vehicular Response to Traveled Surface Roughness

December 1, 2007 - ASTM International

1.1 This test method covers the determination of vehicular response to traveled surface roughness.

1.2 This test method utilizes an apparatus that measures the relative motion of a sprung mass system in response to traveled surface roughness where the mass is suppor...

ASTM E1082-90(1995) - Standard Test Method for Measurement of Vehicular Response to Traveled Surface Roughness

January 1, 1990 - ASTM International

1.1 This test method covers the determination of vehicular response to traveled surface roughness.

1.2 This test method utilizes an apparatus that measures the relative motion of a sprung mass system in response to traveled surface roughness where the mass is supported by automotive type ...

Special secret sharing scheme with the function of assignment

September 1, 2005 - China Aerospace Science and Industry Corporation (CASIC)

A concept of secret sharing scheme with the function of assignment is proposed. It provides great capabilities for many practical applications. In this scheme, the dealer can randomly assign one or more than one participant to get the secret at any time, but these participants can get nothing about ...

Reduction and simplification of explicit LTL model checking via an abstraction method

February 1, 2009 - Tsinghua University Press Ltd.

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

A novel multilevel index model for distributed service repositories

June 1, 2017 - Tsinghua University Press Ltd.

This study, based on the theory of equivalence relations, proposes a novel multilevel index model for decentralized service repositories to eliminate redundant information and enhance the time-management quality of the service retrieval process of the service repository architecture. An efficient re...

Related Products

Searching for related products...

Related Suppliers

Searching for related suppliers...

Author(s):	D. D'Souza ; M. Gopinathan
Sponsor(s):	IEEE Comput. Soc
Publisher:	IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date:	1 January 2006
Conference Location:	Pune, India
Conference Date:	11 September 2006
Page(s):	70 - 79
ISBN (Paper):	0-7695-2678-0
DOI:	10.1109/SEFM.2006.13