Systems and Means of Informatics
2014, Volume 24, Issue 1, pp 73-79
MUTATION TEST METODOLOGY FOR ONBOARD SPACECRAFTS
RADIOELECTRONIC EQUIPMENT GROUND TEST
- D. À. Nedorezov
- À. I. Legalov
- Î. V. Nepomnjashhij
- S. S. Krasnenko
- À. V. Ankudinov
Abstract
Improving methods of tests developing effectiveness that are applied
in onboard spacecrafts radioelectronic equipment ground test are considered.
The approach that allows using mutation testing for hardware and software
tools, based on Field-Programmable Gate Arrays is suggested. Two ways of
hardware mutations modeling for testing are considered. The first approach is
based on classical use of electronic design automation systems with automatic
test suites generation. The second approach of mutation testing application can
use dynamically reconfigurable architectures (field-programmable gate arrays) in
hardware of developed device in combination with software that imitates logic of
real test object. The features of hardware and software components of developed
test complexes based on the proposed method are described. General ways of
introduced approach advance are specified.
[+] References (6)
- Travis, J., and J. Kring. 2006. LabVIEW for everyone: Graphical programming made
easy and fun. 3rd ed. Prentice Hall. 1032 p.
- Gurov, I. 2011. Apparatnye sredstva Compact PCI proizvodstva ADLINK Technology
[ADLINK Technology Compact PCI hardware]. Sovremennye Tekhnologii Avtomatizatsii [Modern Automation Technology] 2:30-36.
- Budd, T.A. 1980. Mutation analysis of program test data. PhD Thesis. New Haven CT,
Yale University, 1980.
- DeMillo, R.A., R. J. Lipton, and F.G. Sayward. 1978. Hints on test data selection:
Help for the practicing programmer. IEEE Computer 11(4):34-41.
- Offutt, A. J., and S.D. Lee. 1994. An empirical evaluation of weak mutation. IEEE
Trans. Software Eng. 20:337-344.
- Nepomnjashhij, O.V., and S. Ju. Alekminskij. 2010. Problemy verifikatsii proekta
pri skvoznom proektirovanii vychislitel'nykh sistem na kristalle [Problems of project
verification in through design of on-chip calculating systems]. Nano i Mikrosistemnaya
Tekhnika [Nano and Microsystem Technics] 9:4-7.
[+] About this article
Title
MUTATION TEST METODOLOGY FOR ONBOARD SPACECRAFTS
RADIOELECTRONIC EQUIPMENT GROUND TEST
Journal
Systems and Means of Informatics
Volume 24, Issue 1, pp 73-79
Cover Date
2013-11-30
DOI
10.14357/08696527140104
Print ISSN
0869-6527
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
mutation testing; hardware description languages; ground test;
equipment; complexes
Authors
D. À. Nedorezov , À. I. Legalov , Î. V. Nepomnjashhij , S. S. Krasnenko ,
and À. V. Ankudinov
Author Affiliations
Siberian Federal University, 79/10 Svobodny Pr., Krasnoyarsk 660041, Russian
Federation
JSC "Information Satellite Systems" named after academician M. F. Reshetnev,
52 Lenin Str., Zheleznogorsk, Krasnoyarsk Region 662972, Russian Federation
|