Рис. 4. Сранение способов генерации тестов по времени генерации (
a
) и степени
покрытия кода (
б
)
для алгоритмов, записанных на языке Perl, зарегистрирован в Объединенном
фонде алгоритмов и программ под номером ЕСПД.02076881.00425-01.
СПИСОК ЛИТЕРАТУРЫ
1. М а й е р с Г. Искусство тестирования программ. – М.: Финансы и статистика,
1982. – 174 с.
2. B e n - A r i M. Principles of Spin // Springer Verlag. – 2008. – P. 216. of Software),
volume 3639 of Lecture Notes in Computer Science, San Francisco, August 2005.
Springer-Verlag.
3. B u r c h J., C l a r k e E., M c M i l l a n K., D i l l D., and H w a n g L. Symbolic
model checking: 10
∧
20 states and beyond // Information and Computation. – 1992.
– Vol. 98, No. 2. – P. 142–170.
4. К у л я м и н В. В. Методы верификации программного обеспечения // Все-
рос. конкурсный отбор обзорно-аналит. статей по приоритетному направлению
“Информационно-телекоммуникационные системы”, 2008. – 117 с.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2011. № 4 123
