Testing of Communicating Systems (eBook, PDF)
18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
Redaktion: Uyar, M. Ümit; Fecko, Mariusz A.; Duale, Ali Y.
40,95 €
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
40,95 €
Als Download kaufen
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
20 °P sammeln
Testing of Communicating Systems (eBook, PDF)
18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
Redaktion: Uyar, M. Ümit; Fecko, Mariusz A.; Duale, Ali Y.
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
![](https://bilder.buecher.de/images/aktion/tolino/tolino-select-logo.png)
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
![](https://bilder.buecher.de/images/aktion/tolino/tolino-select-logo.png)
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the 18th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2006. The 23 revised full papers presented were carefully reviewed and selected from initially 48 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 5.25MB
Andere Kunden interessierten sich auch für
- Testing of Communicating Systems (eBook, PDF)40,95 €
- Testing of Software and Communicating Systems (eBook, PDF)40,95 €
- Testing of Software and Communicating Systems (eBook, PDF)40,95 €
- Testing Software and Systems (eBook, PDF)40,95 €
- Risk Assessment and Risk-Driven Testing (eBook, PDF)32,95 €
- Model-Based Testing of Reactive Systems (eBook, PDF)40,95 €
- Testing Software and Systems (eBook, PDF)53,95 €
-
-
-
This book constitutes the refereed proceedings of the 18th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2006. The 23 revised full papers presented were carefully reviewed and selected from initially 48 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Produktdetails
- Produktdetails
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 373
- Erscheinungstermin: 27. April 2006
- Englisch
- ISBN-13: 9783540341857
- Artikelnr.: 44131237
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 373
- Erscheinungstermin: 27. April 2006
- Englisch
- ISBN-13: 9783540341857
- Artikelnr.: 44131237
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
Session I: Testing Theory and Foundations.- Symbolic Execution Techniques for Test Purpose Definition.- Controllable Combinatorial Coverage in Grammar-Based Testing.- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.- Session II: Testing Non-deterministic and Probabilistic Systems.- Bounded Sequence Testing from Non-deterministic Finite State Machines.- LaTe, a Non-fully Deterministic Testing Language.- Customized Testing for Probabilistic Systems.- Session III: Testing Internet and Industrial Systems.- Generating Test Cases for Web Services Using Extended Finite State Machine.- Towards the Testing of Composed Web Services in 3rd Generation Networks.- Application of Two Test Generation Tools to an Industrial Case Study.- Session IV: TTCN-3.- Performance Analysis of Concurrent PCOs in TTCN-3.- Use of TTCN-3 for Software Module Testing.- Distributed Load Tests with TTCN-3.- Session V: Compositional and Distributed Testing.- Analyzing the Impact of Protocol Changes on Tests.- Detecting Observability Problems in Distributed Testing.- Compositional Testing of Communication Systems.- Session VI: FSM-Based Testing and Diagnosis.- FSM Test Translation Through Context.- Using Distinguishing and UIO Sequences Together in a Checking Sequence.- Reducing the Lengths of Checking Sequences by Overlapping.- Session VII: Timed Systems.- Test Case Minimization for Real-Time Systems Using Timed Bound Traces.- Symbolic and on the Fly Testing with Real-Time Observers.- Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems.- Session VIII: Testing for Security.- Test Generation for Network Security Rules.- Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.
Session I: Testing Theory and Foundations.- Symbolic Execution Techniques for Test Purpose Definition.- Controllable Combinatorial Coverage in Grammar-Based Testing.- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.- Session II: Testing Non-deterministic and Probabilistic Systems.- Bounded Sequence Testing from Non-deterministic Finite State Machines.- LaTe, a Non-fully Deterministic Testing Language.- Customized Testing for Probabilistic Systems.- Session III: Testing Internet and Industrial Systems.- Generating Test Cases for Web Services Using Extended Finite State Machine.- Towards the Testing of Composed Web Services in 3rd Generation Networks.- Application of Two Test Generation Tools to an Industrial Case Study.- Session IV: TTCN-3.- Performance Analysis of Concurrent PCOs in TTCN-3.- Use of TTCN-3 for Software Module Testing.- Distributed Load Tests with TTCN-3.- Session V: Compositional and Distributed Testing.- Analyzing the Impact of Protocol Changes on Tests.- Detecting Observability Problems in Distributed Testing.- Compositional Testing of Communication Systems.- Session VI: FSM-Based Testing and Diagnosis.- FSM Test Translation Through Context.- Using Distinguishing and UIO Sequences Together in a Checking Sequence.- Reducing the Lengths of Checking Sequences by Overlapping.- Session VII: Timed Systems.- Test Case Minimization for Real-Time Systems Using Timed Bound Traces.- Symbolic and on the Fly Testing with Real-Time Observers.- Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems.- Session VIII: Testing for Security.- Test Generation for Network Security Rules.- Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.