Testing Processes from Formal Specifications with Inputs, Outputs and Data Types

Authors:
Grégory Lestiennes;Marie-Claude Gaudel
Affiliations:
-;-
Venue:
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Year:
2002

Citing 0
Cited 6

Using formal specifications to support testing

ACM Computing Surveys (CSUR)
j-POST: a Java Toolchain for Property-Oriented Software Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based test selection for infinite-state reactive systems

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
A note on traces refinement and the conf relation in the unifying theories of programming

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Testing techniques in software engineering

Testing techniques in software engineering
Formal methods and testing: hypotheses, and correctness approximations

FM'05 Proceedings of the 2005 international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Deriving test cases from formal specifications of communicatingprocesses has been studied for a while. Several methodshave been proposed for specifications based on FSM(Finite State Machines), LTS (Labelled Transition Systems),IOTS (Input Output Transition Systems), etc. However, mostapproaches are limited to a finite set of actions, excludingthe possibility of communicating typed values between processes.This article presents a test derivation and selectionmethod based on a model of communicating processes withinputs, outputs and data types, which is closer to actual implementationsof communication protocols.