Towards a model based approach for integration testing

Authors:
Mohamed Mussa;Ferhat Khendek
Affiliations:
Department of Electrical and Computer Engineering, Concordia University, Montréal, QC, Canada;Department of Electrical and Computer Engineering, Concordia University, Montréal, QC, Canada
Venue:
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Year:
2011

Citing 21
Cited 1

Merging behavior specifications

Formal Methods in System Design
Four issues concerning the semantics of Message Flow Graphs

Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
The State Explosion Problem

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Refinement in statechart testing: Research Articles

Software Testing, Verification & Reliability - SoftTest II: The Second UK Workshop on Software Testing Research
Guest Editor's Introduction: Model-Driven Engineering

Computer
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Automated Generation of Test Cases Using Model-Driven Architecture

AST '07 Proceedings of the Second International Workshop on Automation of Software Test
A subset of precise UML for model-based testing

Proceedings of the 3rd international workshop on Advances in model-based testing
Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile

QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Model-Driven Testing: Using the UML Testing Profile

Model-Driven Testing: Using the UML Testing Profile
Compositional Verification of UML Dynamic Models

APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
LTS-BT: a tool to generate and select functional test cases for embedded systems

Proceedings of the 2008 ACM symposium on Applied computing
Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica

ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Automated model-based testing using the UML testing profile and QVT

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
From design models to test models by means of test ideas

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Merging Scenarios

Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional testing of communication systems

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Testing communicating systems: a model, a methodology, and a tool

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Testing systems of concurrent black-boxes—an automata-theoretic and decompositional approach

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Automating scenario merging

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Identification and selection of interaction test scenarios for integration testing

SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we introduce a model based approach for integration test cases generation. The approach is based on UML 2 Testing Profile and follows the Mode-Driven Architecture for generating integration test cases from unit test models. The generated test models can be exported to test execution environments such as JUnit and TTCN-3 for execution and evaluation.