000 04038nam a22005535i 4500
001 978-3-540-34185-7
003 DE-He213
005 20240730194330.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540341857
_9978-3-540-34185-7
024 7 _a10.1007/11754008
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aTesting of Communicating Systems
_h[electronic resource] :
_b18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings /
_cedited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aXI, 373 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v3964
505 0 _aSession 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.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer networks .
_931572
650 0 _aTelecommunication.
_910437
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Communication Networks.
_9156648
650 2 4 _aCommunications Engineering, Networks.
_931570
700 1 _aUyar, M. Ümit.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156649
700 1 _aDuale, Ali Y.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156650
700 1 _aFecko, Mariusz A.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156651
710 2 _aSpringerLink (Online service)
_9156652
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540341840
776 0 8 _iPrinted edition:
_z9783540823926
830 0 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v3964
_9156653
856 4 0 _uhttps://doi.org/10.1007/11754008
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95143
_d95143