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

Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем

  • формат pdf
  • размер 8.1 МБ
  • добавлен 11 августа 2011 г.
Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем. 2-е изд., перераб. и доп. - К.: Академпериодика, 2007. – 672 с. Определяется ядро знаний в области инженерии качества программных систем. Рассматриваются процессы жизненного цикла, связанные с обеспечением качества – процессы верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии качества, управления...

Бахтизин В.В. и др. Автоматизация тестирования программного обеспечения

  • формат pdf
  • размер 3.37 МБ
  • добавлен 26 ноября 2016 г.
Учебно-методическое пособие. — Минск: БГУИР, 2012. — 72 с. Рассмотрена классификация видов тестирования. Сформулированы основные требования к тест-кейсам. Обсуждены вопросы эффективности автоматизации процесса тестирования программного обеспечения. Представлены основные характеристики продуктов-лидеров, предназначенных для автоматизации процесса тестирования. Рассмотрены основные приемы работы при создании тест-кейсов в среде SilkTest 8.0. Дан пр...

Бейзер Б. Тестирование черного ящика

  • формат djvu
  • размер 3.83 МБ
  • добавлен 14 июля 2010 г.
-М., "Питер", 2004 г. Книга доктора Бейзера "Тестирование черного ящика" давно была признана классическим трудом в области поведенческого тестирования разнообразных систем. В ней глубоко рассматриваются основные вопросы тестирования программного обеспечения, позволяющие отыскать максимум ошибок при минимуме временных затрат. Черезвычайно подробно излагаются основные методики тестирования, покрывающие все спектры аспектов разработки программных си...

Блэк Рекс. Ключевые процессы тестирования. Планирование, подготовка, проведение, совершенствование

  • формат pdf
  • размер 41,35 МБ
  • добавлен 1 апреля 2015 г.
Critical Testing Processes Plan, Prepare, Perform, Perfect Re x Black Copyright © 2004 by Addison-Wesley All rights reserved ISBN 0-201-74868-1 Ключевые процессы тестирования Планирование , подготовка , проведение , совершенствовани е РексБлэк Переводчик Павлов М. Научный редактор А, Головко Корректор Килимник Т. Верстка А. Деевой © Издательство "Лори", 2006 Изд. № : ОАІ (03) ЛР№: 07612 30.09.97 г. ISBN 5-85582-239-7 Подписано в...

Блэк Рэкс. Ключевые процессы тестирования. Планирование, подготовка, проведение, совершенствование

  • формат pdf
  • размер 41,35 МБ
  • добавлен 1 апреля 2015 г.
М.: Лори, 2006. — 566 с. Рик Крэйг ведущий специалист по тестированию программного обеспечения, автор книг нескольких книг, известный лектор и консультант. Среда разработки часто изменяется, в этой связи процессы тестирования программного приобретают все большую роль. Когда методологии ускоренной разработки направлены на потребности компании в ускоренном выпуске продукции, процессы тестирования нацелены на требование выпуска продукции, соответств...

Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушением

  • формат pdf
  • размер 12,77 МБ
  • добавлен 03 сентября 2014 г.
