Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- МЕТОДИКА АВТОМАТИЗАЦИИ ТЕСТИРОВАНИЯ НА ОСНОВЕ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ
- Авторы
- Гагарина Л. Г. , д-р техн. наук, проф, ,
Акашкин В. Ф. , магистр, ,
- В разделе
- МАШИНОСТРОЕНИЕ. МЕТОДЫ ИССЛЕДОВАНИЯ И МОДЕЛИРОВАНИЯ
- Ключевые слова
- формализация / тестирование / автоматизация тестирования / ключевые состояния / объекты
- Год
- 2009 номер журнала 4 Страницы 20 - 24
- Индекс УДК
- УДК 004.052.44
- Код EDN
- Код DOI
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Рассмотрены проблемы современных средств автоматизации тестирования программных продуктов. Предложены методика формализованного описания спецификации и способ ее использования для генерации тестовых последовательностей.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Maguire M. Cowboy Quality. Quality Progress, 1999. P. 27-34.
Binkley D. Reducing the cost of regression testing by semantics guided test case selection// Proceedings of the International Conference on Software Maintenance, 1995. P. 251-260.
Binkley D. Semantics guided regression test cost reduction// IEEE transaction on software engineering, 1997. V. 23. No. 8. P. 498-516.
- Купить
