Formal Approaches to Software Testing

1. Front Matter

   PDF

2. Program Testing and Analysis

   1. Black-Box Testing of Grey-Box Behavior

      • Benjamin Tyler, Neelam Soundarajan

      Pages 1-14

   2. On Checking Whether a Predicate Definitely Holds

      • Alper Sen, Vijay K. Garg

      Pages 15-29

   3. Using a Software Testing Technique to Improve Theorem Proving

      • Reiner Hähnle, Angela Wallenburg

      Pages 30-41

   4. Auto-generating Test Sequences Using Model Checkers: A Case Study

      • Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao

      Pages 42-59

   5. Mutually Enhancing Test Generation and Specification Inference

      • Tao Xie, David Notkin

      Pages 60-69

   6. JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit

      • Guoqing Xu, Zongyuang Yang

      Pages 70-85

3. Test Theory and Test Derivation Algorithms

   1. Compositional Testing with ioco

      • Machiel van der Bijl, Arend Rensink, Jan Tretmans

      Pages 86-100

   2. Defining Observation Objectives for Reactive and Distributed Systems

      • Timo Aaltonen

      Pages 101-113

   3. Time-Optimal Real-Time Test Case Generation Using Uppaal

      • Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

      Pages 114-130

   4. Test Cases Generation for Nondeterministic Real-Time Systems

      • Ahmed Khoumsi, Thierry Jéron, Hervé Marchand

      Pages 131-146

   5. Property Oriented Test Case Generation

      • Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon

      Pages 147-163

   6. Computing Unique Input/Output Sequences Using Genetic Algorithms

      • Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

      Pages 164-177

   7. Automatic Generation of Test Purposes for Testing Distributed Systems

      • Olaf Henniger, Miao Lu, Hasan Ural

      Pages 178-191

4. Test Methods and Test Tools

   1. Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation

      • Ahyoung Sung, Byoungju Choi

      Pages 192-204

   2. Automatic Conformance Testing of Internet Applications

      • Harm M. A. van Beek, Sjouke Mauw

      Pages 205-222

   3. A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams

      • Mourad Badri, Linda Badri, Marius Naha

      Pages 223-235

   4. VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile

      • Sita Ramakrishnan

      Pages 236-251

   5. Towards a Tool Environment for Model-Based Testing with AsmL

      • Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

      Pages 252-266

5. Back Matter

   PDF

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.

• JUnit
• Unified Modeling Language (UML)
• algorithm
• algorithms
• correct sytems design
• efficient testing
• formal methods
• genetic algorithms
• real-time
• systems analysis
• testing
• testing technologies
• testing tools
• theorem proving
• timed automata

• CRIM, Canada

  Alexandre Petrenko

• Siemens AG, Corporate Research & Technologies CT SE 1, Munich, Germany

  Andreas Ulrich

Policies and ethics