检索结果-维普期刊中文期刊服务平台

C/C++程序设计多元协同实验教学平台构建被引量：12: 1; 作者孙伟峰杨华 +1 位作者齐玉娟万勇《实验室研究与探索》 CAS 北大核心 2019年第3期144-148,233,共6页; 针对C/C++程序设计课程实验教学存在的学时少、与理论课程衔接不畅、上机资源受限等问题,借助移动互联网技术创新实验教学模式,构建了结合智能手机端编程、网络在线编程与实验室上机多元协同的混合式实验教学平台。理论课上及课余时间... 展开更多; 关键词 c/c++程序设计实验智能手机端编程在线编译器信息技术与教学融合; 在线阅读下载PDF 职称材料

基于有界模型检测的C/C++程序内存泄露检测被引量：2: 2; 作者黄蔚洪玫 +5 位作者杨秋辉郭鑫宇代声馨徐保平高婉玲赵鹤《计算机应用研究》 CSCD 北大核心 2016年第6期1762-1766,共5页; C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文... 展开更多; 关键词 c/c++程序内存泄露有界模型检测可满足性模理论; 在线阅读下载PDF 职称材料

C/C++程序的静态安全分析被引量：2: 3; 作者张立勇刘坚陈平《系统工程与电子技术》 EI CSCD 北大核心 2008年第6期1155-1158,共4页; 针对C/C++程序中易出现的内存泄漏、缓冲区溢出、指针非法引用等安全漏洞,重点研究了基于函数依赖关系的自下而上全局分析与基于安全漏洞模式的控制流与数据流分析,提出了一种针对源代码的静态安全漏洞分析框架并构建了相应的静态安全... 展开更多; 关键词 c/c++程序安全漏洞自下而上分析契约; 在线阅读下载PDF 职称材料

任意精度的子午线弧长递归计算被引量：15: 4; 作者刘仁钊伍吉仓《大地测量与地球动力学》 CSCD 北大核心 2007年第5期59-62,共4页; 根据子午线弧长计算公式,推导出基于递归关系的任意精度的子午线弧长的一种新的计算方法,以及基于C/C++语言的子午线弧长具体方法的实现,最后在VC6.0中进行了验证。结果表明,该方法可满足不同精度要求的弧长计算。; 关键词子午线弧长公式推导递归计算 c/c++程序精度分析; 在线阅读下载PDF 职称材料

基于概率层次分析的缓冲区溢出检测工具评估被引量：1: 5; 作者张国强殷博 +1 位作者邱宇王伟静《计算机应用与软件》北大核心 2018年第7期27-32,103,共7页; 针对层次分析法在综合评估多种缓冲区溢出漏洞检测工具方面的缺陷,提出概率层次分析法,对五种典型的缓冲区溢出静态检测工具进行分析,综合评估各漏洞检测工具在缓冲区溢出漏洞检测方面的适用性和局限性。应用SARD标准数据集分析缓冲区... 展开更多; 关键词静态测试漏洞检测工具工具评估 c/c++程序缓冲区溢出概率层次分析法; 在线阅读下载PDF 职称材料

题名C/C++程序设计多元协同实验教学平台构建被引量：12: 1; 作者孙伟峰杨华齐玉娟万勇; 机构中国石油大学(华东)信息与控制工程学院; 出处《实验室研究与探索》 CAS 北大核心 2019年第3期144-148,233,共6页; 基金国家自然科学基金项目(61501520) 中国石油大学(华东)青年教师教学改革研究项目(QN201412); 文摘针对C/C++程序设计课程实验教学存在的学时少、与理论课程衔接不畅、上机资源受限等问题,借助移动互联网技术创新实验教学模式,构建了结合智能手机端编程、网络在线编程与实验室上机多元协同的混合式实验教学平台。理论课上及课余时间采用手机端及网络在线编程的方式,对分散的知识点及小规模的程序进行编程验证,实验课侧重对综合性及创新性的程序进行调试。该模式打破了传统实验室上机实践在时间与空间上的限制,使编程实践贯穿于课程教学的全过程,实现了信息技术与教学的有效融合。教学实践表明,该平台为学生提供了灵活多样的编程实践环境,实现了理论课与实验课的良好衔接,学生的编程思维得到了有效锻炼,编程能力得到了很大提升,教学效果显著。; 关键词 c/c++程序设计实验智能手机端编程在线编译器信息技术与教学融合; Keywords c/c++ programming experiment programming on smart phones online compilers fusion of information technology and teaching; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论] G642.0 [文化科学—高等教育学]; 在线阅读下载PDF 职称材料

