Preview

Моделирование и анализ информационных систем

Расширенный поиск

Генерация тестовых данных на основе формального анализа данных конфигурации проекта

Полный текст:

Аннотация

Предлагается метод подготовки тестовых данных, обеспечивающих определенный уровень покрытия требований для функционального тестирования. Использование метода упрощает поддержание в непротиворечивом состоянии конфигурации данных жизненного цикла проекта, включающей в себя требования, программный код и сгенерированные тесты. Вводится классификация дефектов программного обеспечения. Предлагается подход к формализации анализа требований и реализации тестируемой системы, основанный на представлении разбиения на классы эквивалентности в виде системы логических уравнений. Предложен приблизительный метод решения получаемых уравнений. Обсуждается применимость подхода в реальных процессах промышленных проектов.

Об авторах

А. В. Батаев
Национальный исследовательский ядерный университет "МИФИ"
Россия


А. А. Давыдов
Национальный исследовательский ядерный университет "МИФИ"
Россия


Н. Ю. Налютин
Национальный исследовательский ядерный университет "МИФИ"
Россия


С. В. Синицын
Национальный исследовательский ядерный университет "МИФИ"
Россия


Список литературы

1. Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения. М.: Бином; Лаборатория знаний Интуит, 2008. 368 с.

2. ГОСТ Р 51904-2002. Программное обеспечение встроенных систем. Общие требования к разработке и документированию. М.: Госстандарт России, 2002. 94 с.

3. Налютин Н.Ю., Синицын С.В. Проблемы управления конфигурациями в процессе разработки программного обеспечения встроенных систем // Программные продукты и системы. 2008. № 1. С. 26-29.

4. Соммервилл И. Инженерия программного обеспечения. М.: Вильямс, 2002. 624 с.

5. Hayhurst K. J., Veerhusen D.S. et al. A practical tutorial on Modified Condition / Decision Coverage: Technical Memorandum. NASA, 2001. 85 p.


Для цитирования:


Батаев А.В., Давыдов А.А., Налютин Н.Ю., Синицын С.В. Генерация тестовых данных на основе формального анализа данных конфигурации проекта. Моделирование и анализ информационных систем. 2010;17(4):17-26.

For citation:


Bataev A.V., Davydov A.A., Nalutin N.Y., Sinitsyn S.V. Test data generation based on a formal analysis of the project conguration. Modeling and Analysis of Information Systems. 2010;17(4):17-26. (In Russ.)

Просмотров: 94


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)