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