A Model Driven Tool for Automated System Level Testing of Middleware Turker Keskinpala Abhishek Dubey Steve Nordstrom Ted Bapty Sandeep Neema Institute.

Slides:



Advertisements
Similar presentations
Model-Based Testing with Smartesting Jean-Pierre Schoch Sogetis Second Testing Academy 29 April 2009.
Advertisements

Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, Michel Wermelinger
GenArch: Automatic Product Derivation in Multi-agent Systems Product Line Elder Cirilo.
2009 – E. Félix Security DSL Toward model-based security engineering: developing a security analysis DSML Véronique Normand, Edith Félix, Thales Research.
Key-word Driven Automation Framework Shiva Kumar Soumya Dalvi May 25, 2007.
UML Diagrams Jung Woo. What is UML? Standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems, business.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
High-confidence Software for Cyber Physical Systems Drexel University Philadephia, PA Vanderbilt University Nashville, Tennessee Aniruddha Gokhale *, Sherif.
Object-Oriented Analysis and Design
Building Enterprise Applications Using Visual Studio ®.NET Enterprise Architect.
OTS Integration Analysis using iStudio Jesal Bhuta, USC-CSE March 14, 2006.
Presenter : Shih-Tung Huang Tsung-Cheng Lin Kuan-Fu Kuo 2015/6/15 EICE team Model-Level Debugging of Embedded Real-Time Systems Wolfgang Haberl, Markus.
Software Factory Assembling Applications with Models, Patterns, Frameworks and Tools Anna Liu Senior Architect Advisor Microsoft Australia.
Model Driven Architecture (MDA) Partha Kuchana. Agenda What is MDA Modeling Approaches MDA in a NutShell MDA Models SDLC MDA Models (an Example) MDA -
Dynamic Reconfiguration of Component-based Real-time Software Words February 2005 Sedona, Arizona, USA Andreas Rasche, Andreas Polze and Martin.
Applying MDA in the ATM: A practical approach Teodora Bozheva, Terry Bailey (ESI) Julia Reznik, Tom Ritter (Fraunhofer FOKUS)
TIBCO Designer TIBCO BusinessWorks is a scalable, extensible, and easy to use integration platform that allows you to develop, deploy, and run integration.
UML - Development Process 1 Software Development Process Using UML (2)
1 Tools for Commercial Component Assembly Francis Bordeleau, Zeligsoft/Carleton University Mark Vigder, National Research Council Canada.
Introduction to MDA (Model Driven Architecture) CYT.
Cluster Reliability Project ISIS Vanderbilt University.
RTAS MDES Workshop May Model-Based Integration of Reusable Component-Based Avionics Systems David Sharp Technical Fellow Phantom Works, Open System.
EMI INFSO-RI SA2 - Quality Assurance Alberto Aimar (CERN) SA2 Leader EMI First EC Review 22 June 2011, Brussels.
Using Formal Verification to Exhaustively Verify SoC Assemblies by Mark Handover Kenny Ranerup Applications Engineer ASIC Consultant Mentor Graphics Corp.
1 Itemfield - Automating Complex COBOL Integration Next-Generation Data Transformation Rami Hadadi
Generative Middleware Specializations for Distributed, Real-time and Embedded Systems Institute for Software Integrated Systems Dept of EECS, Vanderbilt.
Constraint-Based Embedded Program Composition IMPACT Rapid Construction of Efficient Embedded Systems. Multiple System Variants for Little Cost. Rapid,
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
© 2004 Mercury Computer Systems, Inc. FPGAs & Software Components Graham Bardouleau & Jim Kulp Mercury Computer Systems, Inc. High Performance Embedded.
Slide title In CAPITALS 50 pt Slide subtitle 32 pt Model based development for the RUNES component middleware platform Gabor Batori
6 th OOPSLA Workshop on Domain-Specific Modeling /10/221 The Practice of Deploying DSM Report from a Japanese Appliance Maker Trenches
UML diagrams What is UML UML diagrams –Static modeoing –Dynamic modeling 1.
Modeling Component-based Software Systems with UML 2.0 George T. Edwards Jaiganesh Balasubramanian Arvind S. Krishna Vanderbilt University Nashville, TN.
Performance evaluation of component-based software systems Seminar of Component Engineering course Rofideh hadighi 7 Jan 2010.
DataReader 2 Enhancing Security in Ultra-Large Scale (ULS) Systems using Domain- specific Modeling Joe Hoffert, Akshay Dabholkar, Aniruddha Gokhale, and.
INRIA - LaBRICharles Consel Jan-06 1 Domain-Specific Software Engineering Charles Consel Phoenix Research Group LaBRI /INRIA-Futurs January 2006.
Roles in Software Development using Domain Specific Modelling Languages Holger Krahn, Bernhard Rumpe, Steven Völkel Software Systems Engineering Technische.
SONIC-3: Creating Large Scale Installations & Deployments Andrew S. Neumann Principal Engineer, Progress Sonic.
MILAN: Technical Overview October 2, 2002 Akos Ledeczi MILAN Workshop Institute for Software Integrated.
1 UP MBT Extending the Unified Process with Model-Based Testing Fabrice Bouquet, Stéphane Debricon, Bruno Legeard and Jean-Daniel Nicolet MoDeV 2 a 2006.
Component Generation Technology for Semantic Tool Integration 1 Gabor Karsai and Jeff Gray Institute for Software Integrated Systems Vanderbilt University.
SONIC-3: Creating Large Scale Installations & Deployments Andrew S. Neumann Principal Engineer Progress Sonic.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
A Model-Based Approach for AMF Configuration Generation Pejman Salehi, Pietro Colombo Abdelwahab Hamou-Lhadj, Ferhat Khendek Concordia University Department.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
Object Oriented Analysis and Design 1 Chapter 9 From Design to Implementation  Implementation Model  Forward, Reverse, and Round-Trip Engineering  Mapping.
Enhancing Security in Enterprise Distributed Real-time and Embedded Systems using Domain-specific Modeling Akshay Dabholkar, Joe Hoffert, Aniruddha Gokale,
© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.:
Fault-tolerance for Component-based Systems – An Automated Middleware Specialization Approach Sumant Tambe* Akshay Dabholkar Aniruddha Gokhale Abhishek.
Improving System Availability in Distributed Environments Sam Malek with Marija Mikic-Rakic Nels.
Python: Building Geoprocessing Tools David Wynne, Ghislain Prince.
A Framework for Automated and Composable Testing of Component-based Services Miguel A. Jiménez, Ángela Villota, Norha M. Villegas, Gabriel Tamura, Laurence.
V7 Foundation Series Vignette Education Services.
Software tools for digital LLRF system integration at CERN 04/11/2015 LLRF15, Software tools2 Andy Butterworth Tom Levens, Andrey Pashnin, Anthony Rey.
Resource Optimization for Publisher/Subscriber-based Avionics Systems Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee.
MDD-Kurs / MDA Cortex Brainware Consulting & Training GmbH Copyright © 2007 Cortex Brainware GmbH Bild 1Ver.: 1.0 How does intelligent functionality implemented.
CoSMIC: An MDA Tool Suite for Distributed Real-time and Embedded Systems Tao Lu, Aniruddha Gokhale, Emre Turkay, Balachandran Natarajan, Jeff Parsons,
Model Based Engineering Environment Christopher Delp NASA/Caltech Jet Propulsion Laboratory.
Marilyn Wolf1 With contributions from:
Building Enterprise Applications Using Visual Studio®
UML Diagrams By Daniel Damaris Novarianto S..
OO Methodology OO Architecture.
UML Diagrams Jung Woo.
Course Name: QTP Trainer: Laxmi Duration: 25 Hrs Session: Daily 1 Hr.
Applying Domain-Specific Modeling Languages to Develop DRE Systems
JavaServer Faces: The Fundamentals
Knowing When to Stop: An Examination of Methods to Minimize the False Negative Risk of Automated Abort Triggers RAM XI Training Summit October 2018 Patrick.
Automated Analysis and Code Generation for Domain-Specific Models
Other System Requirements
Software Architecture & Design
Presentation transcript:

