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

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

А.С. Камкин.

Abstract

В статье исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном с неполнотой информации о состоянии целевой системы в процессе тестирования. В работе предлагается подход к разработке функциональных спецификаций и генерации функциональных тестов, основанный на использовании неопределенных значений для моделирования состояния целевой системы, а также трехзначной логики Клини для работы с неполными требованиями и описания свойств системы. В качестве базовой технологии используется технология тестирования UniTESK.

Edition

Proceedings of the Institute for System Programming, vol. 10 (in Russian), 2006, Стр. 143-166.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

For citation

А.С. Камкин. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. . Proceedings of the Institute for System Programming, vol. 10 (in Russian), 2006, Стр. 143-166. .

Full text of the paper in pdf (in Russian) Back to the contents of the volume