执行树相关论文
提出一种基于GCL语言生成程序测试用例的形式化方法．程序的语义为测试用例的生成提供了基本框架，而由Hoare等人提供的规则保证了用例......
随着GUI的应用越来越广泛，GUI软件的功能性测试变得越来越重要，它是确保整个系统安全性、可用性和鲁棒性的重要因素。虽然测试人员对......
