Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Software Error Detection through Testing and Analysis

Buy

An in-depth review of key techniques in software error detection

Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers:

  • Code-based test-case selection methods
  • Specification-based test-case selection methods
  • Additional advanced topics in testing
  • Analysis of symbolic trace
  • Static analysis
  • Program instrumentation

Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test.

Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels.

(HTML tags aren't allowed.)

Ruby on Rails Enterprise Application Development: Plan, Program, Extend
Ruby on Rails Enterprise Application Development: Plan, Program, Extend
This book for developers familiar with Ruby on Rails who want to develop and roll out small applications deals with a key feature or functional area of a complex, full-scale Rails application in each chapter, from installing Ruby, Rubygems, and Rails on Windows, Linux, or Mac OS X and setting up a Subversion repository, to improving user interfaces...
Querying Databases Privately: A New Approach to Private Information Retrieval (Lecture Notes in Computer Science)
Querying Databases Privately: A New Approach to Private Information Retrieval (Lecture Notes in Computer Science)
The Internet and the worldwide web play an increasingly important role in our private and professional activities, for example in accessing information about cultural, political, economical, medical or scientific information. Many people assume that they can access such information privately.

This book addresses the topic of querying...

CURRENT Medical Diagnosis and Treatment 2009 (LANGE CURRENT Series)
CURRENT Medical Diagnosis and Treatment 2009 (LANGE CURRENT Series)

The #1 annually updated text in internal medicine -- trusted, authoritative, and essential to daily practice

A Doody's Core Title ESSENTIAL PURCHASE!

5 STAR DOODY'S REVIEW
"This book has the benefit of being updated yearly and thus has stood the test of time for recognizing what
...


.NET Windows Forms Custom Controls
.NET Windows Forms Custom Controls

The intent of this book is to teach .NET developers the skills necessary to create their own leading edge custom controls. The art of creating custom controls has never been truly explored in detail, often the examples provided are trivial and do not begin to explore the requirements need for a commercial quality custom control. This book will...

Coping with Uncertainty: Modeling and Policy Issues
Coping with Uncertainty: Modeling and Policy Issues
Uncertainties and risks have always been, and will remain, present; both in everybody’s life and in policy making. This presence is not always recognized because humans tend to perceive the world in a deterministic way, and in most cases succeed in somehow dealing with uncertainties. However, ignoring uncertainties often results in serious...
AdvancED CSS
AdvancED CSS

In this book you'll

  • Discover how to make use of CSS 2.1 alongside CSS3.
  • Use CSS generated content to automatically number arbitrary elements and expose attribute metadata.
  • Learn how to use CSS for print and mobile devices, as well as for presenting XML data.
  • Uncover the techniques used...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy