基于XP的测试驱动过程模型研究

分析了敏捷过程和极限编程的价值观、实现准则,论述了测试驱动开发的核心理念及其过程.并在分析传统软件生命周期模型的基础上,提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过实验对比,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.     

一种测试驱动的过程模型研究

分析了敏捷过程和几种传统软件生命周期模型,在总结测试驱动开发核心理念的基础上提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过在.net平台上进行文件管理系统的开发,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.     

测试驱动开发探索和实践

软件开发技术的快速变化和多样性成为其发展的特点.极限编程思想可以启发我们如何学习和对待快速变化的开发技术.测试驱动开发作为极限编程思想的一种主要实践,可以有效地让程序开发人员开发出更高品质的程序.文中详细介绍了极限编程思想和测试驱动开发.最后结合实例介绍了如何用JUnit进行测试驱动开发.     

一种基于GMF的测试系统可视化建模方法

测试系统建模是将模型驱动的思想引入测试领域,实现了测试资源的重利用,有效的缩短了测试周期,更好地适应需求或设计规格的变更.测试系统可视化建模研究在定义测试系统元模型的基础上,使用基于模型驱动开发方法的GMF图形建模框架技术建立测试系统模型及数据实例编辑器.通过定义领域模型、图形模型、工具模型以及将这三者结合起来的映射模型,解析测试模型转化成的符合相应Schema的XML文件,实现了可视化建模和部分代码的自动生成.     

一种基于攻击树的渗透测试模型

借鉴攻击树理论,设计了一种基于攻击树的渗透测试模型,并给出了基于攻击树的渗透测试流程。     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

一种GUI测试的EDPN测试树生成模型

设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法．实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率．     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。     

改进的Candy模型及数据项测试

目的提高线特征提取的质量。方法在Candy模型基础上,根据图像中线特征属性,使用随机点过程对线段建模,对Candy模型的线特征连接关系、结构项以及数据项分别进行了改进。结果得到改进的Candy模型。结论改进Candy模型的数据项可以在线段与图像中线条以最合适的位置和角度融合时使测试值TTi达到唯一峰值;根据该数据项测试结果可以设定合适的阈值,使改进的Candy模型能较好地区别线条,对不同宽度的线条有相同的处理效果。     

测试驱动过程模型效益分析

在分析传统软件生命周期模型,讨论敏捷过程及开发方法的基础上,对测试驱动开发的核心理念及其过程进行了研究,提出了测试驱动过程模型.通过实验对比.分析了测试驱动过程模型相对于传统开发模型效益优势.总结了其高效率、低成本、适应需求变化的特点.     

基于极限编程的软件可维护性分析

以解决软件维护过程中的问题为出发点,系统地分析和探讨了极限编程过程中的软件维护问题,比较了极限编程过程与传统开发过程的软件维护异同,提出了基于极限编程的软件维护模型和方法．     

嵌入式软件测试模型的优化

在软件开发项目中,需求分析是关于软件项目开发成败的重要因素,而需求变更已经成为软件开发项目中突出的风险源头,直接影响了软件项目的质量,以需求变更为起点改进测试模型,分析需求变更的类型和原因,主要对需求变更时的测试做了优化。以极限编程[1]的价值观和实现准则,得出了处理需求变更的改进软件测试模型,分析了其对于传统开发模型高效率、适应需求变更及具有可操作性的特点。     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

基于AOP的软构件测试技术研究与应用

阐述了AOP技术的产生背景和实现原理,同时以AspectJ语言为例研究了AOP技术中比较关键的几个概念,提出了利用AOP技术辅助构件测试的思想:在JUnit框架的基础上,利用AOP技术对构件的接口编程,根据接口信息将测试方法织入到测试构件和待测构件中,实现对测试过程的监视和控制,并以此为基础设计了基于AOP技术的软构件集成测试框架.     

基于QFD的产品多目标规划模型

基于带有模糊系数的模糊回归及模糊优化理论,提出了一种确定关联函数及自相关函数的数学方法,进而建立了基于质量功能展开的产品多目标规划模型·仿真研究表明,该模型适合于各种工程设计问题,尤其是在不确定的、模糊的条件下,能够有效地确定关联函数及自相关函数,帮助开发人员优化顾客需求的满意水平,优化工程特性目标值,在资源约束下使产品的顾客满意度最大·     

基于混合类测试模型的面向对象程序测试用例生成研究

提出了一种混合类测试模型,能在基于状态的测试中提供有效数据流分析。该模型不仅包含了当前测试类的状态转换信息,且包含了从其执行代码所得到的数据成员的定义及使用信息。基于新测试模型所生成的测试用例主要克服了基于状态的测试不能检测与状态无关数据成员的缺陷,且保证了定义一使用路径的可执行性,能较好地缓解以往数据流测试开销大、效率低的问题。     

SIP Conformance Testing Based on TTCN-2

The session initiation protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing, presence, event notification, and instant messaging. With the gaining popularity, more and more SIP implementations have been developed and deployed. How to guarantee the conformance of those SIP implementations is the key point of interconnection and interoperation among them. This paper proposes the test method and architecture for the SIP protocol based on the IPv6 tester system. Tree and tabular combined notation (TTCN-2) is adopted to describe the test suite. With an enhanced reference implementation, the data-processing ability to the original test system has been greatly improved. In the following test practices, some errors have been found in the SIP entities under test. It is proved that the proposed test method and architecture are effective to verify the conformance of the SIP entities, and the result of the conformance test may provide helpful reference to the development of SIP products.     

基于蓝牙Profiles的互连测试系统的研究和实现

对蓝牙通信软件的互连性测试进行了研究,提出了测试模型和测试方法.