Journals
Books
Articles by keyword debugging
Solving computer security problems through deterministic replay of virtual machines
P.M. Dovgalyuk - Ph.D., Assistant professor in Yaroslav-the-Wise Novgorod State University. E-mail: Pavel.Dovgaluk@ispras.ru
N.I. Fursova - Student of Yaroslav-the-Wise Novgorod State University. E-mail: Natalia.Fursova@ispras.ru
D.S. Dmitriev - Student of Yaroslav-the-Wise Novgorod State University. E-mail: Denis.Dmitriev@ispras.ru
Debugging facilities of microprocessor systems
A.M. Valitov - Expert, Moscow regional branch of Fund of social insurance
M.M. Valitov - Engenier, MIREA
M.S. Valitov - Ph.D.(Eng.), MIREA. E-mail: valitovms@mail.ru
M.S. Valitova - Master, MIREA
M.A. Samoilova - Student, MIREA. E-mail: himerik@mail.ru
On the results of the International Workshop - Conference «Tools & Methods of Program Analysis» TMPA-2015
V.N. Zakharov - Scientific Secretary, FRC «Computer Science and Control» RAS (Moscow). E-mail: vzakharov@ipiran.ru
Downloading and debugging program for rad-hard RISC-microcontroller
I.A. Surazhevskiy - Engineer, JSC «Concern «Avtomatika». E-mail: isurazhevskiy@gmail.com
Multi-platform approach to reverse debugging of virtual machines
P.M. Dovgalyuk - Ph. D. (Eng.), Associate Professor, Novgorod State University. E-mail: pavel.dovgaluk@gmail.com M.A. Klimushenkova - Junior Research Scientist, Novgorod State University. E-mail: maria.klimushenkova@ispras.ru D.S. Dmitriev - Junior Research Scientist, Novgorod State University. E-mail: denis.dmitriev@ispras.ru V.A. Makarov - Ph. D. (Eng.), Associate Professor, Novgorod State University. E-mail: vladimir.makarov@ispras.ru
Problems of debugging parallel programs and possible solutions
V.O. Volosenkov - Dr. Sc. (Eng.), Professor, Main Research Scientist, JSC «Concern «Morinsys-Agat» (Moscow) E-mail: vvolosenkov@yandex.ru A.D. Gavrilov - Dr. Sc. (Mil.), Professor, Main Research Scientist, JSC «Concern «Morinsys-Agat» (Moscow) E-mail: info@concern-agat.ru
Evaluation of the reliability of special software for real-time multiprocessor computing systems

V.O. Volosenkov1

1 JSC “Concern “Marines-Agat” (Moscow, Russia)
 

A method for evaluating the quality of debugging programs of real-time computing systems

V.O. Volosenkov1, N.A. Gritsai2, I.R. Son3, E.G. Andrianova4, N.N. Trokhachenkova5

1 JSC “Concern “Marines-Agat” (Moscow, Russia)

2–5 MIREA – Russian University of Technology (Moscow, Russia)