类状态测试模型

针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致问题,提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述技术和方法,提出一种类状态测试模型,实例分析和实验结果表明,该模型能较好地实现类状态测试。     

基于EFSM模型的等价类测试

等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法，但是对于测试者来说，寻找一种等价类测试的划分方法十分重要，本文提出了一种基于EFSM（Extended Finite State Machine）模型的等价类测试划分的方法，通过对EFSM模型数据依赖和控制依赖分析，给出了等价类测试划分的具体方法和算法，并给出了等价类划分方法的完备性和无冗余性证明。     

基于JPF的类数据流测试生成技术

通过设置陷阱性质，用时序逻辑公式表示数据流测试的覆盖准则，将测试生成问题简化成模型检测中寻找反例的问题，自动生成满足数据流覆盖准则的类方法测试调用序列，提出了一种适用于类方法调用序列自动生成的搜索算法，并在程序模型检测器JPF上实现。算法分析和实验结果表明，该算法能生成高效的方法调用序列并明显减少测试生成代价。     

一种建立粗糙数据模型的监督模糊聚类方法

提出了在输入-输出积空间中利用监督模糊聚类技术快速建立粗糙数据模型(rough data model,简称RDM)的一种方法.该方法将RDM模型的分类质量性能指标与具有良好特性的Gustafson-Kessel(G-K)聚类算法结合在一起,并通过引入数据对模糊类的推定隶属度的概念,给出了将模糊聚类模型转化为粗糙数据模型的方法,从而设计出一种通过迭代计算使目标函数最小的两个必要条件方程来获取RDM模型的有效算法,将Kowalczyk方法的多维搜索过程变为以聚类数目为参数的一维搜索,极大地减少了寻优时间.与传统的粗糙集理论和Kowalczyk方法相比,提出的方法具有更好的数据概括能力和噪声数据处理能力.最后,通过不同的数据集实验测试,结果表明了该方法的有效性.     

聚类算法在电信客户细分中的应用研究

结合聚类算法的分析，提出了一种解决电信客户细分的应用模型，该模型在实际中得到了较好的应用并为电信服务产品的策划设计提供了依据。同时，通过引入指标区分度的定义，给出了一种聚类方法应用效果评估的方法。该方法结合电信的案例应用与K-Means、SOM、BIRCH等聚类方法结果的分析，得出K-Means方法在电信客户市场细分中的应用优越性。     

类测试技术研究

类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键。文章从基于服务的、基于对象动态测试模型的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

一种基于聚类的有指导的入侵检测方法

提出了一种新的距离定义和基于聚类的有指导的入侵检测方法CBSID(Clustering-based and Supervised Interusion Detection)．该方法在带标记的训练集上进行聚类．以聚类结果作为分类模型对未见数据进行分类．该方法对于参数和数据输入顺序具有稳健性．可增量更新分类模型．不同于一般的有指导的入侵检测方法．该方法对未知入侵有一定的检测能力．在KDDCUP99数据集上的测试结果表明，CBSID有理想的性能(高的检测率和低的误报率)．     

浅谈面向对象软件类的测试

面向对象软件测试与传统的软件测试区别不大,只有类和类簇的测试才体现了面向对象软件测试的特点,而两者之间又以类的测试最为关键。本文通过对状态机模型生成类的测试序列的方法和代码实现以及基于状态测试法的测试数据生成的问题的探讨,认为基于状态的测试方法和基于代数规约的测试方法(ASTOOT方法)将是类测试的主要的发展方向,其余方法大多只能以辅助的面貌出现。     

浅谈面向对象软件类的测试

面向对象软件测试与传统的软件测试区别不大,只有类和类簇的测试才体现了面向对象软件测试的特点,而两者之间又以类的测试最为关键。本文通过对状态机模型生成类的测试序列的方法和代码实现以及基于状态测试法的测试数据生成的问题的探讨,认为基于状态的测试方法和基于代数规约的测试方法（ASTOOT方法）将是类测试的主要的发展方向,其余方法大多只能以辅助的面貌出现。     

基于EM算法的文本聚类优化研究

