您的位置： 专家智库 > >

何智涛

作品数：17 被引量：40H指数：4
供职机构：北京航空航天大学更多>>
发文基金：国家自然科学基金“九五”国家科技攻关计划北京市自然科学基金更多>>
相关领域：自动化与计算机技术理学文化科学哲学宗教更多>>

合作作者

文献类型

  • 10篇期刊文章
  • 4篇专利
  • 2篇会议论文
  • 1篇科技成果

领域

  • 13篇自动化与计算...
  • 2篇理学
  • 1篇哲学宗教
  • 1篇文化科学

主题

  • 6篇软件测试
  • 3篇软件工程
  • 3篇测试用例
  • 2篇寻优
  • 2篇泛逻辑
  • 2篇泛逻辑学
  • 2篇测试数据
  • 2篇测试用例选择
  • 1篇代码
  • 1篇低维
  • 1篇定制
  • 1篇学科
  • 1篇学科教学
  • 1篇样式
  • 1篇源代码
  • 1篇置信度
  • 1篇软件产品
  • 1篇软件集成测试
  • 1篇软件源代码
  • 1篇软件质量

机构

  • 17篇北京航空航天...
  • 4篇西北工业大学

作者

  • 17篇何智涛
  • 8篇晏海华
  • 5篇刘超
  • 4篇钱红兵
  • 4篇何华灿
  • 4篇张茂林
  • 3篇杨海燕
  • 1篇王华
  • 1篇朱小杰
  • 1篇刘超
  • 1篇杨峰
  • 1篇贾兴华
  • 1篇惠喻
  • 1篇金茂忠
  • 1篇肖利民
  • 1篇郑帅

传媒

  • 3篇北京航空航天...
  • 3篇智能系统学报
  • 2篇软件学报
  • 1篇计算机应用
  • 1篇计算机教育
  • 1篇第十一届中国...
  • 1篇2014年全...

年份

  • 1篇2023
  • 3篇2014
  • 1篇2012
  • 2篇2010
  • 4篇2009
  • 1篇2007
  • 1篇2006
  • 1篇2005
  • 1篇2001
  • 1篇2000
  • 1篇1998
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于量化分析的软件测试过程的控制技术被引量：7
2001年
论述了软件测试的基本过程以及涉及的文档、角色和活动 .在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术 ,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术 .为保证被测系统的质量、提高效率。
钱红兵刘超晏海华何智涛
关键词：软件工程程序系统过程控制
软件测试的度量方法及其应用被引量：7
1998年
软件测试是找出软件中的错误，它是保证软件质量的关键，软件测试的度量是对影响软件测试的属性所进行的定量测量．本文简述了应用软件测试度量技术时所应具有的基本知识，通过一个实例，介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法．
邓昳何智涛
关键词：软件工程测量方法软件测试
无穷概念的重新统一被引量：2
2010年
康托尔是用数学方法系统研究实无穷概念的第一人,为此他创立了集合论,为现代数学奠定了重要的理论基础,但其中的连续统假设和层次实无穷观又给数学带来了许多问题.130多年来不断有人怀疑连续统假设,但一直没有找到解决这个问题的有效办法.文章首先在图灵机基础上提出完全编码算法和完全译码算法,揭示了无穷编码的不变性(ICI原理),证明了实数可数、连续统假设不成立,实现了实无穷概念的重新统一,从根本上解决了希尔伯特第一问题.然后进一步证明所有的无穷集都可通过自然数集变换出来,自然数集是所有无穷集的数学模型.最后讨论了有关无穷的数学哲学问题.无穷概念的统一奠定了实无穷理论的基础,对数学、物理、逻辑、哲学和其他许多学科都将产生广泛而深远的影响.
何华灿何智涛
关键词：实无穷图灵机连续统假设希尔伯特问题自然数集
ABDOM的参数规范化与离散化改进被引量：1
2012年
为了更好利用叠加式双阻尼振荡模型(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进行了验证.
何智涛晏海华刘超
一种面向非结构化环境的机械臂抓取方法及系统
一种面向非结构化环境的机械臂抓取方法及系统，该方法具有三个明显的特征：(1)具有复杂非结构化场景处理能力。通过挖掘机械臂抓取场景中的先验知识来约束深度强化学习方法数据输入的状态表示，将复杂高维的原始数据处理成低维的状态信...
肖利民张华梁何智涛韩萌王良孟令达郑帅张晨浩
有关在计算机学科教学中开展双语教学的思考被引量：7
2009年
本文总结了当前计算机学科中开展双语教学的意义，针对双语教学在计算机专业教学所面临的基本问题，提出基于当前国内的教育状况，在计算机专业学科教学中开展双语教学需慎重和全面考虑。
何智涛
关键词：计算机双语教学课程
一种基于测试数据的软件质量评价方法
一种基于测试数据来对软件质量进行评价的方法，首先确定功能性测试用例集评价公式和非功能性测试用例集评价公式，根据测试用例集评价公式确定软件质量子特性评价公式，根据软件质量子特性评价公式确定软件质量特性评价公式，根据软件质量...
晏海华钱红兵惠喻张茂林杨海燕何智涛贾兴华
文献传递
通用软件测试平台QETEST
刘超晏海华金茂忠何智涛钱红兵等
该项目设计并实现了一个拥有自主知识产权的、先进实用的通用软件测试平台QETEST，包括：(1)面向软件开发全过程的、支持团队协同工作的软件测试过程管理平台QESuite/Notes和QESuite/Web；(2)面向对象...
关键词：
关键词：软件源代码
测试成本约束下的测试用例选择寻优
2014年
在软件测试实践中,由于受到测试投入时间、投入资金和人力成本的约束,软件测试不可能以无限制投入来获取理想的软件质量。针对测试成本约束下条件下在测试用例集中如何选择测试用例以获取最优软件测试覆盖这样一个具有理论价值和现实意义的问题,提出了综合考虑测试成本、测试用例权重和测试用例相距度三要素的测试用例选择寻优新思路,给出了测试成本约束下测试用例选择寻优问题的形式化描述,提出了基于遗传算法和测试成本约束的测试用例选择寻优算法的两种基本算法,即测试用例权重优先的测试用例选择寻优算法以及集群测试用例优先的测试用例选择寻优算法,并以一个模拟测试用例集合对算法有效性进行了检验,实验结果表明两种测试用例选择寻优算法在测试覆盖效果上均显著优于随机选择算法。
何智涛
关键词：软件测试测试用例集
对智能科学逻辑基础研究的战略思考
本文介绍了"智能科学技术基础理论重大问题高层研讨会"制定的我国最近5-10年内需要特别关注的25个重点研究课题,并就其中的"智能科学的逻辑基础"课题谈了一些作者的认识和思考:首先肯定了逻辑是智能的基本科学问题;然后讨论了...
何华灿何智涛
关键词：泛逻辑学现代逻辑数理逻辑
文献传递
全选 清除 导出
共2页<12>
聚类工具0