Software testing

Software is today used in more and different ways than ever before. From refrigerators
and cars to space shuttles and smart cards. As such, most software, usually need to
adhere to a specification, i.e. to make sure that it does what is expected.
Normally, a software engineer goes through a certain process to establish that the
software follows a given specification. This process, verification and validation (V
& V), ensures that the software conforms to its specification and that the customers
ultimately receive what they ordered.

Your One-Stop Guide To Passing The Foundation Level Exam Foundations of Software Testing: ISTQB Certification is your essential guide to software testingISTQB and the ISTQB Foundation qualification. This book is an essential purchase if you want to benefit from the knowledge and experience of those involved in the writing of the ISTQB Syllabus. This book adopts a practical and hands-on approach, covering the fundamental principles that every system and software tester should know.

In 1979, Glenford Myers published
a book that turned out to be a classic. Myers’s original The Art of Software
Testing stood the test of time, 25 years on the publisher’s list of
available books. This fact alone is a testament to the solid, basic, and
valuable nature of his work.
During that same time, the current authors of the updated version
of this book published collectively more than 120 books, most of
them on computer software topics. Some of these books sold very
well, going through multiple versions....

In 1979, Glenford Myers published a book that turned out to be a classic. Myers’s original The Art of Software Testing stood the test of time, 25 years on the publisher’s list of available books. This fact alone is a testament to the solid,...

The process of executing a program (or part of a program) with the intention of finding errors (Myers, Humphrey) The purpose of testing is to find errors. Testing is the process of trying to discover every conceivable fault or weakness in a work product (Myers, Kit) The process of searching for errors (Kaner)

An Introduction to Software Testing by Nick Jenkins
In summary - you are free: to copy, distribute, display, and perform the work and to make
derivative works. You must attribute the work by directly mentioning the author's name. You
may not use this work for commercial purposes and if you alter, transform, or build upon this
work, you may distribute the resulting work only under a license identical to this one. For any
reuse or distribution, you must make clear to others the license terms of this work.

Now in its third edition, Foundations of Software Testing: ISTQB Certification is the essential guide to software testing and to the ISTQB Foundation qualification. Completely updated to comprehensively reflect the most recent changes to the ISTQB Foundation Syllabus, the book adopts a practical, hands-on approach, covering the fundamental topics that every system and software tester should know. The authors are themselves developers of the ISTQB syllabus and are highly respected international authorities, teachers and authors within the field of software testing....

This project concerns building a document parser that can be used as a software engineering tool. A software tester's task frequently involves comparing the behavior of a running system with a document describing the behavior of the system. If a problem is found, it may indicate an update is required to the document, the software system, or both. A tool to generate tests automatically based on documents would be very useful to software engineers, but it requires a document parser which can identify and extract testable conditions in the text. ...

The objective of this chapter is to introduce the range of software verification and validation (V&V) activities and a rationale for selecting and combining them within a software development process, view the “big picture'' of software quality in the context of a software development project and organization.

This chapter advocates six principles that characterize various approaches and techniques for analysis and testing: sensitivity, redundancy, restriction, partition, visibility, and feedback. Some of these principles, such as partition, visibility, and feedback, are quite general in engineering.

This chapter presents some basic concepts in models of software and some families of models that are used in a wide variety of testing and analysis techniques. The fundamental concepts and trade-offs in the design of models is necessary for a full understanding of those test and analysis techniques, and is a foundation for devising new techniques and models to solve domain-specific problems.