Мain principles of communication and navigation satellites onboard software system testing and validation

This paper describes an approach providing the quality of system testing and validation stages of the developed onboard software for communication and navigation satellites. The approach is based on the onboard software stratification, software modeling of satellite subsystems and high level of the users interface of the software testing tools