{"product_id":"sergei-staroletov-osnovi-testirovaniya-i-verifikatsii-programmnogo-obespecheniya-uchebnoe-posobie-1","title":"Сергей Старолетов: Основы тестирования и верификации программного обеспечения. Учебное пособие","description":"Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. \nПособие может быть использовано на специальности \"Программная инженерия\" и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.\n3-е издание, стереотипное.","brand":"Лань","offers":[{"title":"Default Title","offer_id":50329989316924,"sku":"qm448ktqsn6ngciyivf6oe1p","price":101.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/sergei_staroletov_osnovi_testirovaniya_i_verifikatsii_programmnogo_obespecheniya._uchebnoe_posobie_1_12486fe9-3c92-4f47-b48f-c3a89f6dfcdb.jpg?v=1730934282","url":"https:\/\/knizhka.us\/products\/sergei-staroletov-osnovi-testirovaniya-i-verifikatsii-programmnogo-obespecheniya-uchebnoe-posobie-1","provider":"Книжка US","version":"1.0","type":"link"}