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

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

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

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

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).

For citation

С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. . Proceedings of the Institute for System Programming, vol. 14, issue 1 (in Russian), 2008, Стр. 109-118. .

Full text of the paper in pdf (in Russian)

Back to the contents of the volume