题名基于有界模型检测的C/C++程序内存泄露检测被引量：2: 2; 作者黄蔚洪玫杨秋辉郭鑫宇代声馨徐保平高婉玲赵鹤; 机构四川大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2016年第6期1762-1766,共5页; 基金四川省应用基础研究项目(2014JY0112); 文摘 C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。; 关键词 c/c++程序内存泄露有界模型检测可满足性模理论; Keywords c / c ＋＋ program memory leak bounded model checking satisfiability modulo theories; 分类号 TP311.53 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名C/C++程序的静态安全分析被引量：2: 3; 作者张立勇刘坚陈平; 机构西安电子科技大学软件工程研究所; 出处《系统工程与电子技术》 EI CSCD 北大核心 2008年第6期1155-1158,共4页; 基金 "十一五"预先研究项目资助课题(51315060103); 文摘针对C/C++程序中易出现的内存泄漏、缓冲区溢出、指针非法引用等安全漏洞,重点研究了基于函数依赖关系的自下而上全局分析与基于安全漏洞模式的控制流与数据流分析,提出了一种针对源代码的静态安全漏洞分析框架并构建了相应的静态安全漏洞分析工具原型。实验结果表明,该原型能够检测出C/C++程序中常见的安全漏洞。与同类型安全分析工具比较,具有支持全项目检查、可避免函数重复分析、安全规则可定制等优点。; 关键词 c/c++程序安全漏洞自下而上分析契约; Keywords c/c＋ program safety holes bottom-up analysis contract; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名任意精度的子午线弧长递归计算被引量：15: 4; 作者刘仁钊伍吉仓; 机构同济大学测量与国土信息工程系; 出处《大地测量与地球动力学》 CSCD 北大核心 2007年第5期59-62,共4页; 基金国家自然科学基金(40674004); 文摘根据子午线弧长计算公式,推导出基于递归关系的任意精度的子午线弧长的一种新的计算方法,以及基于C/C++语言的子午线弧长具体方法的实现,最后在VC6.0中进行了验证。结果表明,该方法可满足不同精度要求的弧长计算。; 关键词子午线弧长公式推导递归计算 c/c++程序精度分析; Keywords meridian arc length, formula deduction, recursive computation, c/c ＋＋ program, precision analysis; 分类号 P226 [天文地球—大地测量学与测量工程]; 在线阅读下载PDF 职称材料

题名基于概率层次分析的缓冲区溢出检测工具评估被引量：1: 5; 作者张国强殷博邱宇王伟静; 机构国网天津市电力公司电力科学研究院国网天津市电力公司南开大学计算机与控制工程学院; 出处《计算机应用与软件》北大核心 2018年第7期27-32,103,共7页; 基金天津市自然科学基金重点项目(17JCZDJC30700); 文摘针对层次分析法在综合评估多种缓冲区溢出漏洞检测工具方面的缺陷,提出概率层次分析法,对五种典型的缓冲区溢出静态检测工具进行分析,综合评估各漏洞检测工具在缓冲区溢出漏洞检测方面的适用性和局限性。应用SARD标准数据集分析缓冲区溢出漏洞多发类型并提取其程序特征结构,根据漏洞检测工具的检测结果,基于漏报率、误报率等评估准则,使用概率层次分析模型对缓冲区溢出漏洞检测工具进行综合评估。实验说明概率层析分析法能够有效地评估漏洞检测工具在检测缓冲区溢出漏洞方面的性能。; 关键词静态测试漏洞检测工具工具评估 c/c++程序缓冲区溢出概率层次分析法; Keywords Static testing Vulnerability detection tool Tool evaluation c/c＋＋ program buffer overflow Probabilistic AHP（Analytic Hierarchy Process）; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	C/C++程序设计多元协同实验教学平台构建	孙伟峰杨华齐玉娟万勇	《实验室研究与探索》 CAS 北大核心	2019	12	在线阅读下载PDF 职称材料
2	基于有界模型检测的C/C++程序内存泄露检测	黄蔚洪玫杨秋辉郭鑫宇代声馨徐保平高婉玲赵鹤	《计算机应用研究》 CSCD 北大核心	2016	2	在线阅读下载PDF 职称材料
3	C/C++程序的静态安全分析	张立勇刘坚陈平	《系统工程与电子技术》 EI CSCD 北大核心	2008	2	在线阅读下载PDF 职称材料
4	任意精度的子午线弧长递归计算	刘仁钊伍吉仓	《大地测量与地球动力学》 CSCD 北大核心	2007	15	在线阅读下载PDF 职称材料
5	基于概率层次分析的缓冲区溢出检测工具评估	张国强殷博邱宇王伟静	《计算机应用与软件》北大核心	2018	1	在线阅读下载PDF 职称材料