检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

ABDOM的参数规范化与离散化改进

北京航空航天大学学报 2012年第10期38卷 1415-1419页

作者：何智涛晏海华刘超北京航空航天大学计算机学院北京100191

为了更好利用叠加式双阻尼振荡模型(ABDOM,Accumulative Bi-Damped Os-cillation Model)来描述、预测和评估真实软件缺陷发现时序过程,在提出理想软件缺陷发现时序过程范型(ISPSDD,Ideal Sequential Process of Software Defects Discovery)的基础上,对AB-DOM中软件缺陷发现阻尼a和软件缺陷发现周期阻尼b的规范化进行了进一步讨论,提出了软件缺陷发现时序过程质量评价指数Q,给出了其典型取值和相关意义,并将其引入ABDOM,最终得到了经过参数规范化和离散化改进后的ABDOM-Qd,并利用一个真实的工程实践项目数据对ABDOM-Qd进行了验证.

关键词：软件缺陷缺陷模型叠加双阻尼振荡模型

在线全文

学校读者我要写书评

暂无评论

基于文档状态的软件质量保证过程管理

北京航空航天大学学报 2001年第4期27卷 474-477页

作者：晏海华胡佳张丽凤贺飞北京航空航天大学计算机科学与工程系中国航空工业第一集团公司014中心

软件文档贯穿于整个软件生存周期 ,是软件产品的重要组成部分 ,它们的质量直接影响着软件的质量 .通过对软件文档过程的深入研究 ,提出了文档状态的概念 ,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系 ,以及... 详细信息

软件文档贯穿于整个软件生存周期 ,是软件产品的重要组成部分 ,它们的质量直接影响着软件的质量 .通过对软件文档过程的深入研究 ,提出了文档状态的概念 ,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系 ,以及如何利用它们对软件文档的过程进行控制、跟踪和管理 ,进而达到对软件质量保证过程的管理 .

关键词：软件工程质量控制软件质量文档过程文档状态

在线全文

学校读者我要写书评

暂无评论

基于编译优化和反汇编的程序相似性检测方法

北京航空航天大学学报 2008年第6期34卷 711-715页

作者：赵长海晏海华金茂忠北京航空航天大学计算机学院北京100191

提出了基于编译优化和反汇编的程序相似性检测方法,能够检测出标识符重命名、增加冗余语句、等价的控制结构替换等12种学生常用的抄袭手段.基于该方法,设计和实现了一个程序相似性检测系统BuaaSim,采用编译优化和反汇编技术将源程序转... 详细信息

提出了基于编译优化和反汇编的程序相似性检测方法,能够检测出标识符重命名、增加冗余语句、等价的控制结构替换等12种学生常用的抄袭手段.基于该方法,设计和实现了一个程序相似性检测系统BuaaSim,采用编译优化和反汇编技术将源程序转化为汇编指令集合,删除和替换汇编指令中对程序本质特征影响不大的易变元素,使用一个与指令顺序无关的决策函数计算程序相似度;还给出一个简单有效的聚类算法,从程序集合中聚类出相似的程序子集.通过与著名的JPlag系统针对两份典型的抄袭样本集进行评测对比,表明本文方法的检测效果具有明显的优势.

关键词：抄袭程序相似性相似性检测编译优化

在线全文

学校读者我要写书评

暂无评论

软件缺陷发现时序过程的叠加双阻尼振荡模型

软件学报 2010年第12期21卷 2999-3010页

作者：何智涛晏海华刘超北京航空航天大学计算机学院北京100191

在软件测试实践中,被测软件通常要经历多轮次的测试和修改过程.由于受到被测软件的缺陷分布、迭代式的开发与测试过程、测试者发现缺陷的能力等诸多非确定性因素的影响,使得软件缺陷发现的时序过程呈现出相应的周期性、随机振荡性和阻... 详细信息

在软件测试实践中,被测软件通常要经历多轮次的测试和修改过程.由于受到被测软件的缺陷分布、迭代式的开发与测试过程、测试者发现缺陷的能力等诸多非确定性因素的影响,使得软件缺陷发现的时序过程呈现出相应的周期性、随机振荡性和阻尼衰减等时序特征.通过对以软件缺陷发现为目标、测试过程管理规范的软件测试过程基本特征和关键影响因素的深入分析,提出了一种描述软件缺陷发现时序过程特征的叠加双阻尼振荡模型(accumulative bi-damped oscillation model,简称ABDOM).采用从两个真实软件测试项目中采集的缺陷发现过程数据,检验了ABDOM模型的有效性,定义了ABDOM模型的适用范围,并对ABDOM模型的应用进行了初步讨论.

关键词：软件缺陷缺陷发现缺陷发现模型时序

在线全文

学校读者我要写书评

暂无评论

基于量化分析的软件测试过程的控制技术

北京航空航天大学学报 2001年第4期27卷 461-464页

