This chapter complements the chapters on technical reviews and software reliability engineering in Volume 1 of the handbook. It is primarily concerned with the veri cation of code by means of testing, but an example of an informal proof of a program is also given. A practitioner's view of testing is taken throughout, including an overview of how testing is done at Microsoft.

The performance of a product is often evaluated by several quality characteristics.  ptimizing the manufacturing process with respect to only one quality characteristic will not always lead to the optimum values for other characteristics. Hence, it would be desirable to improve the overall quality of a product by improving quality characteristics, which are considered to be important. The probl...

We present an optimal power and rate control policy for delay constrained traffic in next generation TDMA wireless systems. Our solution minimizes average transmit power while satisfying a constraint on the distribution of packets lost to deadline expiration. We also provide a means to account for erroneous and delayed channel estimates. Our results show the optimal power and rate adaption may ...

The InfiniBand Architecture (IBA) is becoming an industry standard both for communication between processing nodes and I/O devices and for interprocessor communication. It replaces the traditional I/O bus with a switchbased interconnect for connecting processing nodes and I/O devices. It is being developed by the InfiniBand Trade Association (IBTA) to provide the levels of reliability, availabi...

Wireless sensor networks for critical industrial applications are becoming a remarkable technological paradigm. Large-scale adoption of the wireless connectivity in the field of industrial monitoring and process control is mandatorily paired with the development of tools for the prediction of the wireless link quality to mimic network planning procedures similar to conventional wired systems. I...

The quality of a Web-based customer support system involves the information it supplies, the service it provides, and characteristics of the system itself; its effectiveness is reflected by the satisfaction of its users. This paper presents the results of a study of quality and effectiveness in Web-based customer support systems. Data from a survey of 726 Internet users were used to test theore...

Information quality assessment of technical documentation is nowadays an integral part of quality management of products and services. These are usually assessed using questionnaires, checklists, and reviews and consequently work that is cumbersome, costly and prone to errors. Acknowledging the fact that only humans can assess certain quality aspects, we suggest complementing these with automat...

Routing protocols are important to exchange routing information between neighboring routers. Such information is used to update routing tables and to share information about status of the network so that traffics to appropriate destinations will be fast and efficient. Different types of routing protocols are in widespread use across the Internet. Apart from determining optimal routing paths and...