LEADER 04568nam 22006855 450 001 996465878603316 005 20200701052318.0 010 $a3-540-34185-4 024 7 $a10.1007/11754008 035 $a(CKB)1000000000232976 035 $a(SSID)ssj0000320339 035 $a(PQKBManifestationID)11253486 035 $a(PQKBTitleCode)TC0000320339 035 $a(PQKBWorkID)10347737 035 $a(PQKB)11146091 035 $a(DE-He213)978-3-540-34185-7 035 $a(MiAaPQ)EBC3068021 035 $a(PPN)123134730 035 $a(EXLCZ)991000000000232976 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting of Communicating Systems$b[electronic resource] $e18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings /$fedited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XI, 373 p.) 225 1 $aComputer Communication Networks and Telecommunications ;$v3964 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-34184-6 320 $aIncludes bibliographical references and index. 327 $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. 410 0$aComputer Communication Networks and Telecommunications ;$v3964 606 $aSoftware engineering 606 $aComputer communication systems 606 $aElectrical engineering 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aCommunications Engineering, Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/T24035 610 1 $aTesting 610 1 $aTestCom 610 1 $aCommunicating systems 610 2 $aIFIP 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aElectrical engineering. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aCommunications Engineering, Networks. 676 $a621.382 702 $aUyar$b M. Ümit$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDuale$b Ali Y$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFecko$b Mariusz A$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aIFIP TC6/WG6.1 International Conference on Testing of Communicating Systems 906 $aBOOK 912 $a996465878603316 996 $aTesting of Communicating Systems$9772523 997 $aUNISA