武汉科技学院学报
武漢科技學院學報
무한과기학원학보
JOURNAL OF WUHAN INSTITUTE OF SCIENCE AND TECHNOLOGY
2005年
12期
49-52
,共4页
形式化分析%系统测试%计算机支持的电信应用协议
形式化分析%繫統測試%計算機支持的電信應用協議
형식화분석%계통측시%계산궤지지적전신응용협의
针对我国目前电信软件生产中存在的某些弊端,运用协议测试理论对CSTA系统测试进行了形式化分析,澄清了系统测试实际工作中的一些误区,从而提高了发现问题的工作效率、准确度和软件测试质量的保障系数.
針對我國目前電信軟件生產中存在的某些弊耑,運用協議測試理論對CSTA繫統測試進行瞭形式化分析,澄清瞭繫統測試實際工作中的一些誤區,從而提高瞭髮現問題的工作效率、準確度和軟件測試質量的保障繫數.
침대아국목전전신연건생산중존재적모사폐단,운용협의측시이론대CSTA계통측시진행료형식화분석,징청료계통측시실제공작중적일사오구,종이제고료발현문제적공작효솔、준학도화연건측시질량적보장계수.
