张广梅
- 作品数：34 被引量：95H指数：7
- 供职机构：山东农业大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金山东省研究生教育创新计划更多>>
- 相关领域：自动化与计算机技术文化科学政治法律更多>>
- 利用属性文法对程序中的副作用进行检测被引量：1
- 2012年
- 表达式是程序的基本组成单位。在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用。表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致系统崩溃。首先对副作用的产生原因进行了分析,进而提出了利用属性文法对具有副作用的表达式或函数调用进行检测的方法,该方法可以有效地完成表达式或函数调用中的副作用的检测。
- 张广梅李景霞
- 关键词：属性文法
- 基于体系结构的软件可靠性参数早期预测被引量：2
- 2005年
- 在对组成软件系统的组件间关系进行分析的基础上,提出了基于组件间关系的软件可靠性的数学模型,该模型给出了在已知组件的可靠性和平均无故障运行时间的基础上计算系统可靠性的方法。通过各组件对系统可靠性的影响分析,给出了改善系统可靠性的方案。
- 张广梅李晓维
- 关键词：软件体系结构软件组件
- 基于ASP.NET MVC的农业信息化案例库管理系统的设计与实现被引量：5
- 2020年
- 为贯彻落实《教育部关于加强专业学位研究生案例教学和联合培养基地建设的意见》文件精神,很多高校建立了多个教学案例库,但对案例库的管理还处于传统电子版、甚至手工阶段。为此,本文借助ASP.NET MVC技术,围绕农业信息化教学案例,研发了B/S模式的案例库管理系统,实现了案例库的网络化管理,为农业信息化的案例教学提供共享平台。本文的研究过程为同类案例库管理系统的开发提供参考。
- 孙永香孙未朱红梅张广梅
- 关键词：案例库农业信息化
- 软件可靠性测试方法探析被引量：13
- 2004年
- 在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运行剖面和软件失效数据进行软件可靠性评估的方法。
- 张广梅李晓维
- 关键词：软件可靠性测试软件运行剖面软件可靠性评估
- 一种面向动态资源管理的软件故障检测方法
- 本发明涉及软件工程技术中的面向动态资源的管理模式、基于动态资源管理错误的软件故障模型及动态资源管理错误的检测方法。动态资源管理结构由程序开始、资源分配、资源使用、资源回收和程序结束组成。动态资源管理错误的软件故障模型包括...
- 张广梅徐勇军李晓维
- 文献传递
- 基于OBE的数据结构教学与评价研究被引量：6
- 2020年
- 针对数据结构教学中从课程内容出发关注课程体系结构,忽视学习目标、个体特点和能力要求的问题,提出将OBE教学模式引入数据结构的教学。构建了基于OBE理念的数据结构课程教学的设计原则,研究了包括知识、能力水平、情感目标的面向学生能力提高的数据结构课程目标;围绕此目标,进行教学实践,设计教学环节努力达成目标;通过教学评价检验目标的达成度,发现不足,改进教学。
- 朱红梅孙未张广梅孙永香
- 关键词：数据结构课程目标教学实践教学评价
- 数据流相关软件故障的静态检测被引量：7
- 2005年
- 建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.
- 张广梅李晓维
- 关键词：数据流分析故障检测
- 面向动态资源管理的软件故障检测方法
- 2004年
- 张广梅徐勇军李晓维
- 关键词：动态资源管理软件故障资源分配故障检测
- 无用代码的检测
- 2007年
- 程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。
- 张广梅李劲松
- 关键词：数据流分析程序插装
- 成果导向的面向对象程序设计课程的教学与评估被引量：1
- 2020年
- 构建了成果导向的面向对象程序设计课程教学的设计原则,研究了包括情感态度、知识水平、能力目标的关注方法、态度和提高能力在内的课程目标;围绕目标的达成,设计课程教学环节进行教学实践;通过对各课程目标达成度的评估检验教学效果,帮助师生发现不足,改进教与学。
- 朱红梅张广梅孙永香李蔚妍李滨
- 关键词：面向对象程序设计课程课程目标教学实践教学评估
