国家高技术研究发展计划(2002AA411510)

作品数：10被引量：29H指数：4
导出分析报告
相关作者：邹北骥李军义龚红仿潘丽丽陈浩更多>>
相关机构：湖南大学中南大学清华大学长沙理工大学更多>>
相关期刊：《计算机应用研究》《计算机应用》《计算机工程与应用》《湖南大学学报（自然科学版）》更多>>
相关主题：测试用例生成测试用例生成技术软件测试面向对象自动化测试更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
应用于人脸识别的基于Candide-3特定人脸三维重建被引量：6
《湖南大学学报（自然科学版）》2008年第11期69-73,共5页胡峰松 林亚平 邹北骥 张茂军 
国家863研究资助项目(2002AA411510);湖南省自然科学基金资助项目(02JJY3049)
针对不同的姿态对人脸识别的影响,提出了一个基于Candide-3参数模型的特定人脸三维重建方法.该方法同时利用了主动形状模型和主动表观模型的优点,较好地提高了特定人脸三维重建的时间效率和准确程度.将该方法对输入的图像进行姿态校正...
关键词：人脸识别 姿态校正 人脸建模 主动形状模型 主动表观模型 
基于可复用功能组件的测试用例生成方法被引量：4
《计算机工程》2008年第3期83-84,87,共3页潘丽丽 邹北骥 陈浩文 卢新国 
国家自然科学基金资助项目(60573079);国家“863”计划基金资助项目(2002AA411510);湖南省教育厅优秀青年基金资助项目(06B047)
针对交互式软件的频繁交互、状态复杂等特点,基于功能测试和层次型结构,从需求规范中提取基于操作流程的功能组件,通过映射、重组测试脚本,导入测试数据,并自动生成测试用例。功能组件的构建具有层次型结构的特点,即一个功能组件可以包...
关键词：功能测试 交互式软件 测试用例 功能组件 
基于概念测试用例的快速需求测试过程框架被引量：2
《计算机系统应用》2007年第8期76-80,共5页荣辉桂 徐小林 陈浩 
国家"863"基础研究类项目(2002AA411510)
软件测试是软件工程过程中的一个重要环节,而识别需求测试过程是软件测试的第一步。本文在研究了RUP过程的需求测试环节后,结合作者的软件工程实践经历,提出一种基于概念测试用例的快速需求测试过程(FRTP)框架,该FRTP过程框架定义了三...
关键词：需求测试RUP 概念测试用例 快速需求测试过程 
基于EDPN的类测试框架及测试用例生成技术的研究被引量：2
《计算机科学》2005年第5期224-229,共6页龚红仿 李军义 邹北骥 孙家广 
本项研究得到国家863基础研究类项目(项目编号:2002AA411510);国家自然科学基金(项目编号60474070)
针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯...
关键词：测试用例 测试框架 生成技术 面向对象软件 自动生成方法 测试过程 交互测试 测试模型 输入输出 状态转移 类测试 路径 递推法 扩展 正交阵 爆炸 组合 标记 序列 协同 列表 
基于EDPN的面向对象的系统测试用例生成技术的研究被引量：1
《计算机工程与应用》2005年第3期37-39,共3页龚红仿 李军义 仝青山 
国家863高技术研究发展计划项目(编号:2002AA411510);中科院软件所计算机科学重点实验室课题(编号:SYSKF0307)资助
面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特...
关键词：面向对象 系统测试 测试用例生成 事件驱动Petri网 唯一输入输出 
基于事件消息驱动的Petri网的类族测试用例生成技术的研究被引量：3
《计算机应用》2005年第1期65-68,共4页龚红仿 李军义 邹北骥 
国家863计划资助项目(2002AA411510);中科院软件所计算机科学重点实验室课题支持(SYSKF0307)
在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优...
关键词：类族交互测试 测试用例生成 事件消息驱动Petri网 扩展的正交阵列测试系统 标记关 联递推法 同步消息序列 测试覆盖标准 
基于功能对象模型的图形软件测试系统CADTesing的设计与实现
《工程图学学报》2004年第4期36-40,共5页周浩宇 邹北骥 吕格峰 
国家"863"高科技资助项目(2002AA411510);中科院软件所计算机重点实验室资助项目(SYSKF0307)
软件测试对于保证软件产品的质量有着十分重要的作用。针对具有复杂人机交互特点的软件系统,如图形软件,提出了一种新的测试模型—— 基于功能对象的测试模型,采用面向对象的思想分层构造测试用例。笔者依据此模型开发了一个针对具有复...
关键词：计算机应用 软件测试 面向对象 功能对象模型 
基于消息机制的自动化黑盒测试方法研究被引量：4
《计算机应用研究》2004年第10期33-35,103,共4页陈浩 邹北骥 江文 潘丽丽 
国家"863"基础研究类项目(2002AA411510);中科院软件所计算机科学重点实验室课题资助项目(SYSKF0307)
如何对人机交互频繁的软件如三维CAD软件进行自动化黑盒测试是一个富有挑战性的研究课题。基于Windows消息机制提出一种针对图形用户界面软件进行自动化黑盒测试的构造模型,该模型通过拦截Win dows底层的各种消息,同时依据相应的流程规...
关键词：黑盒测试 自动化测试 消息机制 HOOK技术 
面向对象的软件测试技术探讨被引量：3
《长沙理工大学学报（自然科学版）》2004年第2期67-72,共6页龚红仿 李军义 程思蔚 
国家863计划基础研究类资助项目(2002AA411510);中科院软件所计算机科学重点实验室课题资助项目(SYSKF0307).
面向对象软件的特征是程序具有更好的结构和更规范的编程风格,但在很大程度上又增加了软件测试的复杂性,给软件测试带来了新的挑战.通过分析面向对象软件的特点及其对软件测试的影响,讨论了面向对象软件测试的内容、测试层次及类级、类...
关键词：面向对象 软件测试 测试层次 测试方法 
基于形式规约的软件测试用例自动生成技术研究被引量：4
《湖南大学学报（自然科学版）》2004年第3期81-85,共5页邹北骥 张保国 李军义 孙家广 
国家863基础研究类项目(No.2002AA411510);中国科学院软件所计算机科学重点实验室课题(No.SYSKF0307)
在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;然后根据析取范式将Z语言描述...
关键词：自动化测试 软件测试 Z语言 测试用例生成 状态转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部