The derivation of conformance tests from LOTOS specifications

Pitt, David; Freestone, D.

doi:10.1109/32.62442

Cited by 37 publications

(18 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several test generation algorithms for an LTS and for Basic Lotos have been proposed, e.g. [17,20]. In [23,24] the testing theory for an LTS is refined for communicating systems that distinguish inputs and outputs.…”

Section: Related Workmentioning

confidence: 99%

Protocol-Inspired Hardware Testing

Turner

1999

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

The relevance of protocol conformance testing techniques to hardware testing is discussed. It is shown that the ioconf (input-output conformance) approach used in protocol testing can be applied to generate tests for a synchronous hardware design using its formal specification. The generated tests are automatically applied to a circuit by a VHDL testbench, thus giving confidence that the hardware design meets its high-level formal specification. Case studies illustrate how the ideas can be applied to standard hardware verification benchmarks such as the Single Pulser and Black-Jack Dealer.

show abstract

Section: Related Workmentioning

confidence: 99%

Protocol-Inspired Hardware Testing

Turner

1999

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

show abstract

“…State explosion problem has been a major issue for generating FSM models out of EFSM representations of protocols [15,52,71,72]. One common procedure for converting EFSMs into FSMs simultaneously performs reachability analysis and online minimization [15,40]; this conversion is based on combining equivalent states [54] by using the notion of bisimulation equivalence [47].…”

Section: Observations On Applicability Of Formal Methodsmentioning

confidence: 99%

A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

Fecko¹,

Uyar²,

Amer³

et al. 2000

Computer Communications

View full text Add to dashboard Cite

“…It turns out that formal specifications are quite fundamental to a rigourous and systematic approach of program testing. For instance, an application area where testing has been extensively studied is the area of communication protocols [8,15,27], etc: all these works are based on formal models of the protocol to be tested, generally finite state machines or transition systems.…”

Section: Introductionmentioning

confidence: 99%

Testing can be formal, too

Gaudel

1995

TAPSOFT '95: Theory and Practice of Software Development

202

147

View full text Add to dashboard Cite

Abstract. The paper presents a theory of program testing based on formal specifications. The formal semantics of the specifications is the basis for a notion of an exhaustive test set. Under some minimal hypotheses on the program under test, the success of this test set is equivalent to the satisfaction of the specification. The selection of a finite subset of the exhaustive test set can be seen as the introduction of more hypotheses on the program, called selection hypotheses. Several examples of commonly used selection hypotheses are presented. Another problem is the observability of the results of a program with respect to its specification : contrary to some common belief, the use of a formal specification is not always sufficient to decide whether a test execution is a success. As soon as the specification deals with more abstract entities than the program, program results may appear in a form which is not obviously equivalent to the specificied results. A solution to this problem is proposed in the case of algebraic specifications.

show abstract

The derivation of conformance tests from LOTOS specifications

Cited by 37 publications

References 4 publications

Protocol-Inspired Hardware Testing

Protocol-Inspired Hardware Testing

A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

Testing can be formal, too

Contact Info

Product

Resources

About