Guided Test Generation from CSP Models

Authors:
Sidney Nogueira;Augusto Sampaio;Alexandre Mota
Affiliations:
Centro de Informática, Universidade Federal de Pernambuco, Recife/PE, Brazil and Mobile Devices R&D Motorola Industrial Ltda, Jaguariuna/SP, Brazil 13820 000;Centro de Informática, Universidade Federal de Pernambuco, Recife/PE, Brazil;Centro de Informática, Universidade Federal de Pernambuco, Recife/PE, Brazil
Venue:
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Year:
2008

Citing 11
Cited 5

Communication and Concurrency

Communication and Concurrency
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Testing Concurrent Systems: A Formal Approach

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Abstraction and Testing

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Test Purposes: Adapting the Notion of Specification to Testing

Proceedings of the 16th IEEE international conference on Automated software engineering
Software test program: a software residency experience

Proceedings of the 27th international conference on Software engineering
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Motorola SpecNL: A Hybrid System to Generate NL Descriptions from Test Case Specifications

HIS '06 Proceedings of the Sixth International Conference on Hybrid Intelligent Systems
Formal Specification Generation from Requirement Documents

Electronic Notes in Theoretical Computer Science (ENTCS)
Framework composition conformance via refinement checking

Proceedings of the 2008 ACM symposium on Applied computing
Testing for refinement in CSP

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering

Compositional Verification of Input-Output Conformance via CSP Refinement Checking

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Testing techniques in software engineering

Testing techniques in software engineering
Verifiable coverage criteria for automated testing

SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
A formal abstract framework for modelling and testing complex software systems

Theoretical Computer Science
A process algebra based strategy for generating test vectors from SCR specifications

SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce an approach for the construction of feature test models expressed in the CSP process algebra, from use cases described in a controlled natural language. From these models, our strategy automatically generates test cases for both individual features and feature interactions, in the context of an industrial cooperation with Motorola Inc., where each feature represents a mobile device functionality. The test case generation can be guided by test purposes, which allow selection based on particular traces of interest. More generally, we characterise a testing theory in terms of CSP: test models, test purposes, test cases, test execution, test verdicts and soundness are entirely defined in terms of CSP processes and refinement notions. We have also developed a tool, ATG, which mechanises the entire generation process.