In article it is observed multifragments model of the served space vehicle informational-management system. At model construction, also elimination of the revealed software defects are considered conducting of operative verification software separate functions while in service. By results of modeling leading-outs are drawn on ways of definition of optimum time parameters of verification conducting.
multifragments design, operative correcting верификация, modification of programmatic facilities
"Model hotovnosty dvukhkanalnoi ynformatsyonno-upravliaiushchei systemы kosmycheskoho apparata s operatyvnoi veryfykatsyei prohrammnыkh sredstv" ,
Science and Technology of the Air Force of Ukraine,