| Категории |
 |
|
Эзотерическая литература
[42]
На этой странице будут помещены ссылки на электронные книги по теме Эзотерические знания. Если Вас интересует книга, но ее нет, то пишите на vellior@inbox.ru и я попробую Вам помочь Удачи Всем!
|
|
Художественная литература
[143]
Здесь будут помещены ссылки на различные электронные книги. Если каких-то не хватает - пишите на vellior@inbox.ru - попробую помочь найти. Удачи Вам!!!!
|
|
Справочная литература
[25]
На этой странице помещены ссылки на справочную литературу. В случае, если нужной для Вас книги нет, то пишите на vellior@inbox.ru и я попробую Вам помочь
|
|
Бизнес литература
[3]
На данной странице будут помещены ссылки на литературу, относящуюся к категории "бизнес". Если необходимой книги нет, то обращайтесь на vellior@inbox.ru и я попробую Вам помочь. Удачи всем!
|
|
Учебная литература
[15]
На этой странице помещены ссылки на учебную литературу. В случае, если нужной для Вас книги нет, то пишите на vellior@inbox.ru и я попробую Вам помочь
|
|
Притчи
[639]
Притча - это маленький осколок зеркала Истины. В небольшом рассказе заключен и передается огромный смысл. Информационная нагрузка огромна, а суть ее легко усваивается даже не всегда посвященным человеком.
|
|
поздравления и пожелания
[15]
на все случаи жизни - мы найдем Вам поздравление!!!!
|
|
Книги для мужчин
[6]
|
|
книги для женщин
[3]
|
|
Книги для двоих
[6]
|
|
Книги для детей и их родителей
[278]
Развивающие книги, книги для развития интеллекта, игры, оригами, сказки, рассказы, романы.
|
|
Спортивная литература
[292]
Все о спорте. Тренировки своего тела. Гимнастические упражнения. Спортивные игры. Бодибилдинг.
|
|
Кулинария
[475]
Книги с кулинарными рецептами. Полезные программы.
|
|
Справочная информация
[1753]
Спасвочная и и интересная информация информация, которая будет полнезной всем
|
|
Биографии великих людей
[386]
биографии известных писателей, художников, музыкантов, политиков, историяческих личностей.
|
|
Детская литература
[767]
Книги для детей и их родителей.
|
|
Мемуарная литература
[4]
Воспоминания, мемуары
|
|
Программирование
[1362]
Программирование, языки программирования
|
|
детские страшилки
[14]
Истории, которые рассказывались и рассказываются в пионерских лагерях.
|
|
Документальная литература
[14]
Книги, содержание которых можно отнести к документальным, научно-популярным или другим темаатикам.
|
|
Журналы
[1032]
|
|  |
 |
|
 | |  |
|
Основы тестирования и верификации программного обеспечения
Основы тестирования и верификации программного обеспечения — Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Название: Основы тестирования и верификации программного обеспечения
Автор: Старолетов С. М.
Издательство: Лань
Год: 2018
Страниц: 344
Формат: PDF
Размер: 115,57 МБ
Качество: отличное
Язык: русский
Скачать Основы тестирования и верификации программного обеспечения
Скачать с turbo.to
https://turbo.to/1fzf8l2xwax9.html
Скачать с katfile.com
https://katfile.com/6vdq4dpvdy21.html
Скачать с file-up.org
https://file-up.org/jq58159uzkam
|
| Категория: Программирование | Добавил: pmojka (12.09.2020)
|
| Просмотров: 210
| Рейтинг: 0.0/0 |
Добавлять комментарии могут только зарегистрированные пользователи. [ Регистрация | Вход ] | |
 | |  |
|
|
