Тестирование и верификация программного обеспечения - все книги по дисциплине. Издательство Лань

Содержание книги охватывает круг вопросов, связанных с техниками и методами тестирования программного обеспечения, проектированием и документированием тестовых мероприятий, организацией процесса тестирования.
Представлены модели качества программного обеспечения, модели и agile-практики разработки программных продуктов, основные принципы и модели тестирования. Приведена классификация техник тестирования. Подробно рассмотрены техники тест-дизайна на основе сценарного подхода с использованием классов эквивалентности, граничных значений, таблицы принятия решений, попарного тестирования, тестирования состояний и переходов, пользовательских историй, применение при тест-дизайне UML-диаграмм, а также особенности исследовательского тестирования. Рассмотрены вопросы управления процессом тестирования и основные документы, сопровождающие данный процесс. Представлены также подходы к использованию искусственного интеллекта в процессе тестирования программного обеспечения.
В основу книги положены материалы практико-ориентированных курсов, разработанных для студентов Санкт-Петербургского государственного университета аэрокосмического приборостроения и Санкт-Петербургского государственного электротехнического университета «ЛЭТИ». Книга также может быть полезна тем, кто хочет самостоятельно изучить тестирование либо систематизировать свои знания в данной области.

Учебное пособие посвящено вопросам анализа, планирования, проведения тестовых испытаний и оценки качества программного обеспечения на всех стадиях его жизненного цикла. Является методическим обеспечением выполнения лабораторных работ для студентов, обучающихся по направлениям «Информационные системы и технологии» и «Программная инженерия».

Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, дается обзор тестирования Web-приложений с помощью Selenium. Также в качестве ознакомления рассматривается технология контрактного программирования с .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer. Для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
Пособие предназначено для студентов СПО, обучающихся по специальности «Информационные системы» и другим смежным специальностям СПО, а также для самостоятельного обучения

Учебное пособие посвящено вопросам анализа, планирования, проведения тестовых испытаний и оценки качества программного обеспечения на всех стадиях его жизненного цикла. Является методическим обеспечением выполнения лабораторных работ для студентов средних профессиональных учреждений, обучающихся по специальностям направления подготовки «Информационная безопасность» и «Информатика и вычислительная техника». Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.

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