NDLI: A product line modeling and configuration methodology to support model-based testing: an industrial case study

Please wait, while we are loading the content...

Quantitative reactive models

Bottom-up meta-modelling: an interactive approach

Relaxing claims: coping with uncertainty while evaluating assumptions at run time

Automated and transparent model fragmentation for persisting large models

Modeling the linguistic architecture of software products

Incremental consistency checking for complex design rules and larger model changes

Multi-perspectives on feature models

Inter-association constraints in UML2: comparative analysis, usage recommendations, and modeling guidelines

An exploratory study of forces and frictions affecting large-scale model-driven development

Detecting specification errors in declarative languages with constraints

ATLTest: a white-box test generation approach for ATL transformations

A modeling approach to support the similarity-based reuse of configuration data

Generation of operational transformation rules from examples of model transformations

An approach for synchronizing UML models and narrative text in literate modeling

Experiences of applying UML/MARTE on three industrial projects

Transition to model-driven engineering: what is revolutionary, what remains the same?

Sensitivity analysis in model-driven engineering

Weaving-based configuration and modular transformation of multi-layer systems

FacadeMetamodel: masking UML

Dynamic evolution of context-aware systems with models at runtime

Formally defining and iterating infinite models

Cross-language support mechanisms significantly aid software development

Evaluating the impact of aspects on inconsistency detection effort: a controlled experiment

Generating better partial covering arrays by modeling weights on sub-product lines

The coroutine model of computation

A model-driven approach to support engineering changes in industrial robotics software

From UML and OCL to relational logic and back

Empirical evaluation on FBD model-based test coverage criteria using mutation analysis

Model driven configuration of fault tolerance solutions for component-based software system

Using feature model to build model transformation chains

Model matching for trace link generation in model-driven software development

Cost estimation for model-driven engineering

Towards an automatic service discovery for UML-based rich service descriptions

Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing

Research-based innovation: a tale of three projects in model-driven engineering

T-square: a domain specific language for rapid workflow development

An eclipse modelling framework alternative to meet the models@runtime requirements

Query-driven soft interconnection of EMF models

Do professional developers benefit from design pattern documentation? a replication in the context of source code comprehension

On integrating structure and behavior modeling with OCL

Towards business application product lines

Assume-guarantee scenarios: semantics and synthesis

Managing related models in vehicle control software development

On verifying ATL transformations using 'off-the-shelf' SMT solvers

Seeing errors: model driven simulation trace visualization

Applying a consistency checking framework for heterogeneous models and artifacts in industrial product lines

A generic approach simplifying model-to-model transformation chains

Matching business process workflows across abstraction levels

Evaluating the effort of composing design models: a controlled experiment

A product line modeling and configuration methodology to support model-based testing: an industrial case study

An industrial system engineering process integrating model driven architecture and model based design

A product line modeling and configuration methodology to support model-based testing: an industrial case study

Content Provider	ACM Digital Library
Author	Briand, Lionel Ali, Shaukat Yue, Tao Walawege, Suneth
Abstract	Product Line Engineering (PLE) is expected to enhance quality and productivity, speed up time-to-market and decrease development effort, through reuse—the key mechanism of PLE. In addition, one can also apply PLE to support systematic testing and more specifically model-based testing (MBT) of product lines—the original motivation behind this work. MBT has shown to be cost-effective in many industry sectors but at the expense of building models of the system under test (SUT). However, the modeling effort to support MBT can significantly be reduced if an adequate product line modeling and configuration methodology is followed, which is the main motivation of this paper. The initial motivation for this work emerged while working with MBT for a Video Conferencing product line at Cisco Systems, Norway. In this paper, we report on our experience in modeling product family models and various types of behavioral variability in the Saturn product line. We focus on behavioral variability in UML state machines since the Video Conferencing Systems (VCSs) exhibit strong state-based behavior and these models are the main drivers for MBT; however, the approach can be also tailored to other UML diagrams. We also provide a mechanism to specify and configure various types of variability using stereotypes and Aspect-Oriented Modeling (AOM). Results of applying our methodology to the Saturn product line modeling and configuration process show that the effort required for modeling and configuring products of the product line family can be significantly reduced.
Starting Page	726
Ending Page	742
Page Count	17
ISBN	9783642336652
ISSN	03029743
DOI	10.1007/978-3-642-33666-9_46
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-09-30
Publisher Place	Berlin, Heidelberg
Access Restriction	Subscribed
Subject Keyword	Uml state machine Aspect-oriented modeling Model-based testing Product line engineering Behavioral variability
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computer Science

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in