Testing of Communicating Systems
Testing of Communicating Systems

Author: Nina Yevtushenko

Publisher: Springer

Published: 2013-11-11

Total Pages: 360

ISBN-13: 038735381X

DOWNLOAD EBOOK

Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing. This book contains the selected proceedings of the 11th International Workshop on the Testing of Communicating Systems, formerly the International Workshop on Protocol Test Systems, sponsored by the International Federation for Information Processing (IFIP), and held in Tomsk, Russia, in August/September 1998. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.

Testing of Communicating Systems XIV
Testing of Communicating Systems XIV

Author: Ina Schieferdecker

Publisher: Springer

Published: 2013-06-05

Total Pages: 438

ISBN-13: 0387354972

DOWNLOAD EBOOK

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.

Intelligent Satellite Design and Implementation
Intelligent Satellite Design and Implementation

Author: Jianjun Zhang

Publisher: John Wiley & Sons

Published: 2023-11-02

Total Pages: 228

ISBN-13: 1394198957

DOWNLOAD EBOOK

Integrate cutting-edge technology into spacecraft design with this groundbreaking work Artificial intelligence and machine learning have revolutionized virtually every area of computing and complex engineering, and the design of satellite spacecraft is no exception. Intelligent satellites are increasingly capable of human-like perception, decision-making, and operations, and their problem-solving capacities are still expanding. As AI and machine learning continue to advance, their integration into satellite manufacture will only deepen. Intelligent Satellite Design and Implementation seeks to understand the foundations of this integration and its likely directions in the coming years. Beginning from the basic principles of interaction between artificial intelligence and satellite design and mission planning, the book analyzes a series of current or potential areas of technological advancement to create a comprehensive overview of the subject. Intelligent Satellite Design and Implementation readers will also find: Background information on the introduction and development of artificial intelligence Detailed discussion of topics including autonomous satellite operation, remote sensing satellites, and many more Over 100 illustrations and tables to reinforce key concepts Intelligent Satellite Design and Implementation is ideal for graduate students and advanced undergraduates in engineering, computing, and spacecraft design programs, as well as researchers in these and related fields.

Formal Approaches to Software Testing
Formal Approaches to Software Testing

Author: Andreas Ulrich

Publisher: Springer

Published: 2004-01-24

Total Pages: 276

ISBN-13: 3540246177

DOWNLOAD EBOOK

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.