Testing of communicating systems : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006 : proceedings /
Testing of communicating systems : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006 : proceedings /
IFIP TC 6/WG 6.1 International Conference Eighteenth IFIP TC 6/WG 6.1 International Conference TestCom 2006
M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.).
- Berlin ; New York : Springer, ©2006.
- 1 online resource (xi, 372 pages) : illustrations
- Lecture notes in computer science, 3964 0302-9743 ; .
- Lecture notes in computer science ; 3964. .
Includes bibliographical references and index.
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.
Available to OhioLINK libraries.
"This volume contains the proceedings of the 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006)."
English.
9783540341857 3540341854 3540341846 9783540341840
10.1007/11754008 doi
978-3-540-34184-0 Springer http://www.springerlink.com
GBA652205 bnb
013481775 Uk
Telecommunication systems--Testing--Congresses.
Systèmes de télécommunications--Essais--Congrès.
TECHNOLOGY & ENGINEERING--Telecommunications.
Télécommunications, Systèmes de--Essais.
Informatique.
Telecommunication systems--Testing.
Testing TestCom Communicating systems IFIP engineering computerwetenschappen computer sciences computernetwerken computer networks software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
TK5101.A1 / I333 2006
621.382
Includes bibliographical references and index.
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.
Available to OhioLINK libraries.
"This volume contains the proceedings of the 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006)."
English.
9783540341857 3540341854 3540341846 9783540341840
10.1007/11754008 doi
978-3-540-34184-0 Springer http://www.springerlink.com
GBA652205 bnb
013481775 Uk
Telecommunication systems--Testing--Congresses.
Systèmes de télécommunications--Essais--Congrès.
TECHNOLOGY & ENGINEERING--Telecommunications.
Télécommunications, Systèmes de--Essais.
Informatique.
Telecommunication systems--Testing.
Testing TestCom Communicating systems IFIP engineering computerwetenschappen computer sciences computernetwerken computer networks software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
TK5101.A1 / I333 2006
621.382