国家高技术研究发展计划(2002AA411510)
- 作品数：10 被引量：41H指数：5
- 相关作者：邹北骥李军义龚红仿潘丽丽孙家广更多>>
- 相关机构：湖南大学中南大学清华大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于EDPN的类测试框架及测试用例生成技术的研究被引量：3
- 2005年
- 针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。
- 龚红仿李军义邹北骥孙家广
- 关键词：测试用例面向对象软件交互测试类测试递推法正交阵
- 应用于人脸识别的基于Candide-3特定人脸三维重建被引量：12
- 2008年
- 针对不同的姿态对人脸识别的影响,提出了一个基于Candide-3参数模型的特定人脸三维重建方法.该方法同时利用了主动形状模型和主动表观模型的优点,较好地提高了特定人脸三维重建的时间效率和准确程度.将该方法对输入的图像进行姿态校正之后再进行识别,极大提高了识别正确率.对CMU-PIE数据库中4种不同姿态集的识别结果表明了方法的有效性.
- 胡峰松林亚平邹北骥张茂军
- 关键词：人脸识别人脸建模主动形状模型主动表观模型
- 基于EDPN的面向对象的系统测试用例生成技术的研究被引量：2
- 2005年
- 面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特点和较好的耦合性运用到系统测试技术中,探讨了解决问题的途径,提出了一种基于EDPN的唯一输入输出(UIO)测试用例的生成方法,并设计了基于深度优先搜索方法的自动生成测试用例的算法。
- 龚红仿李军义仝青山
- 关键词：面向对象测试用例生成
- 基于概念测试用例的快速需求测试过程框架被引量：2
- 2007年
- 软件测试是软件工程过程中的一个重要环节,而识别需求测试过程是软件测试的第一步。本文在研究了RUP过程的需求测试环节后,结合作者的软件工程实践经历,提出一种基于概念测试用例的快速需求测试过程(FRTP)框架,该FRTP过程框架定义了三个子过程:基于特征的需求条目快速获取;基于用例的对话图建模;快速需求测试过程。
- 荣辉桂徐小林陈浩
- 基于事件消息驱动的Petri网的类族测试用例生成技术的研究被引量：5
- 2005年
- 在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。
- 龚红仿李军义邹北骥
- 关键词：测试用例生成
- 面向对象的软件测试技术探讨被引量：3
- 2004年
- 面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战.通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类族级和系统级的测试方法.
- 龚红仿李军义程思蔚
- 关键词：面向对象软件测试
- 基于功能对象模型的图形软件测试系统CADTesing的设计与实现
- 2004年
- 软件测试对于保证软件产品的质量有着十分重要的作用。针对具有复杂人机交互特点的软件系统,如图形软件,提出了一种新的测试模型—— 基于功能对象的测试模型,采用面向对象的思想分层构造测试用例。笔者依据此模型开发了一个针对具有复杂人机交互特点的三维图形软件的自动测试系统 CADTesting。实验结果表明,该模型与现有的一些模型相比,实现复杂度较小且测试效率较高。
- 周浩宇邹北骥吕格峰
- 关键词：计算机应用软件测试面向对象
- 基于可复用功能组件的测试用例生成方法被引量：5
- 2008年
- 针对交互式软件的频繁交互、状态复杂等特点,基于功能测试和层次型结构,从需求规范中提取基于操作流程的功能组件,通过映射、重组测试脚本,导入测试数据,并自动生成测试用例。功能组件的构建具有层次型结构的特点,即一个功能组件可以包含一个或多个功能组件,更大程度地共享了测试脚本。
- 潘丽丽邹北骥陈浩文卢新国
- 关键词：测试用例功能组件
- 基于消息机制的自动化黑盒测试方法研究被引量：5
- 2004年
- 如何对人机交互频繁的软件如三维CAD软件进行自动化黑盒测试是一个富有挑战性的研究课题。基于Windows消息机制提出一种针对图形用户界面软件进行自动化黑盒测试的构造模型,该模型通过拦截Win dows底层的各种消息,同时依据相应的流程规约和生成算法将消息序列进行重组,从而派生出大量的测试用例,然后以重构后的衍生消息序列驱动被测试系统自动运行,达到自动测试的目的。实验结果表明,基于该思路构建的测试系统具有良好的测试效果。
- 陈浩邹北骥江文潘丽丽
- 关键词：黑盒测试自动化测试HOOK技术
- 基于形式规约的软件测试用例自动生成技术研究被引量：5
- 2004年
- 在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则.
- 邹北骥张保国李军义孙家广
- 关键词：自动化测试软件测试Z语言测试用例生成
