DEVELOPING SIMULATED ENVIRONMENTS TESTING APPLICATIONS

Stimulus Producers motion producer luminosity producer smoke producer. Defining behaviors of. - Simulated Services. - Stimulus Producers. Defining locations.
2MB taille 5 téléchargements 342 vues
DIASIM: A PARAMETERIZED SIMULATOR FOR PERVASIVE COMPUTING APPLICATIONS CONTRIBUTIONS Parameterized simulator Generated simulation support Transparent simulation Hybrid simulated environments Graphical simulation renderer

MOTIVATION

Testing pervasive computing applications is time-consuming, money-consuming and error-prone

DEVELOPING SIMULATED ENVIRONMENTS Developing Applications with DiaSpec

Defining Simulated Environments

GOAL Easing the introduction of new classes of services and stimuli APPROACH Declaring pervasive computing environments with DiaSpec

GOAL Defining simulated services and stimuli APPROACH Graphical editor and libraries of predefined behaviors

Display Service

Alarm



OnOff

Application

Display

Intrusion Activity

Intrusion Detected

Defining types of - Services - Exchanged data Defining interactions

Defining behaviors of - Simulated Services - Stimulus Producers Defining locations

Intrusion ContextSource

Parameterizing the Simulation Editor



Abnormally Occupied

Building ContextSource

BuildingState Changed



GetBuildingState

Area ContextSource





ClassSchedule

Motion

Calendar

Application



Break

MotionDetector

BreakDetector

Simulation Editor

Environment Specification Programming Framework

Specification Compiler

Generating Simulated Services

Generating Stimulus Producers

simulation-specific Actual Layer

Simulation Layer

GOAL Easing the development of applications and services

}

APPROACH Generating high-level support actual services

motion luminosity producer producer

fire smoke producer producer

simulated services

stimuli

TESTING APPLICATIONS Transparent Simulation

Hybrid Simulated Environments

GOAL Testing application without code modification APPROACH Abstracting the nature of simulated services at lookup time

GOAL Combining simulated and actual services - To test actual services - To incrementally switch to actual environments APPROACH Building simulated services as extensions of actual services

Application

Simulation Renderer Service lookup Testing Phase

Deployment Phase

extension Classes of actual services

Classes of simulated services

Using polymorphism to enable hybrid environments simulated services

actual services

Stimulus Producers

Actual Services

GOAL Monitoring simulated environments to detect bugs in applications APPROACH Visual representations for an open-ended set of services and stimuli Debugging facilities to navigate in environments in terms of time and space

http://diasim.bordeaux.inria.fr

Integrating actual services

Wilfried Jouve, Julien Bruneau, Charles Consel INRIA / LaBRI / ENSEIRB, Talence, France {first-name.last-name}@inria.fr