CANCELLED: 4th Workshop on Model-based Testing in Practice

In conjunction with the 11th IEEE International Conference on Computer and Information Technology (CIT 2011)

August 31 - September 2, 2011 - Paphos, Cyprus
Workshop cancelled.

Workshop Goal

The objective of the workshop is to bring together industry and science by providing a platform for discussion, interaction and collaboration. Industrial papers should either describe challenges of system or software testing that could trigger future research activities or present comparable results of applying model-based testing in practise. Research papers are expected to present promising ideas or possible solutions to industrial challenges in the field of model-based testing. Submitted papers should cover at least one of the following topics:

• Model-based test design and specifications
• Test languages and methodologies (e.g. TTCN-3, UML testing profile)
• Guidelines and best practices for model-based testing
• Model-based test approaches for emerging technologies like SOA or Cloud
• Model-based test processes and standard compliance (e.g. IEC 61508, ISO 26262, IEEE 829, ISO 14971)
• Executable test models and simulation
• Derivation of test models from system models
• Architecture-driven testing
• Requirements-driven testing
• Risk-based testing with model-based technologies
• Test models for non-functional quality properties (e.g. reliability, safety, performance)
• Quality and validation of test models
• Optimization and prioritization of test case suites
• Combination of model-based testing, model-based inspections, and formal model analysis
• Tool automation and tool support
• Cost and economic impact of model-based testing
• Experience reports and case studies

top

---

Workshop Profile

The continuous rise of software complexity by increasing functionality and accessibility of software and electronic components leads to an ever-growing demand for techniques to ensure software quality. At the same time software companies are shortening development cycles in order to respond to the customers demand for fast and flexible solutions. In order to remain competitive, an early and continuous consideration and assurance of system quality becomes an asset of ever-increasing importance in industrial software development.

Model-based approaches are not only able to provide effective quality assurance, but also help to evaluate and control the coverage, costs, and risks related to the testing efforts. Both – the effectiveness and the efficiency of testing – can be handled by model-based approaches within integrated system and test development for software-intense systems. While the software industry starts to adopt model-based testing techniques on a large scale promising research ideas emerge that have the potential to answer many of today’s industrial challenges. The workshop will bring together practitioners and researchers to initiate a dialog that is much needed for both sides.

CIT has become a major platform for researchers and industry practitioners from different fields of computer and information technology. In industry, model-driven development is perceived as a promising way to improve efficiency and effectiveness. Model-based testing can even function as a catalyst for MDD in the industrial world, as it promises concrete solutions for one of the major pain point of commercial software development. MOTIP has a track record of leveraging the interaction between academia, commercial tool providers and MBT adopters in industry. Therefore it perfectly supplements the CIT main conference.

Despite a vivid participation of practitioners, MOTIP is organized as an academic event with the intent to trigger, influence and shape future applied research. Industrial adopters of MBT seeking experience exchange and decision makers interested in introducing MBT to their organization might also consider participating in the newly established Model-based Testing User Conference (MBTUC).

Best Paper Award

The best paper will be awarded at the end of the workshop.

top

---

Call for Paper

Call for Paper - Download

top

---

Submission details

Authors should submit full papers of up to 6 pages, following strictly the IEEE Computer Society Proceedings Manuscript style, using two-column, single-space format, with 10-point font size. Figures and references must be included in the 6 pages. Oversized papers will be automatically rejected by the PC chairs. At least one of the authors of each accepted paper must register early to attend the conference, in order for the paper to appear in the conference proceedings.

Submissions are done by Easychair.

top

---

Workshop Program

To be announced...

top

---

Important Dates

Submission deadline 
15 April 2011

Notification of acceptance for participation & presentation
15 May 2011

Camera-ready papers due
31 May 2011

Workshop
tba

top

---

Organisation

• Thomas Bauer Fraunhofer IESE, Germany
• Marc-Florian Wendland Fraunhofer FOKUS, Germany
• Sebastian Wieczore SAP, Germany

 

The organizers are active in the following model-based testing related research projects and standardization committees:

• DEPLOY that applies formal methods to industrial engineering methods. Part of that work is to utilize existing system models to drive automatic verification and validation.
• VERDE that focuses model-based validation of embedded real-time systems by using the OMG standards UML, MARTE, SysML and UTP.
• ViERforES that provides solutions for attaining high safety and reliability with the use of virtual reality and augmented reality techniques for embedded systems.
• Innovation cluster DNT that addresses efficient and effective solutions for the development process and life cycle of commercial vehicles, including quality assurance of embedded systems on different abstraction levels.
• ROTESS that focuses on risk-based and standard-compliant testing of safety-critical medical systems.
• UML Testing Profile: Revision of the UML Testing Profile (UTP) at the OMG.

Workshop e-mail address: motip11 [at] fokus [dot] fraunhofer [dot] de
Workshop homepage: http://www.fokus.fraunhofer.de/go/motip2011

top

---

Program Committee

- Bruno Legeard, Smartesting, France

- Alin Stefanescu, Universitatea din Pitesti, Romania

- Wolfgang Grieskamp, Microsoft, USA

- Antti Huima, Conformiq, Finnland

- Rob Hierons, Brunel University, UK

- Dragos Truscan, Åbo Akademi, Finland

- Christopher Robinson-Mallett, Berner & Mattner, Germany

- Lan Lin, University of Tennessee, USA

- Alexander Pretschner, Karlsruhe Institute of Technology, Germany

- Ina Schieferdecker, Fraunhofer FOKUS, Germany

- Paul Strooper, University of Queensland, Australia

- Robert Eschbach, Fraunhofer IESE, Germany

- Zhen Ru Dai, HAW Hamburg, Germany

 

To be completed...

top

back     top