Proceedings of ISP RAS


Автоматическое определение выполнимости наборов формул для операций сравнения.

С.В. Зеленов, С.А. Зеленова.

Abstract

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

Edition

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

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

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