Научная электронная библиотека ULRICH'S Periodicals Directory

Сибирский государственный университет
науки и технологий имени академика М.Ф. Решетнева

Сибирский аэрокосмический журнал
ISSN 2712-8970 (Print) ISSN 2782-5760 (on-line)

Сведения об образовательной организации

UDK 629.78.054:621.396.018 Vestnik SibGAU 2014, No. 4(56), P. 98–101
THE METHOD OF HARDWARE MUTATION FOR DEBUGGING COMPLEX ONBOARD SPACECRAFTS EQUIPMENT
D. A. Nedorezov [1], V. A. Khabarov [1], E. A. Abramov [1], D. G. Oshchepkova [2]
[1]Siberian Federal University 79, Svobodnyi Av., Krasnoyarsk, 660041, Russian Federation E-mail: vithabarov@gmail.com [2] JSC "Information satellite systems” named after academician M. F. Reshetnev" 52, Lenin str., Zheleznogorsk, Krasnoyarsk region, 662972, Russian Federation E-mail: Oshepkovadarya@gmail.com
The solution to the problem of increasing the quality of ground tests of spacecrafts onboard radio-electronic equipment is proposed. The solution is based on the use of the author's technique of mutation testing for ground tests. It is based on the simulation of the process of functioning hardware and software under the influence of space factors. The results of the development of this technique and examples of its applying for ground tests of spacecrafts onboard radio-electronic equipment are presented. The proposed approach is based on the use in composition of emulators reconfigurable FPGA. It allows to go to a new quality of ground tests. Application of high-speed FPGA in test equipment allows to achieve a desired speed of functioning and degree of reconfigurability. It allows to simulate functioning of the hardware modules in actual operating conditions. Imitation occurs by introducing the mutation operators in the description of the functional units of the equipment. An algorithm for ground tests and basic stages of testing, which including the process of formalizing the behavior of channels I/O device at each fault is developed. In the framework of the developed technique, in addition to equipment, the mutations are exposed onboard software of embedded microprocessor systems. Laboratory debugging complex for the application of this method is implemented and put into commercial operation. The results of the development of this debugging complex, methods and ways of it applying in special testing of radio-electronic equipment are presented. The results of testing of the laboratory debugging complex and general ways of introduced approach advance are specified.
mutation testing, hardware description languages, debug, radio-electronic equipment, FPGA, debugging complex.
References
  1. Gurov V. [Compact PCI hardware production ADLINK Technology]. Sovremennye tekhnologii avtomatizatsii, 2011, no. 2, p. 30–36 (In Russ).
  2. Travis J., Kring J. LabVIEW dlya vsekh [LabVIEW for Everyone]. St.Petersburg, DMK Press, 2011.
  3. 3.   Nepomnyashchiy O. V., Legalov A. I., Ryzhenko I. N. [Technology architecture-independent, high-level synthesis of VLSI]. Doklady AN VSh RF, 2014, vol. 57, no. 3, p. 35–39. (In Russ).
  4.  Nedorezov D. A., Pichkalev A. V., Krasnenko S. S., Nepomnyashchiy О. V. [Application FPGA for modelling of logic of functioning of onboard radio-electronic equipment of spacecrafts]. Vestnik SibGAU. 2014, no. 1 (53), р. 133–136 (In Russ.).
  5. Krasnenko S. S., Nedorezov D. A., Kashkin V. B., Pichkalev A. V. [Bus-modular system for testing the onboard radio-electronic equipment]. Vestnik SibGAU. 2013, no. 2(48), р. 133–136 (In Russ.).
  6. Nepomnyashchiy О. V., Legalov А. I., Sirotinina N. J. [High-Level Design Flows for VLSI Circuit]. Zhurnal Sibirskogo federal'nogo universiteta. Seriya Tekhnika i tekhnologii. 2014, no. 6, p. 674–684 (In Russ.).
  7. Nepomnyashchiy О. V., Veysov E. A., Pravitel' A. S. [The dynamically reconfigurable systems on chip for special-purpose radio-electronic equipment]. Uspekhi sovremennoj radiojelektroniki. 2014, no. 5, p. 25–29 (In Russ.).
  8. Nepomnyashchiy O. V., Skotnikov G. A., Khabarov V. A., Madudov M. V. [Very Large Scale Integration. Designing Problems]. Voprosy sovremennoj nauki i praktiki. Universitet im. V. I. Vernadskogo. 2009, vol. 20, no. 6, p. 166–173 (In Russ.).
  9. Nedorezov D. A., Nepomnyashchiy O. V., Legalov A. I., Ankudinov A. V., Krasnenko S. S. [Mutation test metodology for onboard spacecrafts radioelectronic equipment ground test]. Sistemy i sredstva informatiki. 2014, vol. 24, no. 1, p. 75–78 (In Russ.).
  10. Nepomnjashhij O. V., Shajdurov V. V., Vejsov E. A. [Problems and solutions of designing microprocess or modules nvigation equipment GLONASS users]. Vestnik SibGAU. 2009, vol. 25, no. 4, p. 14-18 (In Russ.).
  11. Filip Van Laenen. Mutation testing. Overload Journal. 2012, no. 108, p. 16–22.
  12. DeMillo R. A., Lipton R. J., Sayward F. G. Hints on test data selection: Help for the practicing programmer. IEEE Computer. 1978, p. 34–41.
  13. Offutt A. J., Lee S. D. An empirical evaluation of weak mutation. IEEE Transactions on Software Engineering. 1994, no. 20, p. 337–344.
  14. Nepomnyashchiy O.V., Komarov A. A., Titovskaya T. S., Leonova A. V. [Formal verification in the design of VLSI]. Vestnik KrassGAU. 2014, no. 4, p. 87-79 (In Russ.).
  15. Nepomnyashchiy O. V., Krasnenko S. S., Pichkalev A. V., Nedorezov D. A., Lapin A. Yu. [Methods of ralization of simulators of satellite radionavigation systems]. Vestnik SibGAU. 2014, no. 1(53), p. 30-34. (In Russ).

Nedorezov Dmitrii Aleksandrovich – engineer of JSC “Information satellite systems” named after academician M. F. Reshetnev”; Postgraduate student of Siberian Federal University. E-mail: Nd@iss-reshetnev.ru

Khabarov Vitaliy Aleksandrovich – Cand. Sc., Docent of Computer Science department, Institute of Space and Information Technology, Siberian Federal University. Email: vithabarov@gmail.com

Abramov Egor Anatol’evich – Master’s Degree student of Siberian Federal University. E-mail: stdfalse@gmail.com

Oshchepkova Dar'ja Gennad'evna – engineer of JSC “Information satellite systems” named after academician
M. F. Reshetnev”. E-mail: Oshepkovadarya@gmail.com