国家高技术研究发展计划(2006AA01Z184)

作品数：12被引量：61H指数：5
导出分析报告
相关作者：杨朝红宫云战肖庆王雅文毕学军更多>>
相关机构：北京邮电大学装甲兵工程学院电子工业出版社更多>>
相关期刊：《计算机应用研究》《计算机辅助设计与图形学学报》《北京化工大学学报（自然科学版）》《计算机工程与科学》更多>>
相关主题：软件测试软件测试工具故障查找数据流分析状态机更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于过程控制的软件质量保障平台设计被引量：1
《微计算机信息》2010年第4期24-25,43,共3页万琳 刘娟 陈波 刘玮 
项目名称:"软件的故障模型与面向故障的软件测试系统";其中一个研究内容为软件质量保障;基金颁发部门:国家863基金资助项目(2006AA01Z184)
软件过程改进是近年来颇受关注的一个问题领域。本文在分析并提取软件开发过程的典型特征之后,介绍了一个基于过程控制的软件质量保障平台的设计结构。该平台以CMM为指导思想,支持管理者对项目开发进行计划、跟踪、协调、检查、控制等...
关键词：过程控制 软件过程 软件质量保障 
非法计算检测的通用模型
《计算机辅助设计与图形学学报》2009年第4期487-492,共6页江标 宫云战 杨朝红 
国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)
非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此...
关键词：非法计算 区间运算 静态测试 故障模型 
内存泄露静态检测模型被引量：2
《计算机科学》2009年第4期175-178,共4页柯平 宫云战 杨朝红 
国家“863”计划(2006AA01Z184);国家“863”重点项目(2007AA010302)资助
内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存...
关键词：内存泄露 区间运算 静态测试 故障模型 别名分析 
基于缺陷模式的软件测试中的区间运算应用被引量：14
《计算机辅助设计与图形学学报》2008年第12期1630-1635,共6页杨朝红 宫云战 肖庆 王雅文 
国家“八六三”高技术研究发展计划(2006AA01Z184,2007AA010302)
基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修...
关键词：软件测试 静态分析 区间运算 缺陷模式 状态机 
论软件缺陷被引量：10
《计算机应用研究》2008年第12期3531-3533,共3页王德胜 宫云战 
国家"863"计划资助项目(2006AA01Z184)
论述了与软件缺陷相关的几个问题,包括软件缺陷的来源、软件缺陷的分类和分级、软件缺陷数目的预测、软件缺陷的发现及排除效率、软件缺陷的分布等。综合利用这些因素可以大大降低软件缺陷的测试成本,提高软件测试的效率。
关键词：软件缺陷 缺陷数目 缺陷分布 缺陷分类 
一个面向安全协议分析的非单调逻辑被引量：1
《计算机工程与科学》2007年第10期1-3,46,共4页刘海燕 杨朝红 蔡红柳 
国家863计划资助项目(2006AA01Z184)
本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。
关键词：安全协议 协议验证 信念 非单调逻辑 
一种基于故障模式状态机的测试方法被引量：11
《北京化工大学学报（自然科学版）》2007年第A01期73-76,共4页肖庆 杨朝红 毕学军 
国家"863"计划(2006AA01Z184)
基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制...
关键词：软件测试 静态分析 数据流分析 故障查找 
多线程故障分析及解决方法
《北京化工大学学报（自然科学版）》2007年第A01期81-84,共4页刘玉璇 宫云战 杨朝红 
国家"863"计划(2006AA01Z184)
多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术...
关键词：多线程 故障模式 静态分析 
基于模型的软件测试被引量：10
《北京化工大学学报（自然科学版）》2007年第A01期85-88,共4页杨朝红 宫云战 肖庆 毕学军 
国家"863"计划(2006AA01Z184)
基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试...
关键词：软件测试 静态分析 测试模型 
Java性能故障模式分析
《北京化工大学学报（自然科学版）》2007年第A01期110-114,共5页侯斌 张冠楠 宫云战 
国家"863"计划(2006AA01Z184)
面向故障的软件测试方法正在快速发展中,应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式,给出其一般形式和产生原因,并分析其对于保证软件质量的重要性及改进措施,最后简要介绍了对故障...
关键词：故障模式 JAVA 故障检测 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部