计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2004年
8期
714-716,725
,共4页
游红俊%周红梅%程胜利%陈先桥
遊紅俊%週紅梅%程勝利%陳先橋
유홍준%주홍매%정성리%진선교
形式化方法%系统测试%CSTA%外包
形式化方法%繫統測試%CSTA%外包
형식화방법%계통측시%CSTA%외포
系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据.
繫統測試中的形式化方法是將客戶需求用數學規約錶達齣來,推導齣各項功能的預期輸齣結果,以完善客戶需求,不僅可以較好地消除需求中可能包含的矛盾、二義性、含糊性、不完整陳述以及抽象層次的混雜等,提高髮現問題的工作效率和準確度,提高軟件測試質量的保障繫數,而且可以將行業知識封裝起來,為軟件測試業務外包提供一箇現實可行的依據.
계통측시중적형식화방법시장객호수구용수학규약표체출래,추도출각항공능적예기수출결과,이완선객호수구,불부가이교호지소제수구중가능포함적모순、이의성、함호성、불완정진술이급추상층차적혼잡등,제고발현문제적공작효솔화준학도,제고연건측시질량적보장계수,이차가이장행업지식봉장기래,위연건측시업무외포제공일개현실가행적의거.
