Основы тестирования и верификации программного обеспечения учебное пособие для вузов
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Санкт-Петербург
Лань
2023
|
| Edition: | 3-е изд., стер. |
| Subjects: | |
| Online Access: | https://e.lanbook.com/book/319445 https://e.lanbook.com/img/cover/book/319445.jpg |
| LEADER | 04314nam0a2200421 i 4500 | ||
|---|---|---|---|
| 001 | lan319445 | ||
| 003 | RuSpLAN | ||
| 005 | 20230328135444.0 | ||
| 008 | 230328s2023 ru gs 000 0 rus | ||
| 020 | |a 978-5-507-46773-0 | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 4 | ||
| 084 | |a 32.973.26-018 |2 rubbk | ||
| 245 | 0 | 0 | |a Основы тестирования и верификации программного обеспечения |b учебное пособие для вузов |c Старолетов С. М. |
| 250 | |a 3-е изд., стер. | ||
| 260 | |a Санкт-Петербург |b Лань |c 2023 | ||
| 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 тестирование web-приложений | |
| 653 | 0 | |a автоматизированное тестирование | |
| 653 | 0 | |a контрактное программирование | |
| 653 | 0 | |a технология model based testing | |
| 653 | 0 | |a средство ms spec explorer | |
| 653 | 0 | |a intellij idea | |
| 653 | 0 | |a ms visual studio | |
| 100 | 1 | |a Старолетов С. М. | |
| 856 | 4 | |u https://e.lanbook.com/book/319445 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/319445.jpg |
| 910 | |a ЭБС Лань | ||