2)
установить значение числа ложных срабатываний — из 47 най-
денных ошибок 44 были подтверждены составленными вручную те-
стами;
3)
показать, что с помощью разработанного метода можно гене-
рировать тесты, выявляющие больше ошибок, и что данный метод
покрывает больше кода, чем традиционные методы ручного и автома-
тизированного составления тестов. Кроме того, структурная генерация
тестов применима к нецелочисленным алгоритмам, которые не могут
быть проверены с помощью формальной верификации.
Эксперименты проводились на модулях с открытым исходным ко-
дом репозитория CPAN [14]. Программный комплекс, реализующий
данную схему для алгоритмов, коорые записаны на языке Perl, заре-
гистрирован в Объединенном фонде алгоритмов и программ [15, 16].
СПИСОК ЛИТЕРАТУРЫ
1.
К у л я м и н В. В. Методы верификации программного обеспечения / Все-
российский конкурсный отбор обзорно-аналитических статей по приоритетно-
му направлению “Информационно-телекоммуникационные системы”, 2008. –
117
с.
2.
Ч е н ь Ч., Л и Р. Метод резолюций // Математическая логика и автоматиче-
ское доказательство теорем = Chin-Liang Chang; Richard Char-Tung Lee (1973).
Symbolic Logic and Mechanical Theorem Proving. Academic Press. – М.: Наука,
1983. – 358
c.
3.
L e u e S., We i W. Counterexample-based refinement for a boundedness test for
CFSM languages, International Workshop on Model Checking Software (SPIN):
Lecture Notes in Computer Science (LNCS) / Godefroid P. (ed.). – Vol. 3639. San
Francisco, CA, USA. August 2005. – Springer-Verlag. – P. 58–74.
4.
S y m b o l i c model checking:
10
2
0
states and beyond / J Burch, E. Clarke,
K. McMillan, D Dill, and L. Hwang // Information and Computation. – 1992. –
Vol. 98, No. 2. – P. 142–170.
5.
Р у д а к о в И. В., Р е б р и к о в А. В. Неполная верификация сложных дис-
кретных систем // Информационные технологии. – 2011. – № 3. – С. 31–34.
6.
P o d g u r s k i A. and C l a r k e L. A. A Formal Model of Program Dependences
and its Implications for Software Testing, Debugging, and Maintenance // IEEE
Trans. Softw. Eng. – 16, 9 (Sep. 1990). – P. 965–979.
7.
С а в е н к о в К. О. Масштабирование дискретно-событийных имитационных
моделей: дис. . . . канд. физ.-мат. наук: 05.13.133. МГУ, 2007.
8.
G u p t a N., M a t h u r A. P. and S o f f a M. L. Generating Test Data for Branch
Coverage // Proc. of the 15th IEEE Int. Conf. on Automated Software. – 2000. –
P. 219–227.
9.
Р у д а к о в И.В., Р е б р и к о в А. В. Масштабирование алгоритмов для ав-
томатической генерации модульных тестов // Вестник МГТУ им. Н.Э. Баумана.
Сер. Приборостроение. – 2011. – № 4. – С. 119–126.
10.
Р е б р и к о в А. В. Редукция операторов алгоритма для оптимизации времени
структурной генерации модульных тестов / Материалы четырнадцатого научно-
практич. семинара “Новые информационные технологии в автоматизированных
системах”. – М.: Моск. гос. ин-т электроники и математики, 2011. – С. 28–34.
78
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
