Основы тестирования и верификации программного обеспечения
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Язык: | Russian |
| Опубликовано: |
Санкт-Петербург
Лань
2020
|
| Редакция: | 2-е изд., стер. |
| Темы: | |
| Online-ссылка: | https://e.lanbook.com/book/138181 https://e.lanbook.com/img/cover/book/138181.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 03902nam0a2200361 i 4500 | ||
|---|---|---|---|
| 001 | 138181 | ||
| 003 | RuSpLAN | ||
| 005 | 20221220174047.0 | ||
| 008 | 221220s2020 ru gs 000 0 rus | ||
| 020 | |a 978-5-8114-5239-2 | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 004 | ||
| 084 | |a 32.973.26-018 |2 rubbk | ||
| 245 | 0 | 0 | |a Основы тестирования и верификации программного обеспечения |c Старолетов С. М. |
| 250 | |a 2-е изд., стер. | ||
| 260 | |a Санкт-Петербург |b Лань |c 2020 | ||
| 300 | |a 344 с. | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов. | |
| 521 | 8 | |a Книга из коллекции Лань - Информатика | |
| 653 | 0 | |a тестирование | |
| 653 | 0 | |a верификация | |
| 653 | 0 | |a программирование | |
| 653 | 0 | |a инженерия | |
| 653 | 0 | |a объектно-ориентированный язык | |
| 653 | 0 | |a математическая логика | |
| 653 | 0 | |a теория автоматов | |
| 100 | 1 | |a Старолетов С. М. | |
| 856 | 4 | |u https://e.lanbook.com/book/138181 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/138181.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/138181.jpg | ||