SLIDE 1
– 1 – November 1997 Facilities for Testing Control Software
Overview
- What is control software?
- What is the problem?
- The architecture
- The testing architecture
- Design for test
- Implementation
- Application
- Conclusion
Facilities for Testing Control Software Pieter J. Schoenmakers - - PowerPoint PPT Presentation
Facilities for Testing Control Software Pieter J. Schoenmakers - - PowerPoint PPT Presentation
Facilities for Testing Control Software Pieter J. Schoenmakers <tiggr@ics.ele.tue.nl> Eindhoven University of Technology November 1997 Overview What is control software? What is the problem? The
SLIDE 2
SLIDE 3
– 2 – November 1997 Facilities for Testing Control Software
Control Software
control software hw/sw system codesigned hw / sw environment
control software is
✁high-level
✁no stream / data processing
✁developed independent of codesign process
SLIDE 4
– 3 – November 1997 Facilities for Testing Control Software
Problem Statement
How to test control software?
✂at (sub-) system level
✂prior to hardware availability
✂unattended
✂independent of hardware / availability
Generalizing
✂how to test software that interacts with hardware
✂independent of hardware
✂unattended
✂convert control software into ‘normal’ software
✂normal testing methods apply
✂normal tools can be used
SLIDE 5
– 4 – November 1997 Facilities for Testing Control Software
The Architecture
codesigned hw / sw environment control software core hardware abstraction hardware abstraction hardware abstraction
…
SLIDE 6
– 5 – November 1997 Facilities for Testing Control Software
The Testing Architecture
test driver simulated environment control software under test core hardware model
… t e s t i n g e x t e n s i
- n
hardware model hardware model hardware model:
- simulator / emulator
- special purpose sw
- anything
SLIDE 7
– 6 – November 1997 Facilities for Testing Control Software
Design for Test
Hardware
✄test: the design a particular instance
✄testing facilities: part of design
Software
✄test: the design
✄testing facilities: not part of design
SLIDE 8
– 7 – November 1997 Facilities for Testing Control Software
Implementation
premise: object oriented programming language mechanism: ability to amend objects’ behavior
☎modify / add behavior replace / add methods
☎support complex behavior add instance variables
☎no recompilation
facilities: driver and framework
☎test driver
☎extensible simulated environment
☎testing extensions framework
SLIDE 9
– 8 – November 1997 Facilities for Testing Control Software
Application
proof of concept: elevator control
✆service s systems of f floors using e elevators
✆simulated environment
✆cage movement (constant speed, infinite acceleration)
✆inhabited by p persons
✆push buttons
✆- bserve an elevator or floor
test execution
✆scenario generation (no record or playback)
✆- utcome: conditions, invariants
SLIDE 10
– 9 – November 1997 Facilities for Testing Control Software