【自動(dòng)化測(cè)試是保障航空領(lǐng)域安全安全可靠的重要手段】中國(guó)軍演引發(fā)各界關(guān)注，早在今年4月北航馬世龍教授在一次學(xué)術(shù)會(huì)議上談到，航空領(lǐng)域安全攸關(guān)系統(tǒng)可信需求典型而迫切，保障預(yù)警機(jī)任務(wù)系統(tǒng)、警戒任務(wù)系統(tǒng)等大型信息化武器裝備系統(tǒng)等大型軟件系統(tǒng)安全可靠，是軟件領(lǐng)域緊迫的研究課題。#自動(dòng)化測(cè)試#