Разделы
Похожие разделы

Качество программного обеспечения. Верификация и аттестация, тестирование

  • формат pdf
  • размер 3,04 МБ
  • добавлен 10 декабря 2011 г.
Методическое обеспечение к теоретическому курсу по дисциплине «Введение в программную инженерию». ТТИ ЮФУ Таганрог Лекция 7. Качество программного обеспечения. Верификация и аттестация, тестирование. (2 часа)

Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking

  • формат djvu
  • размер 4,60 МБ
  • добавлен 22 августа 2013 г.
М.: МЦНМО, 2002. — 416 с.: ил. В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

Котляров В.П. Основы тестирования программного обеспечения

  • формат pdf
  • размер 26.65 МБ
  • добавлен 23 января 2017 г.
2-е изд. — М.: Интуит, 2016. — 348 с. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий.

Котляров В.П. Основы тестирования программного обеспечения

  • формат djvu
  • размер 3.2 МБ
  • добавлен 02 октября 2008 г.
Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий. 2006г

Котляров В.П., Коликова Т.В. Основы тестирования программного обеспечения

  • формат pdf
  • размер 14,05 МБ
  • добавлен 1 апреля 2015 г.
М.: Университет Информационных технологий; БИНОМ. Лаборатория знаний, 2006. — 285 с. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий.

Криспин Л., Грегори Дж. Гибкое тестирование: практическое руководство для тестировщиков ПО и гибких команд

  • формат pdf
  • размер 7,63 МБ
  • добавлен 22 февраля 2015 г.
М.: Вильямс, 2010. — 464 с. — ISBN 978-5-8459-1625-9. Тестирование является ключевым компонентом гибкой разработки. Широкое внедрение гибких методов привело к необходимости помещения в центр внимания приемов эффективного тестирования, а гибкие проекты существенно трансформировали роль тестировщиков ПО. Тем не менее, большинство функций тестировщика остается в значительной степени недопонятыми. В чем же состоит истинная роль тестировщика? Нужны ли...

Куликов С.C. Тестирование программного обеспечения. Базовый курс

  • формат pdf
  • размер 4,87 МБ
  • добавлен 22 сентября 2015 г.
Практ. пособие. — Минск: Четыре четверти, 2015. — 294 с. — ISBN 978-985-7103-91-1. В основу книги положен десятилетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного обеспечения, так и опытным специалистам — для систематизации уже имеющихся знаний и организации обу...

Кулямин В.В. Критерии тестового покрытия, основанные на структуре контрактных спецификаций

  • формат pdf
  • размер 247,13 КБ
  • добавлен 09 октября 2012 г.
М.: Институт Системного Программирования РАН, 2008. – 14 с. В данной работе рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований. Эти критерии можно использовать при тестировании с использованием контрактных спецификаций (пред- и постусловий операций), независимо от применяемой при этом технологии. Приводится алгоритм определения достижимых ком...

Кулямин В.В. Методы верификации программного обеспечения

  • формат pdf
  • размер 887.35 КБ
  • добавлен 10 ноября 2012 г.
М.: Институт Системного Программирования РАН, 2008. – 111 с. В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного...

Липаев В.В. Качество программных средств

  • формат djvu
  • размер 5.65 МБ
  • добавлен 09 ноября 2010 г.
2002 г. В методических рекомендациях рассмотрены основные понятия, факторы и методы обеспечения качества в жизненном цикле (ЖЦ) сложных программных средств (ПС). Систематически изложены основы стандартизации в области качества ПС, а также содержание комплекса международных стандартов, регламентирующих качество их ЖЦ. Представлены принципы и методы верификации, тестирования и испытаний сложных комплексов программ.

Липаев В.В. Тестирование компонентов и комплексов программ

  • формат pdf
  • размер 5,24 МБ
  • добавлен 15 июля 2016 г.
