Product Description: The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States...read more

Product Description: Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that will ensure better quality, performance, cost and reliability of technical products and systems...read more (view table of contents, read Amazon.com's description)

Product Description: Seventy-three contributors from 12 countries in Asia, Europe, and North America demonstrate a strong interest in the field of test and design technologies. Discussions include fault simulation, one-line testing, diagnostics, and testability techniques...read more

Product Description: This guide supplies innovative ideas concerning software quality control and the necessary theoretical and practical considerations of software testing needed by today's data processing practitioners. Features easy-to-understand discussions of software testing methods and contains example test plans designed for real world information systems...read more

Product Description: BY H. KOPETZ A real-time computer system must provide the intended service in two di­ mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com­ plex than the verification of a non-real-time system which has to be checked in the value dimension only...read more

Product Description: This reference presents, in detail, an effective, step-by-step, cost-effective approach to software testing that is based on common practice—with improvements inspired by academic testing research and practial experience. The approach is designed to be gradually adoptable, so that it does not disrupt current work, and it scales down gracefully under schedule pressure...read more (view table of contents, read Amazon.com's description)

From a leading expositor of testing methods, a practical, comprehensive, hands-on guide to the state-of-the-art black-box testing techniques This book fills a long-standing need in the software and general systems development communities to make the essential aspects of black-box testing available in one comprehensive work. Written by one of the world's most respected figures in the field of testing, it is both a valuable working resource for independent testers and programmers and an excellent practical introduction for students. Dr. Boris Beizer clearly explains the principles behind behavioral testing in general and behind the most important black-box testing techniques in use today, which involve testing a system based on its desired behavior or function and for conformance to its specifications. Then, with fully worked examples, he leads you step-by-step from specifications to finished test cases. Complete coverage of all important test techniquesæincluding those that apply to object-oriented software * Up-to-dateæincluding the most recent breakthroughs in domain testing that now make this technique available to the working tester with no tools needed beyond a calculator or spreadsheet * Examples based on the popular off-the-shelf tax preparation packages let you try the techniques on your favorite tax software * Includes all necessary IRS tax forms * Self-evaluation quizzes help you evaluate your understanding of the material (view table of contents)

Product Description: An important new object-oriented testing approach that gives you greater reusability, improved software quality, and reduced development costs Integration testing, black box testing, regression testing, requirements testing . . ...read more (view table of contents, read Amazon.com's description)

Product Description: Visual Test is a tool that allows one to automate the testing of a product that runs under Windows 95 and Windows NT. This book discusses Visual Test and how to use it to develop and launch quality products successfully. Visual Test will emulate user actions, reproduce steps, do compatibility testing and benchmarking, and is completely customizable...read more

Product Description: Book by Jack, Oliver

Product Description: Software testers require people-oriented skills to survive what can often be a lose-lose relationship with developers and managers. Surviving the Top Ten Challenges of Software Testing goes beyond the technical skillsets required for effective testing to address the political realities that can't be solved by technical knowledge alone...read more (view table of contents, read Amazon.com's description)

Product Description: Object-oriented programming increases software reusability, extensibility, interoperability, and reliability. Software testing is necessary to realize these benefits by uncovering as many programming errors as possible at a minimum cost...read more (view table of contents, read Amazon.com's description)

Product Description: Software developers and application programmers now have the tools to exploit the processing power of multi-processor installations that provide fault-tolerance and reliability whenever safety-critical application problems are to be solved...read more