1. Главная
2. Shop
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-е издание, стереотипное.

Наш каталог:

электрическая газонокосилка stiga slm 540 ae kit 860 вт 38 см | аккумулятор black decker bl2018 xj li ion 18 в 2 а·ч | колготки conte kids для девочек фантазийные фиолетовый | холст на подрамнике студия 20 20см 100 | колготки conte kids детские фантазийные 300 den розовый | аккумулятор cs bdx512px для black | printio футболка wearcraft premium slim fit футболка hbb 2020 | аккумуляторные 1211 ножницы для газонов аккумуляторные gardena accucut | электрическая газонокосилка stiga combi 340c 1600 вт 38 см | аккумулятор black decker bl2018 xj 18в 2ач li ion | электрическая газонокосилка stiga collector 132e kit 350 вт 30 см | аккумулятор для электроинструмента dewalt dcb183 xj 18v 2 0 аh xr li ion | колготки conte kids для мальчиков фантазийные 250 den размер 80 86 розовый | аккумулятор black decker bl1512 xj li ion 10 8 в 1 5 а·ч | колготки conte kids детские классические без шортиков бежевый | колготки conte kids для мальчиков фантазийные 250 den размер 62 74 розовый | колготки conte kids детские размер 62 74 серый | колготки conte kids детские ажурные без шортиков синий | колготки conte kids детские фантазийные размер 62 74 зеленый | холст на подрамнике московская палитра 24 30см 100 | lilo помада для губ cosmic тон 508 | колготки conte kids для девочек классические размер 62 74 белый | помада lilo помада губная cosmic | газонокосилка stiga collector 548 s 2l0482048 st2 | холст для акварели на картоне московская палитра 25 35см 100 |