针对现有的文本聚类算法难以取得满意结果的问题，以EM算法为基础，提出能分别描述相似、不相似聚类对的相似性分布以及重要、不重要文档的重要性分布的文本聚类优化模型（text clustering optimization model, TCOM）．基于该模型，设计一种通过合并不同的文本聚类结果以获取最优性能的方法．实验结果表明，利用该方法同时改善了聚类精度和召回率，其性能优于单独使用现有的硬、软聚类算法．     

基于面向对象的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段，是保证软件质量、提高软件可靠性的关键，而类测试又是面向对象软件测试的关键。文章针对面向对象程序的特性对软件测试的影响，研究了一种基于状态的类测试方法，从而能够更有效地对面向对象软件进行测试，提高了软件的质量。     

基于UML状态图的类测试用例实现的研究和设计

UML状态图能有效的表现系统的并发控制和类的嵌套,但用其实现的类测试用例复杂.研究了UML状态图和扩展有限状态机这两种方法在软件测试中状态转换的特点,利用扩展有限状态机状态转换单一线索化的特点降低UML状态图在类测试用例生成中的复杂性.以一个坐标图形显示类的测试用例生成为例,详细讨论了结合扩展有限状态机状态转换特点的UML状态图在面向对象测试技术中的应用.     

基于状态的类测试研究

类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在;论文主要针对传统状态测试方法在发现错误机制上存在的不足,研究了一种利用OSD模型的基于状态的类测试方法,提出了利用OSD模型与系统分析设计的状态图模型进行比较的思想;通过比较两个状态图模型中的状态是否一致以及各个状态间的方法转移是否一致,来发现传统状态测试难以发现的错误;实践证明,该方法能够检测出传统的状态测试方法难以检测到的错误。     

MuJava: an automated class mutation system

Several module and class testing techniques have been applied to object‐oriented (OO) programs, but researchers have only recently begun developing test criteria that evaluate the use of key OO features such as inheritance, polymorphism, and encapsulation. Mutation testing is a powerful testing technique for generating software tests and evaluating the quality of software. However, the cost of mutation testing has traditionally been so high that it cannot be applied without full automated tool support. This paper presents a method to reduce the execution cost of mutation testing for OO programs by using two key technologies, mutant schemata generation (MSG) and bytecode translation. This method adapts the existing MSG method for mutants that change the program behaviour and uses bytecode translation for mutants that change the program structure. A key advantage is in performance: only two compilations are required and both the compilation and execution time for each is greatly reduced. A mutation tool based on the MSG/bytecode translation method has been built and used to measure the speedup over the separate compilation approach. Experimental results show that the MSG/bytecode translation method is about five times faster than separate compilation. Copyright © 2004 John Wiley & Sons, Ltd.     

基于状态的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键，类测试是面向对象软件测试的关键，类的状态的测试是面向对象软件测试中的重要内容，本文介绍了基于状态转移图的类测试和基于对象动态测试模型的类测试。     

应用代数规约和数据变异策略测试类

在应用基于代数规约测试类时,虽然可以有效解决测试数据生成和测试结果判断这两个测试难题,但是,因为该方法常常随机生成测试数据,会导致对于同一待测试类两次测试会得到不同的测试效果。为克服这个缺陷,提出应用数据变异方法,对已生成的测试用例进行变异。变异测试实验表明：该方法能够有效地改善代数测试方法的测试效果。     

一个基于XML的自动化类测试框架

针对当前自动化类测试工具/框架存在的问题,提出了一个基于XML的类测试框架。框架采用基于XML的自动化测试过程数据流模型,用XML语言来描述和组织测试用例,自动生成测试驱动程序,自动执行测试并生成测试结果。框架可用于不同语言应用程序的自动化类测试,框架实现测试设计、测试实现和测试执行的分离,利于测试脚本的维护,并保证测试脚本与测试用例的一致性。     

基于面向对象软件测试方法研究

主要讨论了程序编写完后方法和类的测试,并结合实践给出了测试策略;结合实际基于面向对象的测试方法,设计了相应的测试用例,提出了一种新的基于类集的测试方法,该方法针对软件测试过程中类测试速度要求及类涵盖要求而设计,提高了类测试效率。