М. : Институт системного программирования, 2006. — 494 с. Аннотация В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение iocoβγδ – обобщение отношения ioco (Input-Output COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных...

Винниченко И.В. Автоматизация процессов тестирования

  • формат pdf
  • размер 6.21 МБ
  • добавлен 06 июля 2010 г.
Книга посвящeна вопросам практического применения автоматизации тестирования, которое является одним из важнейших аспектов обеспечения качества программных продуктов. В ней дается детальное описание программных средств, необходимых для повседневной работы в этой области, с указанием конкретных функций и методов трех ведущих поставщиков ПО для автоматизации тестирования: Segue SilkTest, Mercury Interactive WinRunner и Rational Robot. В список тем...

Гвоздев, Мукасеева. Методичка. Специфицирование и тестирование программ

  • формат jpg
  • размер 28.14 МБ
  • добавлен 25 декабря 2008 г.
Методичка для курсовой работы 2 курса (3 семестр) Специфицирование программы с помошью таблиц решений; стратегии тестирования; Метод тестирования таблиц решений; Методика выполнения курсовой Работы: ограничения, блок-схемы, теория по курсачу; тестирование методами белого и черного ящиков; оформление курсача. Отфотканная методичка. Незаменим для выполонений курсача по требованиям Гвоздева и Мукасеевой. rn

Гой Е.А., Носков В.Ю. Разработка системы нагрузочного тестирования веб-сервера

Статья
  • формат pdf
  • размер 282.97 КБ
  • добавлен 14 марта 2013 г.
Статья. Опубликована в материалах конференции "Теплотехника и информатика в образовании, науке и производстве", Екатеринбург, 2013. — 5 с. Нагрузочное тестирование - определение или сбор показателей производительности и времени отклика программно-технической системы или устройства в ответ на внешний запрос с целью установления соответствия требованиям, предъявляемым к данной системе (устройству). В наше время наличие надежного и информативного в...

Губенко Я.С., Камкин А.С., Чупилко М.М. Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения

  • формат pdf
  • размер 400,94 КБ
  • добавлен 20 ноября 2012 г.
М.: Институт системного программирования РАН, 2009. – 9 с. Работа представляет собой сравнительный анализ современных подходов к разработке функциональных тестов для моделей аппаратуры: AVM (Advanced Verification Methodology) от компании Mentor Graphics, OVM (Open Verification Methodology) — совместной разработки Mentor Graphics и Cadence Design Systems — и технологии UniTESK (Unified TEsting and Specification tool Kit), разработанной в Институте...

Гэртнер М. ATDD - Разработка программного обеспечения через приемочные тесты + CD

  • формат archive, djvu
  • размер 103,45 МБ
  • добавлен 1 апреля 2015 г.
ДМК-пресс, 2013. — 232 с. / Gartner M. ATDD by Example Применяя методику разработки через приемочные тесты (ATDD), заказчики, разработчики и тестировщики получают возможность совместно сформулировать тестопригодные требования, что позволяет создавать высококачественное программное обеспечение в сжатые сроки. Однако на практике многие не понимают, в чем истинный смысл ATDD. Настоящая книга – первое практическое руководство начального уровня по вне...

Дастин Э., Рэшка Д., Пол Д. Автоматизированное тестирование программного обеспечения

  • формат pdf
  • размер 27,96 МБ
  • добавлен 1 апреля 2015 г.
М.: ЛОРИ, 2003. — 567 c. — ISBN 5-85582-186-2. Книга «Автоматизированное тестирование программного обеспечения» адресована профессионалам в области программного обеспечения, которые занимаются внедрением, управлением и выполнением автоматизированного тестирования в проектах и обязаны производить все эти работы в сжатые сроки. Предметом книги является автоматизированное тестирование в среде клиент-сервер или Web. Книга будет полезна тестировщику/...

Дастин Э., Рэшка Д., Пол Дж. Автоматизированное тестирование программного обеспечения

  • формат djvu
  • размер 5.58 МБ
  • добавлен 04 августа 2011 г.
Книга «Автоматизированное тестирование программного обеспечения» адресована профессионалам в области программного обеспечения, которые занимаются внедрением, управлением и выполнением автоматизированного тестирования в проектах и обязаны производить все эти работы в сжатые сроки. Предметом книги является автоматизированное тестирование в среде клиент-сервер или Web. Книга будет полезна тестировщику/тест-менеджеру, сталкивающемуся с необход...

Дворянкин А.М., Ерофеев А.А., Аникин А.В. Основные методы тестирования программного обеспечения

  • формат pdf
  • размер 25.49 МБ
  • добавлен 08 августа 2016 г.
Учебное пособие. — Волгоград: ВолгГТУ, 2015. — 120 с. — ISBN 978-5-9948-1853-4 Для проверки правильности программ и систем используются следующие основные направления обеспечения правильности программного обеспечения: формальное доказательство корректности программ; тестирование; организационные методы проверки правильности программ. В пособии кратко описываются эти направления. Основное внимание уделяется процессу тестирования методом черного ящ...

Евсеева О.Н., Шамшев А.Б. Отладка и тестирование приложений в среде Visual Studio 2005

  • формат pdf
  • размер 1.06 МБ
  • добавлен 17 февраля 2013 г.
Учебное пособие. – Ульяновск: УлГТУ, 2008. – 96 с. ISBN 978-5-9795-0348-6. Пособие конспективно представляет возможности среды Visual Studio 2005 по организации отладки и тестирования приложений, написанных на С#, и содержит краткое введение в дисциплину тестирования на примерах программ, разработанных на C#. Пособие предназначено для студентов, изучающих высокоуровневые методы информатики и программирования (специальность 080801 «Прикладная инфо...

Калбертсон Р., Браун К., Кобб Г. Быстрое тестирование

  • формат djvu
  • размер 10.25 МБ
  • добавлен 16 декабря 2016 г.
М.: Вильямс, 2002. — 384 с. — ISBN 5-8459-0336-X. Напряженная, жесткая, порою даже жестокая, конкуренция на современном рынке программного обеспечения заставляет максимально быстро поставлять программные продукты на рынок. Проблема непрерывного поддержания должного уровня качества и, в то же время, соблюдения календарного плана приводит к созданию новых стратегий тестирования, неразрывно связанных с процессом разработки. Не смотря на то, что идеа...

Калбертсон Р., Браун К., Кобб Г. Быстрое тестирование

  • формат pdf
  • размер 4.53 МБ
  • добавлен 06 июля 2010 г.
Издательство Вильямс, 2002. 384 с. Напряженная, жесткая, порою даже жестокая, конкуренция на современном рынке программного обеспечения заставляет максимально быстро поставлять программные продукты на рынок. Проблема непрерывного поддержания должного уровня качества и, в то же время, соблюдения календарного плана приводит к созданию новых стратегий тестирования, неразрывно связанных с процессом разработки. Не смотря на то, что идеальное программ...

Камкин А.С. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов

  • формат pdf
  • размер 589,72 КБ
  • добавлен 15 ноября 2012 г.
М.: Институт системного программирования РАН, 2006. – 22 с. В работе исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном с неполнотой информации о состоянии целевой системы в процессе тестирования. В работе пре...

Канер С. Тестирование программного обеспечения

  • формат pdf
  • размер 6.27 МБ
  • добавлен 25 апреля 2011 г.
Книга именитых специалистов в области разработки программного обеспече­ ния посвящена одному из наиболее важных и нетривиальных аспектов в рамках процесса создания сложных программных систем. Книгу отличает, прежде всего, привязка к условиям реального мира на примерах известных компаний-разработ­ чиков, находящихся в Силиконовой долине. Подробно рассматривается широкий спектр вопросов: от организации процесса тестирования до собственно тестиро...

Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем

  • формат pdf
  • размер 14.99 МБ
  • добавлен 15 февраля 2011 г.
СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...