Testing of Communicating Systems
by Petrenko, Alexandre; Yevtushenko, NinaRent Textbook
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
Table of Contents
| Preface | |
| Committee Members and Reviewers | |
| Testing of automata: from experiments to representations by means of fragments | p. 3 |
| TMN and telecommunication networks testing | p. 17 |
| Conformance testing methodology of Internet protocols Internet application-layer protocol testing - the hypertext transfer protocol | p. 35 |
| Intelligent protocol analyzer for WWW server accesses with exception handling function | p. 49 |
| Factorized test generation for multi-input/output transition systems | p. 67 |
| Test generation for specifications modeled by input/output automata | p. 83 |
| Distinguishing tests for nondeterministic finite state machines | p. 101 |
| Evaluation of test coverage for embedded system testing | p. 111 |
| Test suite minimization for testing in context | p. 127 |
| Test Architectures for distributed systems: state of the art and beyond | p. 149 |
| Using partial-orders for detecting faults in concurrent systems | p. 175 |
| Conformance testing of a multimedia system using PHACT | p. 193 |
| An industrial experiment in automatic generation of executable test suites for a cache coherency protocol | p. 211 |
| Autolink - Putting SDL-based test generation into practice | p. 227 |
| Testing Temporal Logic Properties in Distributed Systems | p. 247 |
| Programming service tests with TTCN | p. 263 |
| A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols | p. 279 |
| Testing and test generation: state of the art and future expectations | p. 297 |
| Interoperability test suite derivation for the ATM/B-ISDN signaling protocol | p. 313 |
| Test suite migration experiences for B-ISUP and B-MTP | p. 331 |
| Qualitative notions of testability | p. 349 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.