全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    基于Logistic测试覆盖率函数的软件可靠性建模研究  CNKI文献

    软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件...

    李海峰 李秋英... 《计算机研究与发展》 2011年02期 期刊

    关键词: 测试覆盖率 / 软件可靠性建模 / Logistic函数 / 缺陷预计模型

    下载(396)| 被引(20)

    基于UML实时扩展的嵌入式软件测试用例生成技术  CNKI文献

    将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实...

    殷永峰 郑本焘... 《系统工程与电子技术》 2011年03期 期刊

    关键词: 软件工程 / 自动化测试 / 统一建模语言 / 嵌入式软件

    下载(479)| 被引(24)

    软件缺陷模式的研究  CNKI文献

    软件缺陷是导致软件不可靠的根本原因,提高软件可靠性的关键在于减少软件缺陷,那么如何利用积累的缺陷数据提高软件可靠性?结合软件缺陷和模式的概念提出了软件缺陷模式的定义。通过分析积累的软件缺陷数据对缺陷模式...

    曾福萍 靳慧亮... 《计算机科学》 2011年02期 期刊

    关键词: 软件缺陷 / 模式 / 缺陷模式 / 缺陷模式库

    下载(531)| 被引(36)

    软件可靠性加速测试与评估方法  CNKI文献

    为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评...

    王栓奇 吴玉美... 《哈尔滨工程大学学报》 2012年11期 期刊

    关键词: 混合测试 / 软件可靠性模型 / 软件可靠性测试 / 加速测试

    下载(469)| 被引(9)

    软件可靠性测试充分性问题的理论研究  CNKI文献

    在分析了软件可靠性测试充分性准则研究的重要意义的基础上 ,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系 ,提出了其在软件可靠性测试中的一种实现方法 ,是...

    李秋英 陆民燕... 《北京航空航天大学学报》 2003年04期 期刊

    关键词: 软件 / 可靠性 / 运行 / 软件可靠性测试

    下载(875)| 被引(63)

    嵌入式软件测试开发环境的框架设计  CNKI文献

    采用软件设计上的复用思想 ,对嵌入式软件仿真测试环境进行框架的设计 ,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件 ,节省设计的时间和费用 .论述了由框架开发软件的过程 ,并把此过程应用于测试环境 ...

    章亮 刘斌... 《北京航空航天大学学报》 2005年03期 期刊

    关键词: 嵌入式软件 / 软件测试 / 测试环境 / 框架

    下载(621)| 被引(34)

    嵌入式软件可靠性仿真测试系统研究  CNKI文献

    研究嵌入式软件可靠性仿真测试方法和环境 .文中给出了仿真测试系统的体系结构 ,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性 ,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了...

    刘斌 高小鹏... 《北京航空航天大学学报》 2000年04期 期刊

    关键词: 应用程序 / 可靠性 / 软件工程 / 嵌入式软件

    下载(791)| 被引(84)

    基于灰色系统理论的软件可靠性综合评价框架  CNKI文献

    从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相...

    李海峰 陆民燕... 《北京航空航天大学学报》 2008年11期 期刊

    关键词: 软件工程 / 灰色系统理论 / 综合评价 / 可靠性理论

    下载(551)| 被引(16)

    基于S型测试工作量函数的软件可靠性增长模型  CNKI文献

    软件测试工作量随时间的变化情况对于软件可靠性增长曲线的形状具有显著影响,因此将测试工作量函数(TEF,Testing Effort Function)引入软件可靠性增长模型(SRGM,Software Reliability Growth Model)中以提高软件可靠性...

    李秋英 李海峰... 《北京航空航天大学学报》 2011年02期 期刊

    关键词: 软件可靠性 / 测试 / 可靠性分析 / 增长

    下载(233)| 被引(17)

    基因表达式编程在软件可靠性建模中的应用  CNKI文献

    基因表达式编程是一种基于遗传算法和遗传编程的新型机器学习技术,其具有更为优秀的数据挖掘能力,已被成功应用于函数发现领域。提出一种基于基因表达式编程的非参软件可靠性建模方法,该方法将基因表达式编程算法中的...

    李海峰 陆民燕... 《计算机科学与探索》 2011年06期 期刊

    软件可靠性预计方法研究及实现  CNKI文献

    软件可靠性评估可以估计和预计软件可靠性水平 .为了解决软件可靠性预计过程中存在的问题 ,提出了一种软件可靠性预计方法 .该方法通过分析和改进模型的预计质量来选择模型进行预计 ,对模型预计质量的分析使用了U图、...

    丛珉 陆民燕... 《北京航空航天大学学报》 2002年01期 期刊

    关键词: 程序系统 / 可靠性 / 软件工具 / 软件可靠性预计

    下载(540)| 被引(33)

    面向软件可靠性测试数据生成的剖面构造技术  CNKI文献

    软件可靠性测试是软件可靠性工程中的一项重要工作内容,通过软件可靠性测试积累的软件失效数据可以为软件可靠性的评估、验证提供重要的度量依据。针对传统的基于操作剖面的可靠性测试方法对实时嵌入式软件的适用性差...

    艾骏 陆民燕... 《计算机工程》 2006年22期 期刊

    关键词: 软件 / 可靠性 / 软件测试 / 操作剖面

    下载(516)| 被引(19)

    软件代码缺陷分类及其应用  CNKI文献

    分析现有软件缺陷分类方法,基于对航空型号软件实施代码审查的实际经验,提出较完善的代码缺陷分类,将其应用于某航空型号软件代码审查,发现的缺陷占全部测试所得的75%。给出可以覆盖该缺陷类型的新类型。检验结果表明...

    胡璇 刘斌... 《计算机工程》 2009年02期 期刊

    关键词: 代码缺陷 / 代码审查 / 航空软件

    下载(323)| 被引(18)

    软件可靠性参数研究  CNKI文献

    确定软件可靠性的定量要求是软件可靠性工程面临的首要工作内容 .本文讨论了软件可靠性定量要求的意义、特点、描述 ,对一般的软件可靠性参数进行了分析 ,提出了结合武器装备特点的软件可靠性参数 ,并给出了软件可靠性...

    陆民燕 《北京航空航天大学学报》 2001年02期 期刊

    关键词: 可靠性 / 参数 / 测量 / 软件

    下载(429)| 被引(32)

    实时嵌入式软件测试脚本技术研究  CNKI文献

    根据当前软件测试脚本技术的发展,结合实时嵌入式软件的特点,提出了脚本化的实时嵌入式软件测试的实现机制,并分别针对嵌入式软件测试脚本语言的设计及其相应解释器的实现进行了阐述。

    殷永峰 刘斌... 《计算机工程》 2003年01期 期刊

    关键词: 实时嵌入式软件 / 软件测试 / 脚本技术

    下载(520)| 被引(51)

    软件测试用例生成中的前置条件分析  CNKI文献

    在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。

    付剑平 陆民燕... 《计算机应用研究》 2007年03期 期刊

    关键词: 前置条件 / 测试用例 / 测试用例生成 / 测试用例自动生成

    下载(391)| 被引(18)

    基于扩展Petri网的除冰软件安全需求建模和验证  CNKI文献

    Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入...

    李震 刘斌... 《北京航空航天大学学报》 2012年01期 期刊

    关键词: 软件安全性 / 软件工程 / Petri网 / 模型检验

    下载(178)| 被引(8)

    软件测试性设计综述  CNKI文献

    软件测试性设计分为四类:设计时应当遵循的测试性设计原则,通过改变设计或代码提高软件测试性的专用测试性设计技术,为软件增加专门测试结构的结构化测试性设计技术和在软件开发全周期考虑软件测试的测试性设计综合技...

    付剑平 陆民燕 《计算机应用》 2008年11期 期刊

    关键词: 软件测试性设计 / 软件测试性 / 软件开发周期

    下载(464)| 被引(9)

    软件可靠性测试数据生成方法研究  CNKI文献

    阐述了构造非实时软件运行剖面的方法 ,以及根据运行剖面生成非实时软件可靠性测试数据的方法 ,并提出了构造实时软件运行剖面和生成实时软件可靠性测试数据的思路。最后给出实例 ,系统地演示非实时软件可靠性测试数据...

    陈雪松 陆民燕... 《航空学报》 2001年06期 期刊

    关键词: 软件可靠性测试 / 系统模式剖面 / 功能剖面 / 运行剖面

    下载(355)| 被引(21)

    基于STAMP的导航软件研制管理安全性分析  CNKI文献

    软件研制管理是关系软件质量的重要工作。某型飞机在飞行中导航数据频繁丢失,严重威胁飞机的飞行安全,通过对软件进行安全性分析对失效进行排除,但这并未解决深层次的管理问题。本研究基于STAMP对其研制管理过程进行安...

    徐小杰 钟德明... 《测控技术》 2015年02期 期刊

    关键词: 软件安全性 / 软件研制管理 / STAMP / 导航软件

    下载(154)| 被引(3)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状