|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484470403321 |
|
|
Titolo |
Testing of communicating systems : 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006 : proceedings / / M. Umit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Springer, 2006 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 373 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 3964 |
LNCS sublibrary. SL 5, Computer communication networks and telecommunications |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
UyarM. Umit |
DualeAli Y |
FeckoMariusz A. <1968-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Telecommunication systems - Testing |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
|
|
|
|