國際電子商情訊 CMSP(中國載人航天工程)選擇在自動化的軟件驗證工具供應(yīng)商具有領(lǐng)導(dǎo)地位的LDRA,以及LDRA工具包用來分析復(fù)雜的天宮一號飛船關(guān)鍵應(yīng)用。需要滿足DO-178B的A級驗證的天宮號飛船,將進行空間交會對接試驗,全
由自動化方式讓軟件開發(fā)的效率及質(zhì)量獲得提高,是Parasoft公司成立22年來一直追求的目標(biāo)。作為業(yè)界領(lǐng)先的軟件測試工具和軟件開發(fā)管理整體解決方案的供應(yīng)商,Parasoft 亞太區(qū)總裁 Jeff Chen說,Parasoft在全球已有超過
Parasoft全面進軍中國市場 提供先進的軟件測試方案