Proceedings of ISP RAS


Критерии тестового покрытия, основанные на структуре контрактных спецификаций.

В.В. Кулямин.

Abstract

В данной статье рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований. Эти критерии можно использовать при тестировании с использованием контрактных спецификаций (пред- и постусловий операций), независимо от применяемой при этом технологии. Приводится алгоритм определения достижимых комбинаций элементарных условий из кода пред- и постусловий, используемый для автоматического удаления недостижимых ситуаций из отчетов о тестовом покрытии.

Edition

Proceedings of the Institute for System Programming, vol. 14, issue 1 (in Russian), 2008, Стр. 89-108.

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

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