Библиотека Зиновьев Дмитрий Андреевич Тема работы:Составление тестовых последовательностей на основе объектно-ориентированных моделей

Тезисы выступления на конференции

1. Составление тестовых последовательностей Test Case на основе объектно-ориентированной модели
Авторы: Зиновьев Д.А. Фонотов А.М.
Международная научно-техническая конференция студентов, аспирантов и молодых ученых
«Информационные управляющие системы и компьютерный мониторинг - 2010»
ДонНТУ 2010

     Аннотация
     В статье рассматривается вопрос, и методы составления тестовых последовательностей, которые используют объектно-ориентированную модель системы. Проведен анализ ранее использованных методик, проанализированы их достоинства и недостатки, рассмотрены пути автоматизации процесса оптимальных тестовых последовательностей на основе объектно-ориентированных моделей.

     Источник: Інформаційні управляючі системи та комп`ютерний моніторинг (ІУС та КМ-2010). / Матеріали I всеукраїнської науково-технічної конференції студентів, аспірантів та молодих вчених - 19-21 травня 2010 р., Донецьк, ДонНТУ. - 2010. Збіник містить 2 томи загальним обсягом 634 стор.

Специализированные статьи

2. MODEL BASED TEST GENERATION TOOLS

Авторы:Alan Hartman

     Аннотация
     В данном докладе предпринята попытка перечислить основные инструменты для генерации тестов основанных на модели. Цель доклада заключается в позиционировании AGEDIS инструментов в контексте того, что имеющиеся в настоящее время в промышленности и научных кругов.

     Источник: http://www.agedis.de/documents/ModelBasedTestGenerationTools_cs.pdf

3. Test case generation for ATM protocols using high-level Petri net models

Авторы:R. Bechtold, G. Gattung,O. Henniger, C. Paule

     Аннотация
     В данной статье описывается опыт работы компьютерной подсистемы генерации тестовых случаев для ATM протоколов.

     Источник: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.16.9801&rep=rep1&type=pdf

4. Coverage-driven Automatic Test Generation for UML Activity Diagrams

Авторы:Mingsong Chen, Prabhat Mishra

     Аннотация
     Статья организована следующим образом. Раздел 2 описывает подобные работы по вопросам проверки UML диаграмм деятельности. Раздел 3 содержит краткое описание моделирования UML диаграмм деятельности. В разделе 4 представлены результаты наших испытаний. В разделе 5 вывод.

     Источник: http://www.cise.ufl.edu/~prabhat/Publications/glsvlsi08_2.pdf

5. Model-Based Testing in Practice

Авторы:S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton

     Аннотация
     Объектно-ориентированное тестирование это новая и перспективное техника для генерации набора тестовых случаев.

     Источник: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.4894&rep=rep1&type=pdf

6. A Survey on Automatic Test Data Generation

Авторы:Jon Edvardsson

     Аннотация
     В целях снижения высокой стоимости ручного тестирования программного обеспечения и в то же время повысить надежность процессов тестирования исследователей и практиков пытаются автоматизировать этот процесс.

     Источник: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.4894&rep=rep1&type=pdf

7. Software Testing

Авторы:Jiantao Pan

     Аннотация
     Целью тестирования могут быть гарантии качества, проверки и подтверждения надежности оценки. Тестирование может быть использован в качестве общей метрики, а также Корректность тестирования и испытания на надежность являются две основные задачи тестирования. Тестирование программного обеспечения представляет собой компромисс между бюджетом, времени и качества.

     Источник: http://www.ece.cmu.edu/~koopman/des_s99/sw_testing/

8. The Way Forward for Unifying Dynamic Test Case Generation: The Optimisation-Based Approach

Авторы:Nigel Tracey, John Clark, Keith Mander

     Аннотация
     Одним из основных расходов в разработке программного обеспечения, является составление тестовых-данных. В настоящем документе излагаются обобщенные прецеденты генерации данных, основанных на методах оптимизации.

     Источник: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7678

9. A Symbolic Java Virtual Machine for Test Case Generation

Авторы:Roger A. Muller, Christoph Lembeck, Herbert Kuchen

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

     Источник: http://www.actapress.com/Abstract.aspx?paperId=16475

Переведенная статья

10. A SURVEY ON AUTOMATIC TEST CASE GENERATION

ОБЗОР АВТОМАТИЗАЦИИ ГЕНЕРАЦИИИ ТЕСТОВЫХ СЛУЧАЕВ

Авторы:M.Prasanna, S.N. Sivanandam, R.Venkatesan, R.Sundarrajan
Автор перевода:Зиновьев Д.А.

     Аннотация
     Тестирование программного обеспечения является важным направлением в области жизненного цикла разработки программного обеспечения. Чтобы сократить затраты на ручное тестирование и повысит его надежность, исследователи и практики пытались автоматизировать его.

     Источник: http://www.acadjournal.com/2005/v15/part6/p4/

Факультет:	Компьютерных наук и технологий
Кафедра:	Автоматизированные системы управления
Специальность:	Информационные управляющие системы и технологии
Тема выпускной работы:	Составление тестовых последовательностей на основе объектно-ориентированных моделей
Руководитель:	к.т.н., доцент Фонотов Анастас Михайлович