贵州教育学院学报
貴州教育學院學報
귀주교육학원학보
JOURNAL OF GUIZHOU EDUCATION INSTITUTE(SOCIAL SCIENCE EDITION)
2006年
4期
76-79
,共4页
统计特征%安全指标%测试框架
統計特徵%安全指標%測試框架
통계특정%안전지표%측시광가
对软件测试建立动态运行模型,提出基于逻辑统计特征描述的软件测试方法.通过软件运行的统计特征对软件运行状态在可行域中的风险进行评估,从而得到软件测试的一个量化安全指标.最后从工程角度提出了有现实意义的软件测试框架,并从数学上证明了该框架的有效性.有一个隐含前提,就是程序应该是实际系统的拟合,程序功能模块的划分对实际系统所具有的逻辑约束与自身稳定性不构成破坏.
對軟件測試建立動態運行模型,提齣基于邏輯統計特徵描述的軟件測試方法.通過軟件運行的統計特徵對軟件運行狀態在可行域中的風險進行評估,從而得到軟件測試的一箇量化安全指標.最後從工程角度提齣瞭有現實意義的軟件測試框架,併從數學上證明瞭該框架的有效性.有一箇隱含前提,就是程序應該是實際繫統的擬閤,程序功能模塊的劃分對實際繫統所具有的邏輯約束與自身穩定性不構成破壞.
대연건측시건립동태운행모형,제출기우라집통계특정묘술적연건측시방법.통과연건운행적통계특정대연건운행상태재가행역중적풍험진행평고,종이득도연건측시적일개양화안전지표.최후종공정각도제출료유현실의의적연건측시광가,병종수학상증명료해광가적유효성.유일개은함전제,취시정서응해시실제계통적의합,정서공능모괴적화분대실제계통소구유적라집약속여자신은정성불구성파배.
