测试案例生成相关论文
面向由人车路多要素构成的现代交通系统,传统交通管理手段导致交通拥堵状况日益严重,车路协同技术成为当今智能交通领域的前沿技术......
随着宽带网络的不断发展,在线数字娱乐领域近年来发展非常迅速,在线数字娱乐系统变得越来越复杂。如何在不断增加新功能的基础上保......
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深......
本文提出一种基于分支概率引导的回归测试案例生成方法.首先,通过对程序建模生成程序控制依赖图并计算分支概率,分支概率是指对某......
基于形式化描述的验证测试是高安全系统的有效评估方法，而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试......
