Sciweavers

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

9

TACAS
1997
Springer

favoriteEmaildiscussreport

132views Algorithms» more TACAS 1997»

Test Generation for Intelligent Networks Using Model Checking

13 years 8 months ago

Test Generation for Intelligent Networks Using Model Checking

Download www-master.ufr-info-p6.jussieu.fr

We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checker then derives test sequences that fulﬁll these test purposes. The method is demonstrated by applying it to a speciﬁcation of an Intelligent Network with two features.

André Engels, Loe M. G. Feijs, Sjouke Mauw

Real-time Traffic

Algorithms | Model Checking Techniques | TACAS 1997 | Test Purposes | Test Sequences |

claim paper

Related Content

» Test generation using SATbased bounded model checking for validation of pipelined processo...

» Finding Bugs in Web Applications Using Dynamic Test Generation and ExplicitState Model Che...

» Generation of Conformance Test Suites for Compositions of Web Services Using Model Checkin...

» Using Model Checking for Reducing the Cost of Test Generation

» Using Model Checking to Generate Tests from Requirements Specifications

» Timed Moore Automata Test Data Generation and Model Checking

» An Evaluation of Model Checkers for Specification Based Test Case Generation

» Using UML Collaboration Diagrams for Static Checking and Test Generation

» Functional test generation using property decompositions for validation of pipelined proce...

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1997
Where	TACAS
Authors	André Engels, Loe M. G. Feijs, Sjouke Mauw

Comments (0)