作者：钱红兵刘超晏海华何智涛北京航空航天大学计算机科学与工程系

论述了软件测试的基本过程以及涉及的文档、角色和活动 .在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术 ,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及... 详细信息

论述了软件测试的基本过程以及涉及的文档、角色和活动 .在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术 ,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术 .为保证被测系统的质量、提高效率。

关键词：软件工程质量控制程序系统测试过程软件度量量化分析过程控制

在线全文

学校读者我要写书评

暂无评论

一种有效的第三方白盒测试工程化方法

南京大学学报（自然科学版） 2005年第Z1期41卷 712-717页

作者：白媛晏海华北京航空航天大学软件工程研究所北京100083 北京航空航天大学软件工程研究所北京100083

白盒测试是保证并提高软件质量的常规手段之一,合适的白盒测试方法可以明显提高软件测试的质量和效率.结合一个实际的第三方大型软件白盒测试项目,给出了一种有效的白盒测试工程化模型和方法.

关键词：白盒测试逻辑结构测试模型

基于SWEBOK的软件工程知识分类模型及算法

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

系统仿真学报 2008年第17期20卷 4517-4520页

作者：赫建营晏海华金茂忠刘超北京航空航天大学计算机学院北京100083

软件组织内部智慧资产的有效组织和管理一直是一个悬而未决的问题。将文本分类技术引入到软件工程知识分类领域,首先综合分析了软件工程领域知识的基本类型和特性;之后依据这些特性结合软件工程知识体系(SWEBOK:Software Engineering Bo... 详细信息

软件组织内部智慧资产的有效组织和管理一直是一个悬而未决的问题。将文本分类技术引入到软件工程知识分类领域,首先综合分析了软件工程领域知识的基本类型和特性;之后依据这些特性结合软件工程知识体系(SWEBOK:Software Engineering Body of Knowledge),提出了一个软件工程知识的分类模型和算法;最后通过实验验证了提出的模型和算法的有效性。实验结果表明,该模型和算法具有良好的分类性能,为软件工程知识的有效分类提供了一种途径。

关键词：软件工程知识体系知识分类软件工程文本分类分类算法

异构计算环境下的三维Kirchhoff叠前深度偏移混合域并行算法

在线全文

学校读者我要写书评

暂无评论

石油地球物理勘探 2018年第3期53卷 478-486页

作者：王一达赵长海李超张建磊晏海华张威毅北京航空航天大学计算机学院北京100191 中国石油东方地球物理公司物探技术研究中心河北涿州072751

三维Kirchhoff叠前深度偏移(KPSDM)面对数据量的不断增长以及可编程图形处理器(GPU)的引入,传统的并行策略已经不再适合当前的超大规模异构集群的体系架构。本文提出了一种新的混合域KPSDM并行算法,从成像空间、输入数据两个维度对偏移... 详细信息

三维Kirchhoff叠前深度偏移(KPSDM)面对数据量的不断增长以及可编程图形处理器(GPU)的引入,传统的并行策略已经不再适合当前的超大规模异构集群的体系架构。本文提出了一种新的混合域KPSDM并行算法,从成像空间、输入数据两个维度对偏移任务进行拆分,消除了任务之间的依赖性。为了应对异构计算环境,将核心计算部分移植到GPU上,并实现了"动态异步"的任务调度策略,保证了负载均衡;对于KPSDM执行过程中重复访问地震数据与旅行时场带来的巨大I/O开销,利用作业节点的本地存储构建分布式缓存系统,解决KPSDM可扩展性受限于共享存储能力的问题。在256节点的集群上处理实际地震数据,获得了接近线性的加速比效果。

关键词： Kirchhoff叠前深度偏移并行算法混合域 GPU 异构集群分布式缓存

基于UML和构件的ERP软件生产线描述方法研究

在线全文

学校读者我要写书评

暂无评论

微计算机信息 2006年第1X期22卷 231-233页

作者：赵虎晏海华北京教育考试院北京航空航天大学计算机学院

ERP软件的开发需要借助于软件重用的思想和方法,软件生产线和构件分别从不同的角度促进了软件重用的实现。作为目前流行的建模语言,UML并不能很好地描述软件生产线的可变点和构件设计。本文在第2节首先分析了软件生产线的可变点问题,提... 详细信息

ERP软件的开发需要借助于软件重用的思想和方法,软件生产线和构件分别从不同的角度促进了软件重用的实现。作为目前流行的建模语言,UML并不能很好地描述软件生产线的可变点和构件设计。本文在第2节首先分析了软件生产线的可变点问题,提出了一种基于UML的软件生产线可变点描述方法;然后给出了基于可重用构件的软件生产线描述方法;最后给出了构件设计和接口设计应该遵循的几点原则。经过实践检验,该软件生产线的描述方法具有较好的实用效果。

关键词： ERP 软件生产线 UML 构件