Mutation test metodology for onboard spacecrafts radioelectronic equipment ground test

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.