Computer Supported Test Generation from SDL Specifications

Ek, Anders; Ellsberger, Jan; Wiles, Anthony

doi:10.1007/978-0-387-34867-4_25

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Annex B deals with test generation methods as they have been developed for finite state machine and other models, in particular [1], [11], [2], [13], and [6]. A common example, the INRES protocol and service [5] is used to show the applicability of existing test generation methods to an OSI protocol specification.…”

Section: Introductionmentioning

confidence: 99%

Framework for formal methods in conformance testing

Hogrefe

1995

Protocol Test Systems

View full text Add to dashboard Cite

This paper presents the latest developments in the Fonnal Methods in Confonnance Testing (FMCT) project of ITU and ISO. The project has been initiated to study the role of fonnal description techniques in the confonnance testing process. The goal is to develop a standard that defines the meaning of confonnance in the context of FDTs. A general framework which has been developed in the FMCT project will be presented.Recently, more and more specifications in the communications world are being made by use of a fonnal description technique (FDT). This makes it necessary to define the meaning of confonnance in this fonnal context. ISO and ITU-T started another joint project around 1989, called project 1.21.54 in ISO and question 8/10 in ITU-T. This new effort should result in a standard on "Fonnal Methods in Confonnance Testing (FMCT)" [3]. The current planing of the project extends to May 1997. At this date the pUblication of an International Standard in ISO and the respective standard in ITU-T is desirable. This means that there needs to be a Committee Draft around middle of 1995 and a Draft International Standard around 1996. Two main meetings of the project are planned per year, but there may be additional meetings in the subgroups.Given a fonnal specification, how can one find out whether an implementation confonns to this specification?The motivation of this activity is the existence of fonnally described standards and therefore the need to define the meaning of confonnance with respect to fonnal specifications.T. Mizuno et al. (eds.), Protocol Test Systems

show abstract

Section: Introductionmentioning

confidence: 99%

Framework for formal methods in conformance testing

Hogrefe

1995

Protocol Test Systems

View full text Add to dashboard Cite

show abstract

Computer Supported Test Generation from SDL Specifications

Cited by 1 publication

References 0 publications

Framework for formal methods in conformance testing

Framework for formal methods in conformance testing

Contact Info

Product

Resources

About