飞行器测控学报
飛行器測控學報
비행기측공학보
JOURNAL OF SPACECRAFT TT&C TECHNOLOGY
2013年
2期
152-155
,共4页
测试用例%因果图%约简算法%路径控制阵列%测试覆盖
測試用例%因果圖%約簡算法%路徑控製陣列%測試覆蓋
측시용례%인과도%약간산법%로경공제진렬%측시복개
对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率.针对该问题,提出了一种测试用例生成与约简算法.该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计.该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误.应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效.
對于參數多、狀態多且狀態轉換關繫複雜的軟件,測試人員設計的測試用例往往難以保障測試覆蓋率.針對該問題,提齣瞭一種測試用例生成與約簡算法.該方法定義瞭一種數據模型——測試路徑控製陣列模型,將其與因果圖法結閤起來,可通過編程實現測試用例設計.該方法設計測試用例便捷、充分,避免瞭由于人工繪製因果圖和檢查判定錶引入的錯誤.應用于實時繫統軟件的主副切換功能測試時,生成測試用例32箇,對被測對象覆蓋全麵且有效.
대우삼수다、상태다차상태전환관계복잡적연건,측시인원설계적측시용례왕왕난이보장측시복개솔.침대해문제,제출료일충측시용례생성여약간산법.해방법정의료일충수거모형——측시로경공제진렬모형,장기여인과도법결합기래,가통과편정실현측시용례설계.해방법설계측시용례편첩、충분,피면료유우인공회제인과도화검사판정표인입적착오.응용우실시계통연건적주부절환공능측시시,생성측시용례32개,대피측대상복개전면차유효.
