+612 9045 4394
Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003 - Andreas Ulrich

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003

By: Andreas Ulrich (Editor)

Paperback Published: 28th January 2004
ISBN: 9783540208945
Number Of Pages: 268

Share This Book:


or 4 easy payments of $31.26 with Learn more
Ships in 5 to 9 business days

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.

Black-box testing of grey-box behaviorp. 1
On checking whether a predicate definitely holdsp. 15
Using a software testing technique to improve theorem provingp. 30
Auto-generating test sequences using model checkers : a case studyp. 42
Mutually enhancing test generation and specification inferencep. 60
JMLAutoTest : a novel automated testing framework based on JML and JUnitp. 70
Compositional testing with IOCOp. 86
Defining observation objectives for reactive and distributed systemsp. 101
Time-optimal real-time test case generation using UPPAALp. 114
Test cases generation for nondeterministic real-time systemsp. 131
Property oriented test case generationp. 147
Computing unique input/output sequences using genetic algorithmsp. 164
Automatic generation of test purposes for testing distributed systemsp. 178
Interaction testing in an embedded system using hardware fault injection and program mutationp. 192
Automatic conformance testing of internet applicationsp. 205
A use case driven testing process : towards a formal approach based on UML collaboration diagramsp. 223
VISWAS and on diagnosability with IEEE Std P1522 and UML2.0 testing profilep. 236
Towards a tool environment for model-based testing with AsmLp. 252
Author indexp. 267
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540208945
ISBN-10: 3540208941
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 268
Published: 28th January 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.5
Weight (kg): 0.4