1. Главная
2. Магазин
3. старолетов сергей михайлович основы тестирования и верификации программного обеспечения учебное пособие

старолетов сергей михайлович основы тестирования и верификации программного обеспечения учебное пособие

---

Описание:

Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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-е издание, стереотипное.

Каталог:

растяжка спираль котенок кекс прорезыватель пищалка погремушка р р 12 56 мякиши россия | шланг fubag 170025 15 м | стакан для зубных щеток swensa exo керамика бамбук белый | топор туристический сталь 65г | грелка резиновая р 2 | божья коровка на липучке материал дерево | брошь бижутерный сплав кристалл эмаль красный | сувенир полистоун мальчик девочка с дедом морозом микс 12х8 7х5 8 см | сувенир полистоун девочка ангел в красном платье с золотыми розами 15 5х6х4 5 см | бот б 26582 лопата совковая лсп 3 р ж окрашена лаком рессорная сталь 65г б ч 1 6мм 0 93кг | уплотнитель двери морозильной камеры холодильника stinol indesit ariston 575x390 мм | мастика резинобитумная bitumast 21 5 л | ключ прямой трубный практик 27800010063 | шланг fubag 170307 20 м | мыльница vitarta antique полирезин серебро | очиститель обивки салона lavr 120 мл | warmies игрушка грелка мишка трикотаж marshmallow 30x15 | держатель д труб металлич с резинк шур 3 4 | ножовка по дереву gross 24124 piranha 7 tpi 3d тефлон 2к рукоятка 300 мм | эмаль для дисков astrohim серая 520 мл аэрозоль ас 603 | сувенир полистоун девочка мальчик с мячом книгой микс 12х10 5х8 см | очиститель аэрозоль двигателя runway 650мл | столярный молоток гвоздодёр зубр с фиберглассовой рукояткой кованный 450 г профессионал | ключ трубный зубр прямой профессиональный 560 мм 2 | деревянные игрушки hape игровой набор фрукты 7 предметов |