старолетов сергей михайлович основы тестирования программного обеспечения учебное пособие для спо
Старолетов Сергей Михайлович Основы тестирования программного обеспечения. Учебное пособие для СПО
2034 Руб.
Старолетов Сергей Михайлович Основы тестирования и верификации программного обеспечения. Учебное пособие
3173 Руб.
Старолетов С. Основы тестирования и верификации программного обеспечения. Учебное пособие
2020 Руб.
Старолетов С. Основы тестирования и верификации программного обеспечения. Учебное пособие
2020 Руб.
Федорова Г. Разработка, внедрение и адаптация программного обеспечения отраслевой направленности. Учебное пособие
2864 Руб.
Федорова Г. Разработка, внедрение и адаптация программного обеспечения отраслевой направленности. Учебное пособие
2864 Руб.
Игнатьев Александр Владимирович Тестирование программного обеспечения. Учебное пособие для СПО
527 Руб.
Зубкова Татьяна Михайловна Технология разработки программного обеспечения. Учебное пособие для СПО
2444 Руб.
Исаченко Олег Вячеславович Программное обеспечение компьютерных сетей. Учебное пособие
158 Руб.
Описание:
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, тестирование Web-приложений с помощью Selenium. Вторую часть пособия занимают перспективные методы, связанные с верификацией и моделированием ПО. Рассматривается технология разработки и проектирования - контрактное программирование и язык Eiffel, .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer, Model Based Checking и средство Spin в среде iSpin, платформа Frama-C. Пособие может быть использовано на специальности "Программная инженерия" и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов. 3-е издание, стереотипное.