Web应用的快速发展给Web开发和测试提出了更高的要求.建立模型是测试的第一步.本文在现有的Web应用测试模型的基础上进行改进,给出......

高可信软件技术是软件理论研究和工程实践领域关注的焦点之一。近年来，越来越多的形式化方法被应用于提高软件质量的研究上。软件测......

介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Data flow Test For Assembly Program),给出了数据流测试的探针结构,提......