350 rub
Journal Electromagnetic Waves and Electronic Systems №11 for 2014 г.
Article in number:
Detection of errors in memory management information systems special purpose
Authors:
A.F. Ulasen - Ph. D. (Eng.), Associate Professor, Head of Department of Electronic (Air Defense Forces), Military Academy of Air Defense Forces RF (Smolensk). E-mail: ulas.s@mail.ru
Abstract:
The article examines the characteristics of errors of memory, which can lead to loss of data, incorrect system behavior, system failures and failures, which are crucial for the considered real-time systems. Uncontrolled reduce the amount of free memory associated with errors in the running programs, can lead to the fact that the memory consumption of the program increases, the result sooner or later a new memory allocation becomes impossible. In this regard, the selection of two main directions find errors in the software: static and dynamic debugging stage special software that will allow you to minimize the amount of effort when searching for errors and debugging software.
Pages: 45-48
References
- Volosenkov V.O. Metodologiya postroeniya sistemy' podderzhki razrabotki i otladki funkczional'nogo programmnogo obespecheniya vy'chislitel'ny'x sistem zenitnogo raketnogo vooruzheniya vojskovoj PVO // Diss. - dokt. texn. nauk. Smolensk: VA VPVO. 2006. 301 s.
- Konstantinovskij V.M., Lopashinov P.M., Shalin S.A. Sredstva razrabotki i otladki programmnogo obespecheniya dlya sistem, rabotayushhix v rezhime real'nogo vremeni // VSRE'. seriya RLT. 2000. № 1.
- Puchkov F.M., Shapchenko K.A. Staticheskij metod analiza programmnogo obespecheniya na nalichie ugroz perepolneniya buferov. Programmirovanie. 2005.
- Gluxix M.I., Iczy'kson V.M. Programmnaya inzheneriya. Obespechenie kachestva programmny'x sredstv metodami staticheskogo analiza: Ucheb. posobie. SPb.: Izd‑vo Politexn. un‑ta. 2011. 150 s.
- Fatkieva R.R., Pomeczko V.V. Metod identifikaczii uyazvimostej programmnogo koda // Informaczionno-izmeritel'ny'e i upravlyayushhie sistemy'. 2010. № 7. S. 55−59.