(Downloads - 0)
For more info about our services contact : help@bestpfe.com
Table of contents
1 Introduction
2 Testing Mixed Music Systems: State of the Art
2.1 Testing Mixed Music Systems
2.1.1 Composition and Authoring Systems
2.1.2 Interactive Music Systems for Performance
2.1.3 The score-based Interactive Music System Antescofo
2.1.4 Testing Interactive Music Systems
2.2 Model of Timed System
2.2.1 Input/Output System Models
2.2.2 Time Modeling
2.2.3 Network of Timed Automata
2.3 Model-Based Testing
3 Event and Time Triggered Model
3.1 Interactive Real-Time Model
3.1.1 Principles of Interactive Real-Time Models
3.1.2 Syntax and Semantics
3.2 Correspondence with Timed Automata
3.2.1 Translation into Timed Automata
3.2.2 Soundness of the Translation
3.3 The Real-Time Virtual Machine
4 Real-Time Model-Based Testing Framework
4.1 Automatic Model-Based Testing Workflow
4.1.1 Requirements
4.1.2 Model Construction
4.1.3 Generation of Input Test Data
4.1.4 Simulation for Generation of Reference Output
4.1.5 Test Execution
4.1.6 Comparison
4.1.7 Verdict
4.2 Model Construction Rules
4.2.1 Operators
4.2.2 Rules for requirements
4.2.3 Environment rules
4.2.4 Toy example model
4.3 Input Generation Algorithms
4.3.1 Model-Based Algorithms
4.3.2 Requirement-Based Algorithms
4.3.3 Stochastic Algorithms
5 Case Study: Application to the Interactive Music Systemv Antescofo
5.1 Antescofo
5.1.1 Architecture
5.1.2 Antescofo Domain Specific Language
5.2 Model-Based Testing Antescofo
5.2.1 Model Construction
5.2.2 Antescofo Models
5.2.3 Applying Test Framework
5.3 Experiments
5.3.1 Results with Offline Approach
5.3.2 Results with Online Approach
6 Conclusion and Perspectives
6.1 Discussions
6.2 Related Work
6.3 Future Work
