论文研究一种基于JWebUnit的Web应用程序测试方法 .pdf

伴随着高层次综合技术的普及和深入，高层次可测试性综合技术引起了广泛的关注。在简单介绍当前可测试性综合技术的现状后，提出了采用“VHDL进，VHDL出”的方式进行行为级可测试性综合的流程，并提出了一个新

单元测试框架下的软件测试将产生大量的测试脚本, 在软件测试过程中如何有效利用现有的测试脚本, 实现软件测试脚本(代码)的重用成为业界关心的一个重要问题。业界最常见的复用需求是当开发项目更换新的测试框架

传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法，但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖，造成时空资源的浪费及切片效率的降低。提出了一种基于程序

Falke是纯Java Web通信层,可为您提供一种完全用Java构建Web应用程序的方法。 不涉及HTML,不涉及Web浏览器,仅涉及Java。 有关更多信息,请参见网站。

一种基于变异的回归测试有效性测量方法，薛佳，袁玉宇，本文对传统基于代码的变异方法进行了改进，通过使用有向图对已进行回归测试的对象建模。将有向图的基本元素弧(arc)和节点(node)与插�

一种基于形式规约说明的类测试框架，张凯，，本文给出了一种基于形式规约说明的类测试框架。该框架不仅可以完成对类内部方法的测试，并且可以考察类内部状态改变的正确性，达

一种基于扩展NS的网管系统测试平台，梁芳，马跃，本文提出了利用扩展的NetworkSimulator(NS)模拟器来实现基于简单网络管理协议（SNMP）模型的网管系统测试平台的设计。该设计的关键在于�

针对目前的软件盗版现象，在没有软件源代码的情形下提出一种程序相似性的比较方法。该方法是运用程序系统调用之间的参数依赖关系组成依赖图，对程序行为进行描述；在此基础上定义了一种动态程序胎记，用它比较两个功

把语法分析和Ontology结合起来，先利用领域Ontology里的概念、关系、关键字自动生成标注规则(Rule)，然后对文章、句子的语法结构进行分析，再利用语法分析的结果和先前生成的标注规则一起对文

在对交叉覆盖设计算法进行分析的基础上，针对该算法所显示的鲁棒性不强的问题，给出了一种改进的方法。模拟实验表明了这种改进能够明显地提高神经网络的泛化能力。