统一数学归纳法相关硕士博士期刊学术论文 - 搜论网

统一数学归纳法相关论文

基于统一无穷理论的软件测试可穷尽性研究

传统认为只要继续测试,总能发现新的软件缺陷,这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究,将讨论范围从......

期刊

软件测试统一无穷理论软件特征测试用例集合测试可穷尽性测试可信性软件缺陷软件测试演化过程统一数学归纳法

看过本文同时还关注