A language for test case refinement in the test template framework

Authors:
Maximiliano Cristia;Diego Hollmann;Pablo Albertengo;Claudia Frydman;Pablo Rodriguez Monetti
Affiliations:
CIFASIS-UNR, Rosario Argentina and LSIS-UPCAM, Marseille, France;CIFASIS-UNR, Rosario Argentina;Flowgate Consulting, Rosario, Argentina;LSIS-UPCAM, Marseille, France;FCEIA-UNR, Rosario, Argentina
Venue:
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Year:
2011

Citing 19
Cited 2

The C programming language

The C programming language
Software testing based on formal specifications: a theory and a tool

Software Engineering Journal
Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
A Framework for Specification-Based Testing

IEEE Transactions on Software Engineering
Software test automation: effective use of test execution tools

Software test automation: effective use of test execution tools
Just Enough Software Test Automation

Just Enough Software Test Automation
An Introduction to Formal Specification and Z

An Introduction to Formal Specification and Z
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction
Generating finite state machines from abstract state machines

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A Comparison of the BTT and TTF Test-Generation Methods

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
AspectT: aspect-oriented test case instantiation

Proceedings of the 7th international conference on Aspect-oriented software development
Using formal specifications to support testing

ACM Computing Surveys (CSUR)
Programs That Test Themselves

Computer
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages

Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions

SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Extending the test template framework

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods

Extending the test template framework to deal with axiomatic descriptions, quantifiers and set comprehensions

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Adapting model-based testing techniques to DEVS models validation

Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based testing (MBT) generates test cases by analysing a formal model of the system under test (SUT). In many MBT methods, these test cases are too abstract to be executed. Therefore, an executable representation of them is necessary to test the SUT. So far, the MBT community has focused on methods that automate the generation of test cases, but less has been done in making them executable. In this paper we propose a language to specify rules that can be automatically applied to produce an executable representation of test cases generated by the Test Template Framework (TTF), a MBT method for the Z notation.