钱红兵
- 作品数：41 被引量：126H指数：8
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金中国航空科学基金更多>>
- 相关领域：自动化与计算机技术经济管理文化科学更多>>
- 基于量化分析的软件测试过程的控制技术被引量：7
- 2001年
- 论述了软件测试的基本过程以及涉及的文档、角色和活动 .在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术 ,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术 .为保证被测系统的质量、提高效率。
- 钱红兵刘超晏海华何智涛
- 关键词：软件工程程序系统过程控制
- 软件可测试性检测技术研究被引量：9
- 2004年
- 软件的可测试性表示软件中故障检测的难易程度,是重要的软件质量特性之一。文章介绍相关的故障/失效模型和RELAY错误检测模型。提出了一个完整的软件故障检测过程:执行过程、传染过程、传播过程。对程序结构,最小表达式错误产生、计算转移、信息流转移等进行分析。提出了一种通过概率进行度量的可测试性静态检测方法,即整个程序可测试性由其包含的所有语句可测试性均值得到。
- 钱红兵赵巍程杜平
- 关键词：可测试性故障检测传染
- 需求管理关键过程域的度量被引量：9
- 2003年
- GQM(Goal-Question-Metric)模型是一种面向目标的定义度量的方法,在软件度量中被广泛采用。文章利用GQM方法,对CMM二级中的关键过程域“需求管理”过程域进行了研究,提出了三个度量目标并介绍了各度量目标下的问题和度量。
- 朱丽娟钱红兵
- 关键词：软件过程度量CMM需求管理
- 一种基于仿真器的嵌入式软件测试方法
- 本文给出了一种基于仿真器的嵌入式软件测试方法,首先通过对源程序编译生成的目标文件进行分析和链接,得到符号表、内存映像和行号信息;然后将内存映像加载到仿真器上运行,结合符号表和行号信息实现嵌入式软件动态测试.该方法具有结果...
- 陈琦钱红兵金茂忠刘辉
- 关键词：嵌入式软件测试仿真器链接
- 文献传递
- Ada软件SLICE分析器(ASA)
- 1996年
- 对程序进行分析和测试是提高软件可靠性的有效途径。本文介绍的Ａｄａ软件ＳＬＩＣＥ分析器是一种对被测软件进行静态数据流分析的工具，它能缩小用户分析与检查被测程序的范围，帮助用户及时找到所关心的程序段和语句，为保证Ａｄａ软件系统的质量、提高开发与维护大型复杂软件系统的效率提供支持。
- 钱红兵
- 关键词：ADA语言ASASLICE可靠性
- 基于遗传神经网络的软件质量评价方法
- 为了对计算机软件质量进行更加精确、客观、科学的评价,综合遗传算法的收敛速度快和神经网络的自学习能力,提出一种基于遗传神经网络的软件质量评价方法。即先通过遗传学习算法进行全局训练,再用权重调整BP算法进行精确训练,这一算法...
- 杨开敏钱红兵
- 关键词：软件质量遗传算法神经网络自学习能力
- 文献传递
- 军用软件质量评测技术
- 刘又诚杨海燕李虎史晓华钱红兵邓昳高仲仪陈起汪浩张力倪辉张君程杜平奚红宇朱丽娟
- 1. 课题来源 《95》军用共性软件预研计划，15.6.2。2. 技术原理和性能指标理论和实践均已证明，软件复杂性和面向对象等特性对软件质量如可靠性、可维护性、重用性和可重用性等有重大影响。该课题研究对软件质量有重要影响...
- 关键词：
- 关键词：软件质量
- 基于UML类图和顺序图的C++代码自动生成方法的研究
- UML是一种被广泛用于软件系统需求分析和详细设计的标准建模语言，研究将UML描述的软件详细设计自动生成代码的技术可以大大加速软件产品的开发进度，提高软件的质量。本文提出了一种将UML类图和顺序图相结合生成具有静态结构和动...
- 王晓宇钱红兵
- 关键词：UML代码自动生成元模型
- 基于CMM的软件过程度量系统的研究与设计被引量：14
- 2004年
- 首先描述了软件过程的度量过程 ,结合软件度量定义模型GQ(I)M提供的方法和软件能力成熟度模型(CMM)提供的过程框架 ,给出了项目跟踪与监控过程域的一些度量实例 ,在此基础上完成了软件过程度量系统的设计 ;最后 。
- 钱红兵朱丽娟曹惠民
- 关键词：软件过程度量能力成熟度模型统计过程控制
- Ada软件源代码分析器被引量：1
- 1996年
- Ada语言是美国国防部(DOD)
- 钱红兵徐红
- 关键词：ADA语言
