常見(jiàn)例句CSTA?Computer?Supported?Telecommunications?Applications? 計(jì)算機(jī)支持的電信應(yīng)用?This method has been proved its efficency by using it in CSTA system test during autor"s practice. 該方法在實(shí)習(xí)期間用到CSTA系統(tǒng)測(cè)試中,取得了明顯效果。Combining the request of software testing, chapter six gives an example of using RAISE in CSTA system testing and analyzes the Formal Method technique. 第六章結(jié)合軟件系統(tǒng)測(cè)試的需要,給出了一個(gè)用RAISE形式化CSTA的實(shí)例,并根據(jù)該實(shí)例剖析了系統(tǒng)測(cè)試中的形式化技術(shù)。Research of Formal Methods in CSTA System Test 形式化方法在CSTA系統(tǒng)測(cè)試中的應(yīng)用研究College of Science and Tecnology of Anhui CSTA 安徽科技學(xué)院Computer Supported Technical Assistance(CSTA) 計(jì)算機(jī)支持的技術(shù)支援 返回 CSTA