Computing, Telecommunication and Control Информатика, телекоммуникации и управление 2687-0517 10 Testing digital systems defined by high level specifications Тестирование цифровых систем, заданных высокоуровневыми спецификациями Berezkin Aleksey a.v.berezkin@gmail.com Fedotov Аlexandr afedotov@spbstu.ru Filippov Aleksey filippov@eda-server.ftk.spbstu.ru Peter the Great St. Petersburg Polytechnic University 10 12 2011 6 138 1 62 70

The complex of means of verification of the digital systems, including set of techniques of synthesis of tests from the specifications set in languages of high level, focused on the tool means supporting these techniques is considered. Ways of synthesis of tests and the built in means the testings based on additional rules for UML of diagrams and System C models are offered.

 verification UML the specification generation of tests system c the technique tool means