王洪艳
- 作品数：29 被引量：22H指数：3
- 供职机构：装甲兵工程学院信息工程系更多>>
- 相关领域：自动化与计算机技术文化科学军事电子电信更多>>
- 一种基于故障模型的代码静态测试方法研究
- 2011年
- 软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。
- 夏玉辉李鸣万琳王洪艳
- 关键词：软件测试语法树控制流图
- 《操作系统应用》课程教学中存在的问题及对策研究
- 2015年
- 《操作系统应用》课程是学院合训类计算机科学与技术专业的专业方向选修课,是提高学员面向信息系统体系作战能力的需求所需要的课程,在整个计算机科学与技术专业的课程体系中起着重要的支撑作用,为后续课程的学习奠定基础,对培养学员信息思维能力、提高学员信息化处理水平具有重要的作用和意义。该文首先结合多年的教学经验和教学体会,分析了当前操作系统课程教学过程中存在的主要问题,然后提出了解决问题的方案。
- 王子强王维锋王洪艳
- 关键词：操作系统应用
- 基于语法测试的软件缺陷分析
- 本文提出了一种基于语法测试的软件测试的软件缺陷分析方法,能够有效查找软件实现过程中产生的缺陷.和完全测试相比,该方法可以不必进行软件的正确性测试即可发现某些缺陷,因而代价较低.
- 张威卢庆龄王洪艳于屏岗
- 关键词：软件测试数组越界
- 文献传递
- 试论《计算机文化基础》课程实施双语教学改革方案
- 2011年
- 本文针对《计算机文化基础》出现的授课内容知识面窄,难度小等问题,主要探讨了《计算机文化基础》课程实施双语教学的背景和必要性,以及课程改革的具体实施方案。
- 李媛州王子强王洪艳杨翔
- 关键词：计算机基础教学双语教学教学改革方案
- 认知学徒制在开放式实验中的应用研究被引量：1
- 2016年
- 开放式实验成为教师进行实验教学的重要途径,文章提出在开放式实验中采用认知学徒制,可以培养学生的思维能力和解决复杂问题的能力,并根据开放式实验的特点,结合认知学徒制模式,探讨了在开放式实验中实施认知学徒制模式的原则和过程。
- 向阳霞陈建明王洪艳
- 关键词：认知学徒制
- 一种基于控制流图的静态测试方法
- 基于对程序源代码的静态分析方法,针对程序中一些常见故障,提出了一种基于控制流图的自动测试方法。采取了一种特殊的静态分析技术来实现对代码的测试。首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,在分析过程中,...
- 夏玉辉张威万琳王洪艳
- 关键词：软件测试语法树控制流图
- 文献传递
- 信息化条件下计算机基础课教学团队发展研究
- 2013年
- 本文以高校质量工程建设为牵引,以推进新军事变革为契机,探讨了我院＂计算机基础课程教学团队＂的建设问题,从团队构建、团队管理规章制度、人才培养、教学改革及与科研协同发展等方面探讨了高效团队的建设模式,取得了丰硕的成果,为学院的人才培养、学科建设和教育教学做出了重要贡献。
- 王洪艳杨宁陈建明
- 关键词：计算机基础课程教学团队教学改革团队发展
- KD-Tree的并行化创建方法分析被引量：3
- 2013年
- 针对KD-Tree的串行创建效率不高的问题,文中对KD-Tree创建的并行化方法进行了研究。首先通过分析串行创建的方法;结合GPU的并行特性,改进了原有方法;并对三种不同的并行化方法进行了对比,其中基于GPU构建的并行化方法既保证了稳定性和性能,又具有比较满意的时间复杂度。
- 向阳霞王洪艳周泽云
- 关键词：KD-TREE并行化GPU
- 基于Markov过程的1553B总线系统可靠性分析被引量：1
- 2011年
- 针对1553B总线具有热备结构的特点,利用可靠性理论中的Markov过程原理,从可维修性的角度建立了可靠度和平均无故障时间的理论计算模型。分析其可靠性,并进行了可靠性计算。通过Matlab仿真,进一步验证了其模型的正确性。
- 陈建明丑力王洪艳
- 关键词：冗余可靠度平均无故障时间
- 基于语法测试的软件缺陷分析
- 2004年
- 本文提出了一种基于语法测试的软件缺陷分析方法,能够有效查找软件实现过程中产生的缺陷.和完全测试相比,该方法可以不必进行软件的正确性测试即可发现某些缺陷,因而代价较低.
- 张威卢庆龄王洪艳于屏岗
- 关键词：语法测试软件测试
