Основы тестирования и верификации программного обеспечения
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности "Программная инженерия" и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов. 2-е издание, стереотипное.
Товар имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. Гарантийное обязательство также прилагается. Имеется дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет приведена более детальная информация о стоимости доставки в ваш регион и о вашей личной скидке.
Позвольте Вам предложить
-
Экономические и правовые основы рынка программного обеспечения. Учебное пособие
Допущено Учебно-методическим объединением по образованию в области прикладной информатики в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальности…
-
Разработка программного обеспечения АСУ ТП на основе объектно-ориентированного подхода
Представлены практические методы, рекомендации, правила и приемы, используемые при создании ПО АСУ ТП на основе объектно-ориентированного подхода (ООП). Приведены краткие сведения…
-
Разработка программных модулей программного обеспечения для компьютерных систем. Прикладное програм.
Курс лекций междисциплинарного курса МДК 01.02 "Прикладное программирование" профессионального модуля ПМ.01 "Разработка программных модулей программного обеспечения для компьютерных систем" соответствует содержанию…
-
Технология программирования. Проектирование. Комплексное тестирование. Программная документация
Подробно рассмотрены основные методы и нотации, применяемые при разработке сложного программного обеспечения. Особое внимание уделено проектированию программных систем с использованием структурного…
-
Разработка требований к программному обеспечению
Эта книга - подробное руководство по разработке качественных требований к программному обеспечению. Здесь описаны десятки проверенных на практике приемов выявления, формулирования,…
-
Операционные системы. Программное обеспечение. Учебник
Изложенный в учебнике материал охватывает широкий круг вопросов в области операционных систем, информатики и системного программного обеспечения. Объединены теоретические материалы, практические…
-
Разработка программного обеспечения: управление изменениями
Эта книга об инженерной дисциплине, которая называется управлением конфигурацией программного обеспечения (software configuration management - SCM), а также о широко используемом…
-
Управление качеством программного обеспечения. Учебник
Рассмотрены вопросы управления качеством, оценки характеристик и измерения метрик программного обеспечения по наиболее известным методикам. Изложены основные положения метрической теории программ,…
-
Чистая архитектура. Искусство разработки программного обеспечения
"Идеальный программист" и "Чистый код" - легендарные бестселлеры Роберта Мартина - рассказывают, как достичь высот профессионализма. "Чистая архитектура" продолжает эту тему,…