Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Mai 2005
Genre:	EDV / Informatik
	Algorithms / C / communicating systems testing / Computer Communication Networks / Computer communication systems / computer science / data flow testing / Network hardware / Netzwerk-Hardware / Software Engineering / Software Testing / systems testing / systems validation / systems verification / telecommunications / Unified Modeling Language (UML) mehr...
ISBN:	9783540260547
EAN-Code:	9783540260547
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Computer Communication Networks and Telecommunications #3502 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1230 gr
Seiten:	380
Illustration:	X, 380 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The Epistemology of Validation and Verification Testing.- Passive Testing - A Constrained Invariant Checking Approach.- Dependence Testing: Extending Data Flow Testing with Control Dependence.- Comparing Bug Finding Tools with Reviews and Tests.- Cross-Language Functional Testing for Middleware.- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.- Action Refinement in Conformance Testing.- Multiplexing of Partially Ordered Events.- Testing Communicating Systems: a Model, a Methodology, and a Tool.- Coping with Nondeterminism in Network Protocol Testing.- Eliminating Redundant Tests in a Checking Sequence.- On FSM-Based Fault Diagnosis.- State Identification Problems for Timed Automata.- Timing Fault Models for Systems with Multiple Timers.- An Expressive and Implementable Formal Framework for Testing Real-Time Systems.- Firewall Conformance Testing.- Test Generation for Interaction Detection in Feature-Rich Communication Systems.- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.- From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -.- Using TTCN-3 for Testing Platform Independent Models.- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.- A Model-Based Approach for Robustness Testing.- Content-Level Conformance Testing: An Information Mapping Case Study.- Quiescence Management Improves Interoperability Testing.