старолетов с основы тестирования и верификации программного обеспечения учебное пособие
Старолетов С. Основы тестирования и верификации программного обеспечения. Учебное пособие
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
2020 Руб.
Старолетов С. Основы тестирования и верификации программного обеспечения. Учебное пособие
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
2020 Руб.
Старолетов Сергей Михайлович Основы тестирования и верификации программного обеспечения. Учебное пособие
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах 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-е издание, стереотипное.
3173 Руб.
Старолетов С. Основы тестирования программного обеспечения. Учебное пособие
Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, дается обзор тестирования Web-приложений с помощью Selenium. Также в качестве ознакомления рассматривается технология контрактного программирования с .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer. Для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков. Пособие предназначено для студентов СПО, обучающихся по специальности «Информационные системы» и другим смежным специальностям СПО, а также для самостоятельного обучения
2186 Руб.
Старолетов С. Основы тестирования программного обеспечения. Учебное пособие
Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, дается обзор тестирования Web-приложений с помощью Selenium. Также в качестве ознакомления рассматривается технология контрактного программирования с .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer. Для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков. Пособие предназначено для студентов СПО, обучающихся по специальности «Информационные системы» и другим смежным специальностям СПО, а также для самостоятельного обучения
2186 Руб.
Старолетов Сергей Михайлович Основы тестирования программного обеспечения. Учебное пособие для СПО
Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия - пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, дается обзор тестирования Web приложений с помощью Selenium. Также в качестве ознакомления рассматривается технология контрактного программирования с .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer. Для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков. Пособие предназначено для студентов СПО, обучающихся по специальности "Информационные системы" и другим смежным специальностям СПО, а также для самостоятельного обучения. 2-е издание, стереотипное.
2034 Руб.
Федорова Г. Разработка, внедрение и адаптация программного обеспечения отраслевой направленности. Учебное пособие
В учебном пособии рассматривается круг вопросов, связанных с разработкой, внедрением и адаптацией программного обеспечения. Излагаются методы отладки, и тестирования программ, особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности, описываются стандарты качества программного обеспечения. Обсуждаются технологии сбора информации и создания информационных ресурсов. .Учебное пособие подготовлено для студентов учреждений среднего профессионального образования по специальности 09.02.05 — Прикладная информатика (по отраслям) по профессиональному модулю «Разработка, внедрение и адаптация программного обеспечения отраслевой направленности» и полностью соответствует Федеральному Государственному образовательному стандарту СПО по данной специальности. . .
2864 Руб.
Федорова Г. Разработка, внедрение и адаптация программного обеспечения отраслевой направленности. Учебное пособие
В учебном пособии рассматривается круг вопросов, связанных с разработкой, внедрением и адаптацией программного обеспечения. Излагаются методы отладки, и тестирования программ, особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности, описываются стандарты качества программного обеспечения. Обсуждаются технологии сбора информации и создания информационных ресурсов. .Учебное пособие подготовлено для студентов учреждений среднего профессионального образования по специальности 09.02.05 — Прикладная информатика (по отраслям) по профессиональному модулю «Разработка, внедрение и адаптация программного обеспечения отраслевой направленности» и полностью соответствует Федеральному Государственному образовательному стандарту СПО по данной специальности. . .
2864 Руб.
Синицын Сергей Владимирович, Налютин Никита Юрьевич Верификация программного обеспечения. Учебное пособие
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
483 Руб.
Зубкова Т. Технология разработки программного обеспечения. Учебное пособие
В учебном пособии приведен теоретический материал, задания для лабораторных работ, практических занятий, а также тестовые вопросы. Учебное пособие по дисциплине «Технология разработки программного обеспечения» предназначено для оказания помощи студентам при изучении теоретического материала, выполнения лабораторных и практических заданий. .Данная дисциплина входит в базовую часть профессионального цикла дисциплин бакалавров очной формы обучения направлений «Информатика и вычислительная техника», «Программная инженерия» и «Информационные системы и технологии» по общему профилю подготовки. .
2006 Руб.
Зубкова Т. Технология разработки программного обеспечения. Учебное пособие
В учебном пособии приведен теоретический материал, задания для лабораторных работ, практических занятий, а также тестовые вопросы. Учебное пособие по дисциплине «Технология разработки программного обеспечения» предназначено для оказания помощи студентам при изучении теоретического материала, выполнения лабораторных и практических заданий. .Данная дисциплина входит в базовую часть профессионального цикла дисциплин бакалавров очной формы обучения направлений «Информатика и вычислительная техника», «Программная инженерия» и «Информационные системы и технологии» по общему профилю подготовки. .
2006 Руб.
Полукаров Данил Юрьевич, Моисеева Татьяна Владимировна Экономические и правовые основы рынка программного обеспечения. Учебное пособие
Допущено Учебно-методическим объединением по образованию в области прикладной информатики в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальности "Прикладная информатика (по областям)" и другим специальностям. Учебное пособие посвящено вопросам анализа рынка программного обеспечения как части общего рынка ИТ-услуг. Подробно рассматриваются возможности продвижения программного продукта на данном сегменте рынка. Изучается программное обеспечение (ПО) как товар, потребители ПО, ценообразование на рынке ПО, освещаются правовые аспекты, связанные с производством, продажей, использованием и обслуживанием программного обеспечения. Содержит контрольные вопросы, позволяющие читателю самостоятельно определять степень усвоения материала. В качестве примеров рассмотрены реальные ситуации, сложившиеся на рынке программных средств, а также рассматриваются экономические и правовые вопросы, связанные с самими программными продуктами. Предназначено для студентов специальностей 080801, 230105 и 230201 (очной, заочной форм обучения и получающих второе высшее образование), изучающих дисциплину "Экономические и правовые основы рынка программного обеспечения", а также специалистов, занимающихся разработкой, дистрибьюцией и сопровождением программных средств.
244 Руб.
Федорова Г. Разработка модулей программного обеспечения для компьютерных систем. Учебник
Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям «Информационные системы и программирование» (из списка ТОП-50) и «Программирование в компьютерных системах». Учебное издание предназначено для изучения профессионального модуля «Разработка модулей программного обеспечения для компьютерных систем». Изложены этапы разработки программного обеспечения, методы отладки и тестирования программных продуктов, виды и средства разработки технической документации. Рассмотрена технология системного программирования. Большое внимание уделено вопросам Web-программирования и создания прикладного программного обеспечения в системе «1С». В 4-е издание внесены исправления, касающиеся жизненного цикла разработки и тестирования программного обеспечения, сетевого программирования и обмена данными, программирования консольных приложений и др. Для студентов учреждений среднего профессионального образования. Может быть полезен широкому кругу лиц, связанных с разработкой программных продуктов.
1677 Руб.
Федорова Г. Разработка модулей программного обеспечения для компьютерных систем. Учебник
Учебник подготовлен в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям «Информационные системы и программирование» (из списка ТОП-50) и «Программирование в компьютерных системах». Учебное издание предназначено для изучения профессионального модуля «Разработка модулей программного обеспечения для компьютерных систем». Изложены этапы разработки программного обеспечения, методы отладки и тестирования программных продуктов, виды и средства разработки технической документации. Рассмотрена технология системного программирования. Большое внимание уделено вопросам Web-программирования и создания прикладного программного обеспечения в системе «1С». В 4-е издание внесены исправления, касающиеся жизненного цикла разработки и тестирования программного обеспечения, сетевого программирования и обмена данными, программирования консольных приложений и др. Для студентов учреждений среднего профессионального образования. Может быть полезен широкому кругу лиц, связанных с разработкой программных продуктов.
1677 Руб.
Сырямкин В.И. Информационные устройства и системы в робототехнике и мехатронике. Учебное пособие для вузов, 2-е изд.
Учебное пособие посвящено актуальным вопросам проектирования, исследования, алгоритмического и программного обеспечения информационных устройств и систем, используемых в робототехнике и мехатронике.Для студентов высших учебных заведений, обучающихся по направлениям "Конструирование и технология электронных средств", "Мехатроника и робототехника", "Управление качеством", "Управление инновациями", "Информационные системы в науке и приборостроении", "Основы приборостроения".
4099 Руб.
Сырямкин Владимир Иванович Информационные устройства и системы в робототехнике и мехатронике. Учебное пособие для вузов
Учебное пособие посвящено актуальным вопросам проектирования, исследования, алгоритмического и программного обеспечения информационных устройств и систем, используемых в робототехнике и мехатронике. Для студентов высших учебных заведений, обучающихся по направлениям "Конструирование и технология электронных средств", "Мехатроника и робототехника", "Управление качеством", "Управление инновациями", "Информационные системы в науке и приборостроении", "Основы приборостроения". 3-е издание, стереотипное.
4099 Руб.