Fundamentals of testing and verification of software

This manual is intended for future programmers who need to know the basics of testing software products, the principles of working in a team with testers, the need and basics of verification and modeling of software. The purpose of the manual is to revise the attitude of developers to the quality of modern software. The first part of the manual discusses the methods of testing, specification of software, documentation, modular testing in Intellij IDEA, MS Visual Studio Wednesdays, the development methods based on testing (TDD) and behavior (BDD) in the IDEA environment in the Java language are considered. Functional automated testing in the IBM Rational Tester, testing web applications using Selenium. The second part of the manual is occupied by promising methods related to verification and modeling software. The development and design technology is considered - contract programming and the EIFFEL, .NET CODE CONTRACTS, MODEL BASED Testing technology and MS Spec Explorer, Model Based Checking and ISPIN, FRAMA -C platform.
The manual can be used in the specialties of "Program engineering" and related specialties, to work with the manual you need to develop applications interacting with the user in one of the object-oriented languages, knowledge of mathematical logic and theory of automatic machines