М.: СИНТЕГ, 2011. — 408 с. — ISBN 978-5-89638-119-8. Учебник состоит из двух частей. В первой части (7 лекций) рассматриваются системные основы разработки требований к сложным комплексам программ, эталоны при их проектировании и производстве, декомпозиция функций и архитектуры комплексов программ для формирования требований к компонентам и модулям. Изложены требования к характеристикам качества, к тестам и допустимым рискам комплексов программ (К...

Липаев В.В. Тестирование программ

  • формат djvu
  • размер 7.88 МБ
  • добавлен 01 октября 2010 г.
М.: Радио и связь, 1986 г. 296 с. Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения программ тестирования. Для инженерно-технических работников, занимающихся проектированием и эксплуатацией программного обеспеч...

Майерс Г. Искусство тестирования программ

  • формат djvu
  • размер 1.42 МБ
  • добавлен 22 октября 2009 г.
Библия для тесторов ПО. Одна из основополагающих книг. Достаточно широко и популярно излагаются основные принципы методологии тестирования и отладки программ. Рассматриваются вопросы психологии и экономики тестирования. Значительное место отводится методам корректировки программ. Для специалистов, занимающихся программированием, студентов и аспирантов.

Макгрегор Джон, Сайкс Девид. Тестирование объектно-ориентированного программного обеспечения

  • формат djvu
  • размер 4.21 МБ
  • добавлен 24 августа 2010 г.
Практическое пособие. Основное внимание уделяется реальному планированию и эффективной реализации процесса тестирования ПО. Подробно рассматриваются концептуальные отличия технологий тестирования объектно-ориентированного ПО от таковых для традиционного процедурного ПО. Книга может послужить практическим и учебным руководством для профессиональных разработчиков, предлагая готовые технологии построения надежного, предсказуемого и высокоэффективног...

Методичка по лабораторной работе №1

  • формат doc
  • размер 15.92 КБ
  • добавлен 26 мая 2005 г.
Автор неизвестен. Методические указания к лабораторной работе тестирование программ методами белого ящика’ по дисциплине технология программирования. Усвоение студентами методов тестирования логики программы, формализованного описания результатов тестирования и стандартов по составлению схем программ.

Непомнящий В.А., Рякин О.М. Прикладные методы верификации программ

  • формат djvu
  • размер 6,42 МБ
  • добавлен 26 июня 2014 г.
Под. ред А.П. Ершова. - М.: Радио и связь, 1988. - 256с. ISBN: 5-256-00156-6 Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.

Плаксин М.А. Тестирование и отладка программ - для профессионалов будущих и настоящих

  • формат pdf
  • размер 3,39 МБ
  • добавлен 1 апреля 2015 г.
М.: Бином, Лаборатория знаний, 2007. — 167 с.: ил. — ISBN 978-5-94774-458-3. Изложена теория тестирования и отладки программ, причем рассматриваются как вопросы, интересные начинающим программистам, так и вопросы, полезные профессионалам, например вероятностные модели оценки количества ошибок в программе и количества необходимых тестов. Описание простой в использовании высокотехнологичной методики тестирования учебных программ подкрепляется приме...

Плаксин М.А. Тестирование и отладка программ - для профессионалов будущих и настоящих

  • формат djvu
  • размер 1,50 МБ
  • добавлен 1 апреля 2015 г.
М.: Бином, Лаборатория знаний, 2007. — 167 с.: ил. — ISBN 978-5-94774-458-3. Изложена теория тестирования и отладки программ, причем рассматриваются как вопросы, интересные начинающим программистам, так и вопросы, полезные профессионалам, например вероятностные модели оценки количества ошибок в программе и количества необходимых тестов. Описание простой в использовании высокотехнологичной методики тестирования учебных программ подкрепляется приме...

Плаксин М.А. Тестирование и отладка программ для профессионалов будущих и настоящих

  • формат pdf
  • размер 1,39 МБ
  • добавлен 1 апреля 2015 г.
2-е изд. (эл.). —М. : Бином. Лаборатория знаний, 2013. — 167 с.: ил. — ISBN 978-5-9963-0946-7. Изложена теория тестирования и отладки программ, причем рассматриваются как вопросы, интересные начинающим программистам, так и вопросы, полезные профессионалам, например вероятностные модели оценки количества ошибок в программе и количества необходимых тестов. Описание простой в использовании высокотехнологичной методики тестирования учебных программ п...

Полянский А. Функциональное тестирование программного обеспечения

  • формат doc
  • размер 36.99 КБ
  • добавлен 16 октября 2012 г.
22 с. Содержание Основы процесса тестирования ПО. Тестирование и тест-дизайн. Первичное и регрессионное тестирование. Тестовая документация. Что должна содержать тестовая документация и почему. Тестовые объекты и тестовые данные. Идентификатор тесткейса, приоритет, время прохождения. История изменений и история прохождений. Жизненный цикл бага. Основы функционального тестирования (Black-Box). Определение. Black-box, white-box, grey-box тестирован...