Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
2978 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Testing of communicating systems, 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004, proceedings, Roland Groz, Robert M. Hierons (eds.), Berlin, Springer, 2004, 1 vol. (XII-223 p.), Lecture notes in computer science, 3-540-21219-1 • Testing of Communicating Systems, Texte imprimé, 9783662162439 |
Sommario:
- Implementation of an Open Source Toolset for CCM Components and Systems Testing
- A Multi-service and Multi-protocol Validation Platform Experimentation Results
- From Design to Test with UML
- BCMP Performance Test with TTCN-3 Mobile Node Emulator
- FSM Based Interoperability Testing Methods for Multi Stimuli Model
- On Testing Partially Specified IOTS through Lossless Queues
- Testing Multi Input/Output Transition System with All-Observer
- Soip Over Satellite Testing TIM Experience
- Generation of Optimized Testsuites for UML Statecharts with Time
- Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing
- From Safety Verification to Safety Testing
- Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols
- Mutation Testing Applied to Validate SDL Specifications
- Execution of External Applications using TTCN-3.