СПб.: Лань, 2021. — 192 с. Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное...
Учебное пособие. — Киров: Межрегиональный центр инновационных технологий в образовании, 2021. — 60 с. — ISBN 978-5-907419-18-6. Учебное пособие содержит сведения, отражающие все темы учебной программы дисциплины «Тестирование и отладка программного обеспечения», читаемой в Российском технологическом университете РТУ - МИРЭА обучающимся по направлению профессиональной подготовки...
Практическое пособие. — Самиздат, 2020. — 602 с. Руководство по тестированию веб-безопасности» (WSTG v.4.1) является основным ресурсом для тестирования кибербезопасности для разработчиков веб-приложений и специалистов по безопасности. WSTG - это всеобъемлющее руководство по тестированию безопасности веб-приложений и веб-сервисов. WSTG, созданный совместными усилиями...
2-е издание. — Минск: EPAM Systems, 2020. — 300 с. — ISBN: 978-985-581-125-2. — Версия книги 2.1.3 от 21.02.2020. В основу этой книги положен десятилетний опыт проведения тренингов для начинающих тестировщиков. За это время накопилась огромная коллекция вопросов от слушателей, и стали отчётливо видны типичные для многих начинающих проблемы и сложности. Представляется разумным...
М.: МГУ, Мехмат, 2012. — 86 с. Подход к моделированию и верификации программных систем, известный под названием Model Checking подробно рассматривается в этом учебном пособии. Рассматриваются проблема верификации, темпоральные логики, алгоритмы Model Checking для CTL и LTL, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, а...
Волгоград: ВолгГТУ, 2006. — 74 с. Излагаются подходы и методы тестирования, начиная с проблемы определения термина "тестирование" и общих принципов и заканчивая описанием методов и стратегий тестирования. В частности, рассмотрены методы белого и черного ящика (покрытие операторов, условий, решений, комбинаторного покрытия условий и решений, эквивалентного разбиения, анализа...
2-е изд. — М.: Интуит, 2016. — 349 с. (Основы информационных технологий). ISBN: S-9556-0027-2. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений,...
2-е изд. — Минск: Четыре четверти, 2017. — 314 с. В основу книги положен многолетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного обеспечения, так и опытным специалистам — для систематизации уже...
Cambridge University Press, 2017. — 473 p. This extensively classroom-tested text takes an innovative approach to explaining software testing that defines it as the process of applying a few precise, general-purpose criteria to a structure or model of the software. The book incorporates cutting-edge developments, including techniques to test modern types of software such as OO,...
Под. ред А.П. Ершова. - М.: Радио и связь, 1988. - 256с. ISBN: 5-256-00156-6 Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.
М.: МЦНМО, 2002. — 416 с.: ил. В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
2002 г.
В методических рекомендациях рассмотрены основные понятия, факторы и методы обеспечения качества в жизненном цикле (ЖЦ) сложных программных средств (ПС).
Систематически изложены основы стандартизации в области качества ПС, а также содержание комплекса международных стандартов, регламентирующих качество их ЖЦ.
Представлены принципы и методы верификации, тестирования и...
М.: Радио и связь, 1986. — 296 с. Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения программ тестирования. Для инженерно-технических работников,...
Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта.
Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий. 2006г
Статьи. Монография статьёй не является.Кроме того, материал не попадёт в раздел "статьи", если Вы при загрузке не укажете ему тип "научные статьи и сборники". Для монографии этого, очевидно, делать не нужно.Слово "научные" добавлено только затем, что статьи бывают и публицистическими, но такие, как правило, и помещать следует в Публицистику.
Спасибо за разъяснение. Делаю вывод, что в данный момент помещать нужно в родительский раздел "Тестирование программного обеспечения". Должен заметить, однако, что считаю целесообразным разграничение в данном разделе именно науки и практики (как и, в принципе, в любом разделе каталога). Раздел "Научные статьи" слишком конкретен и узок. Либо "Научные публикации", либо "Статьи" (не только научные), если уже на то пошло. И вообще, согласитесь, что при имеющийся в данной структуре подраздел "Другое (в т.ч. книги, учебные пособия, журналы и другие издания)" слишком широк и создает предпосылки для образования плохо структурированной свалки всего перечисленного.
Другое ~ Книги.Фильтры нужны в основном для того, чтобы отделять не-книги от общего списка. Ещё есть журналы, но они по определению складываются в особые разделы.Не думаю, что целесообразно вводить разграничения по разным типам книг, т.к. грань не всегда определённа / не всегда очевидна для пользователей. Так же неопределённа /неочевидна может быть и грань между наукой/практикой. Обратите внимание, что пользователь, загружающий книгу, не обязан быть специалистом в её тематике.
Комментарии
Монография статьёй не является.Кроме того, материал не попадёт в раздел "статьи", если Вы при загрузке не укажете ему тип "научные статьи и сборники".
Для монографии этого, очевидно, делать не нужно.Слово "научные" добавлено только затем, что статьи бывают и публицистическими, но такие, как правило, и помещать следует в Публицистику.
Должен заметить, однако, что считаю целесообразным разграничение в данном разделе именно науки и практики (как и, в принципе, в любом разделе каталога). Раздел "Научные статьи" слишком конкретен и узок. Либо "Научные публикации", либо "Статьи" (не только научные), если уже на то пошло.
И вообще, согласитесь, что при имеющийся в данной структуре подраздел "Другое (в т.ч. книги, учебные пособия, журналы и другие издания)" слишком широк и создает предпосылки для образования плохо структурированной свалки всего перечисленного.
Ещё есть журналы, но они по определению складываются в особые разделы.Не думаю, что целесообразно вводить разграничения по разным типам книг, т.к. грань не всегда определённа / не всегда очевидна для пользователей.
Так же неопределённа /неочевидна может быть и грань между наукой/практикой.
Обратите внимание, что пользователь, загружающий книгу, не обязан быть специалистом в её тематике.