![Overview ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
More Related Content
What's hot
What's hot (20)
Viewers also liked
Viewers also liked (11)
Similar to Model-based GUI testing using UPPAAL
Similar to Model-based GUI testing using UPPAAL (20)
Model-based GUI testing using UPPAAL
- 1. Model-based Automatic Offline MMI Testing @ Novo Nordisk A/S Jacob Illum, CISS Ulrik Hørlyk Hjort, BestPractice Consulting I-DAY @ FM2009, Eindhoven, Nov. 5th
- 3. CISS Focus Areas Applikationer Teknologi Værktøj Modeller Metoder Protokoller Design- og Prog.sprog Operativ system HW platform GPS Open source Home automation Mobile robotter Intelligente sensorer Ad hoc netværk Mobiltlf Audio/Video Konsum elektr Kontrolsystemer Automobile X-by wire Algoritmik SW-udvikling Effektforbrug Pålidelighed Test & Validering Hybride systemer Kommunikationsteori Model Based Development of Embedded Software Intelligent Sensor Networks Embedded & RT Platform LAB Safety Critical Software Systems Embedded System Testing & Verification HW/SW Co-Design, Design Space Exploration Resource Optimal Scheduling Security High Level Programming Languages for ES IT in Automation
- 4. Timed Automata Synchronization Guard Invariant Reset [Alur & Dill’89] Resource
- 5. Timed Automata Resource Semantics: ( Idle , x=0 ) ( Idle , x=2.5) d(2.5) ( InUse , x=0 ) use? ( InUse , x=5) d(5) ( Idle , x=5) done! ( Idle , x=8) d(3) ( InUse , x=0 ) use? [Alur & Dill’89]
- 6. Timed Automata Resource Semantics: ( Idle , x=0 ) ( Idle , x=2.5) d(2.5) ( InUse , x=0 ) use? ( InUse , x=5) d(5) ( Idle , x=5) done! ( Idle , x=8) d(3) ( InUse , x=0 ) use? [Alur & Dill’89] Synchronization Guard Invariant Reset
- 7. Timed Automata Resource Semantics: ( Idle , x=0 ) ( Idle , x=2.5) d(2.5) ( InUse , x=0 ) use? ( InUse , x=5) d(5) ( Idle , x=5) done! ( Idle , x=8) d(3) ( InUse , x=0 ) use? [Alur & Dill’89] Synchronization Guard Invariant Reset
- 8. Timed Automata Resource Semantics: ( Idle , x=0 ) ( Idle , x=2.5) d(2.5) ( InUse , x=0 ) use? ( InUse , x=5) d(5) ( Idle , x=5) done! ( Idle , x=8) d(3) ( InUse , x=0 ) use? [Alur & Dill’89] Synchronization Guard Invariant Reset
- 9. Timed Automata Resource Semantics: ( Idle , x=0 ) ( Idle , x=2.5) d(2.5) ( InUse , x=0 ) use? ( InUse , x=5) d(5) ( Idle , x=5) done! ( Idle , x=8) d(3) ( InUse , x=0 ) use? [Alur & Dill’89] Synchronization Guard Invariant Reset
- 10. Composition Resource Task Shared variable Synchronization Semantics: ( Idle , Init , B=0, x=0) ( Idle , Init , B=0 , x=3.1415 ) d(3.1415) ( InUse , Using , B=6, x=0 ) use ( InUse , Using , B=6, x=6 ) d(6) ( Idle , Done , B=6 , x=6 ) done
- 11. Composition Resource Task Semantics: ( Idle , Init , B=0, x=0) ( Idle , Init , B=0 , x=3.1415 ) d(3.1415) ( InUse , Using , B=6, x=0 ) use ( InUse , Using , B=6, x=6 ) d(6) ( Idle , Done , B=6 , x=6 ) done Shared variable Synchronization
- 12. Composition Resource Task Semantics: ( Idle , Init , B=0, x=0) ( Idle , Init , B=0 , x=3.1415 ) d(3.1415) ( InUse , Using , B=6, x=0 ) use ( InUse , Using , B=6, x=6 ) d(6) ( Idle , Done , B=6 , x=6 ) done Shared variable Synchronization
- 13. Composition Resource Task Semantics: ( Idle , Init , B=0, x=0) ( Idle , Init , B=0 , x=3.1415 ) d(3.1415) ( InUse , Using , B=6, x=0 ) use ( InUse , Using , B=6, x=6 ) d(6) ( Idle , Done , B=6 , x=6 ) done Shared variable Synchronization
- 14. Advanced Features int [0,1234] ivar = 42; typedef struct { bool sL; } base_t; base_t Base; bool func(base_t & bt) { if (ivar < 31) return bt.sL; else return true ; } Template ( base_t & bt )
- 25. Questions? Thank you for your attention!