Basics of software testing. A manual for SPO

This manual is intended for future IT specialists who need to know the basics of testing software products. The purpose of the manual is to revise the attitude of future developers to the quality of modern software. The methods of testing, specifications of software, documentation, modular testing in Intellij IDEA, MS Visual Studio Wednesdays are considered, software development methods are studied, based on testing (TDD) and behavior (BDD) in the IDEA environment, functional automated testing in the language of Java is considered The IBM RATIONAL TESTER environment is given a review of the Web application testing using Selenium. Also, the acquaintance considers the technology of contract programming with .NET CODE CONTRACTS, MODEL BASED Testing technology and the MS Spec Explorer tool. To work with the manual, the skills of developing applications interacting with the user in one of the object-oriented languages ​​are needed.
The manual is intended for students of SPO, students in the specialty "Information Systems" and other related specialties of SPO, as well as for independent training.
2nd edition, stereotypical