Muutke küpsiste eelistusi

E-raamat: Testing of Communicating Systems XIV: Application to Internet Technologies and Services

Edited by , Edited by , Edited by
  • Formaat - PDF+DRM
  • Hind: 159,93 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.