同济大学学报(自然科学版)
同濟大學學報(自然科學版)
동제대학학보(자연과학판)
JOURNAL OF TONGJI UNIVERSITY(NATURAL SCIENCE)
2013年
1期
135-141
,共7页
基路径%无效路径%算法%测试用例
基路徑%無效路徑%算法%測試用例
기로경%무효로경%산법%측시용례
在分析基路径覆盖测试技术及相关最新研究成果基础上,以被测程序及其程序图为依据,通过对变量依赖、非关联路径等的定义,推导出有效路径数量公式VE,进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证,证明该算法模型是有效的.
在分析基路徑覆蓋測試技術及相關最新研究成果基礎上,以被測程序及其程序圖為依據,通過對變量依賴、非關聯路徑等的定義,推導齣有效路徑數量公式VE,進而提齣瞭一種解決無效路徑問題的算法模型.通過對算法模型的理論推導和驗證,證明該算法模型是有效的.
재분석기로경복개측시기술급상관최신연구성과기출상,이피측정서급기정서도위의거,통과대변량의뢰、비관련로경등적정의,추도출유효로경수량공식VE,진이제출료일충해결무효로경문제적산법모형.통과대산법모형적이론추도화험증,증명해산법모형시유효적.