В докладе применяется алгебраический подход к формальной разработке дымовых тестов для функций вещественного аргумента. Можно отметить, что он использовался в работах и методах разработки ПО многих авторов. В частости , у Б.Мейера в проектировании по контракту (см.[1]), в методе формальной разработки RAISE (см.[2]), в статье по формализации принципа подстановки Б.Лисков ([3]), в замечательной монографии Коди ([4]) и др. И, вообще по-видимому, восходит к работе Германа Грассмана по формализации арифметики 1861 года (см.[5]). Формализация требований к дымовым тестам записывается в виде аксиом в схемах языка формальных спецификаций RSL – RAISE Specification Language.

Лежит тут: https://www.researchgate.net/publication/385781889