【據(jù)militaryaerospace網(wǎng)站2019年5月14日?qǐng)?bào)道】美國(guó)防高級(jí)研究計(jì)劃局(DARPA)5月10日發(fā)布“自動(dòng)快速軟件認(rèn)證”(ARCOS)項(xiàng)目建議征詢書，其目的在于尋求自動(dòng)評(píng)估軟件的各種方法，能夠使軟件認(rèn)證人員快速確定軟件系統(tǒng)的可用性。目前，軟件認(rèn)證過(guò)程主要為人工操作，人工評(píng)估容易使軟件評(píng)估表面化、不完整且耗時(shí)長(zhǎng)，達(dá)不到美國(guó)國(guó)防部(DoD)軟件開(kāi)發(fā)數(shù)量的要求。DARPA研究人員表示，人工評(píng)估軟件、無(wú)法分解評(píng)估過(guò)程成為阻礙軟件開(kāi)發(fā)規(guī)模的主要因素。