A Model Driven Tool for Automated System Level Testing of Middleware Turker Keskinpala Abhishek Dubey Steve Nordstrom Ted Bapty Sandeep Neema Institute for Software Integrated Systems Vanderbilt University Nashville, TN USA

STV'06 Workshop March 30, 2006 Outline Motivation and Challenges Model Driven Approach Tool Structure Test Series Definition Modeling Language Example Test Series Definition Conclusions and Ongoing Work

STV'06 Workshop March 30, 2006 Motivation and Challenges Many middleware framework configurations are generally represented by XML Configuring functional operation of components Component deployment in the cluster Frameworks are complicated and need to be tested Application topologies Parameter variations Need for many test configurations

STV'06 Workshop March 30, 2006 Motivation and Challenges Hand writing test configurations Cumbersome Error prone Inefficient Big configuration space of control and deployment parameters of applications Response to changes in hardware resources or other criteria Difficult to scale up manually written XML configurations Usual outcome: Under tested software

STV'06 Workshop March 30, 2006 Goals Testing large sets of system configurations Simple powerful specifications Tool to take specifications to instances Configure series of tests from the specifications Help finding corner cases Potential functional errors Potential performance problems Unexpected system interactions

STV'06 Workshop March 30, 2006 Model Driven Approach Domain Specific Modeling Use domain specific models to encapsulate relevant parts of the system properties Provide multiple view points Decouple types, resources, dataflow and deployment aspects Generative modeling Vary range of behavioral and structural system parameters System generation Automatically generate configurations from higher level models

