Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

FATES
2006
Springer

favoriteEmaildiscussreport

148views Software Engineering» more FATES 2006»

A Symbolic Framework for Model-Based Testing

13 years 8 months ago

A Symbolic Framework for Model-Based Testing

Download www.cs.ru.nl

Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formalism of Labelled Transition Systems is ioco. For ioco several test generation algorithms and test tools have been built. In this paper we define a framework for the symbolic implementation relation sioco which lifts ioco to Symbolic Transition Systems. These are transition systems with an explicit notion

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Real-time Traffic

FATES 2006 | Formal Model | Implementation Relation | Software Engineering | Transition Systems |

claim paper

Related Content

» Symbolic Model Based Testing for Component Oriented Systems

» Function Test Framework for Testing IOBlocks in a ModelBased Rapid Prototyping Development...

» Implementing and Applying the StocksCarrington Framework for ModelBased Testing

» Symstra A Framework for Generating ObjectOriented Unit Tests Using Symbolic Execution

» Test Generation for ModelBased Diagnosis

» Symbolic Test Selection Based on Approximate Analysis

» The AGEDIS Tools for Model Based Testing

» Dynamic Symbolic Execution for Testing Distributed Objects

» Contessa Concurrency Testing Augmented with Symbolic Analysis

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FATES
Authors	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Comments (0)