A method, providing control of semantic correctness of software on the stage of the stand working off or in real time, having as compared to the method of semantic control on an order less ресурсоемкость, is offered, considerably more high diagnosing ability and more exact estimation of probability of existence of remaining programmatic defects. Application of method in the real-time systems allows to promote reliability of the sensor-based systems for APP and complexes of aviation-spaces.
semantic control, semantic invariants, remaining programmatic defects, descriptor control of the real time
"Deskryptornыi kontrol prohrammnoho obespechenyia krytycheskoho prymenenyia v realnom vremeny" ,
Scientific Works of Kharkiv National Air Force University,