STV'06 Workshop March 30, 2006 Tool Structure Test Series Definition Models

STV'06 Workshop March 30, 2006 Test Series Definition Define tests using a high level modeling language called Test Series Definition Modeling Language (TSDML) Define application types Form a template test case from those types Define dataflow association between applications by connection rules Define deployment associations for applications Define the variance on the system size and structure Define variance on the application parameters Define available resources Automatically create series of test configuration models by replicating and adapting the template test case

STV'06 Workshop March 30, 2006 Tool Structure Test Series Definition Models Generator (1-*) Test Configuration Models

STV'06 Workshop March 30, 2006 Test Configuration Models Form the configuration layer Each test configuration model capture: Specific dataflow scenario Specific deployment scenario Configuration Schema Represents single system representation to be tested Automatically generate single configuration file per configuration model Test driver scripts can also be generated

STV'06 Workshop March 30, 2006 Tool Structure Test Series Definition Models Generator (1-*) Test Configuration Models XML Configs Test Scripts Generator (1) Application Runtime ( System Under Test ) Test Execution & Validation Engine Applications

STV'06 Workshop March 30, 2006 System Under Test XDAQ Framework High performance distributed middleware framework developed at CERN Will be used for Compact Muon Selenoid (CMS) experiment Run-time support for clustered applications Predefined functions to configure and control the applications and their parameters XML is used for configuration of XDAQ and its applications

STV'06 Workshop March 30, 2006 Test Series Definition Modeling Language (TSDML) Parameterized model Varying system structure (size) Iterators: e.g. i,j,k = {start, step, stop} Replicators: e.g. r1=n*i, r2=m*j Connectors: Boolean function of iterator, and replicator If src=(i,r1) and dst=(j,r2) C=f(src,dst) C=2*src==3*dst i r1 App1 j App2 r2 Connector

STV'06 Workshop March 30, 2006 Iterator-Replicator Example Assume i = 1:1:2, j= 1:1:4, r1 = 2, r2 = 4 r2 i r1 App1 j App2 Test Caseij#App1#App

STV'06 Workshop March 30, 2006 Connector Example i = 1:1:2, j= 1:1:4, r1 = 2, r2 = 3 CR = src=floor((dst-1)/(j*r2/i*r1)) + 1 i r1 App1 i App2 r2 Test Caseij#App1#App Connector

STV'06 Workshop March 30, 2006 Connector Example (ctd…) App1 App2 App1 App2 (1) (2) (1) dstdst srcsrc Rule: src=floor((dst-1)/(j*r2/i*r1)) + 1 (2) (3) (4) 1=floor(0/2) + 1 => TRUE1=floor(1/2) + 1 => TRUE1=floor(2/2) + 1 => FALSE1=floor(3/2) + 1 => FALSE

STV'06 Workshop March 30, 2006 Test Series Definition Modeling Language (TSDML) Varying application parameters with parameter generator Has a function attribute Function of iterator Function attribute may be: Internal function e.g. result = src * 256 where src = i Matlab script e.g. lut = [ ]; result = lut[src]; Internal lookup table

STV'06 Workshop March 30, 2006 Example TSDML

STV'06 Workshop March 30, 2006 Example TSDML 2*i 1:1:8 1:1:1 2*i 16*i 1*i

STV'06 Workshop March 30, 2006 Conclusion Domain specific modeling for capturing relevant system parts Vary system structure and application parameters from high level model Generate series of test configurations from a single high level model Generate the configuration representation Mitigate the complexity of creating many system test configurations

STV'06 Workshop March 30, 2006 Ongoing Work Add another layer on top of TSDML System model Application behavior Target framework Analyze the models Assess important parts of the system to exercise and test

STV'06 Workshop March 30, 2006 Thank you!

A Model Driven Tool for Automated System Level Testing of Middleware Turker Keskinpala Abhishek Dubey Steve Nordstrom Ted Bapty Sandeep Neema Institute for Software Integrated Systems Vanderbilt University Nashville, TN USA