Muutke küpsiste eelistusi

Testing of Communicating Systems XIV: Application to Internet Technologies and Services Softcover reprint of the original 1st ed. 2002 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 452 pages, kõrgus x laius: 235x155 mm, kaal: 712 g, XVI, 452 p., 1 Paperback / softback
  • Sari: IFIP Advances in Information and Communication Technology 82
  • Ilmumisaeg: 04-Mar-2013
  • Kirjastus: Springer-Verlag New York Inc.
  • ISBN-10: 1475767056
  • ISBN-13: 9781475767056
Teised raamatud teemal:
  • Pehme köide
  • Hind: 141,35 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 166,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Testing of Communicating Systems XIV: Application to Internet Technologies and Services Softcover reprint of the original 1st ed. 2002Suurem pilt
  • Formaat: Paperback / softback, 452 pages, kõrgus x laius: 235x155 mm, kaal: 712 g, XVI, 452 p., 1 Paperback / softback
  • Sari: IFIP Advances in Information and Communication Technology 82
  • Ilmumisaeg: 04-Mar-2013
  • Kirjastus: Springer-Verlag New York Inc.
  • ISBN-10: 1475767056
  • ISBN-13: 9781475767056
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9781475767056.html
Märksõnad:
Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.

Muu info

Springer Book Archives
Testing of IP Services & Applications in a Service Provider
Environment.- A TCP Test System Specifying only Exceptional Packet
Sequences.- Verifying IP Meters from Sampled Measurements.- Testing IP
Differentiated Services Implementations.- Achieving High Reliability for
Ubiquitous Information Technology.- An Automated, Flexible Testing
Environment for UMTS.- Testing Mobile Agents.- Testing Access to External
Information Sources in a Mediator Environment.- Compliance of Wireless
Application Protocols.- A Flexible Traffic Generator for Testing PABX and
Call Center Performance.- Interoperability Test Generation for Communication
Protocols based on Multiple Stimuli Principle.- Automated Generation of
Interoperability Tests.- Applying Formal Methods in Mobile Protocol Testing.-
Experiences of TTCN-3 Test Executor Development.- Position Statement: Making
TTCN-3 testing a success.- Position Statement: Testing Automation with
Computer Aided Test Case Generation.- Automated Testing in Practice: The
Highway Tolling System.- Ad-hoc Protocol Modelling, Validation and Automated
Test Suite Generation.- Generate Certified Test Cases by Combining Theorem
Proving and Reachability Analysis.- Test Selection, Trace Distance and
Heuristics.- Formulation of the Interaction Test Coverage Problem as an
Integer Program.- Principles of Distributed Test Synthesis based on
True-concurrency Models.- Fault Detection within a Component of a System of
Communicating FSMs.- Hardware/Software Integration Testing for the new Airbus
Aircraft Families.- Test Generation for CEFSM Combining Specification and
Fault Coverage.- FSM-based Re-Testing Methods.- A New Approach To Checking
Sequence Generation for Finite State Machines.- Timed TTCN-3 A Real-Time
Extension for TTCN-3.- Implementation of TTCN-3 TestSystems using the TRI.- A
Definition and Utilisation of OMG IDL to TTCN-3 Mappings.- Author Index.-
Partners of TestCom 2002.