教学课程资源库 更多>>

关键词： 程序静态分析   标记类型推导   Java语言   抽象语法树  

摘要： 近年来,由于智能手机Android的兴起,Java语言的影响力从服务器端延伸到了客户端。正是由于这一趋势,大量漏洞被发现,甚至是被恶意利用。程序静态分析是验证程序属性的分析方法之一,但是目前的程序静态分析方法遇到跨过程分析、路径爆炸和程序规模过大等困难。　　本文首先分析了主流的静态分析技术,类型推导依然是程序静态分析主要技术之一。其次分析了目前主流的静态分析工具,大部分工具基本没有使用类型推导技术或者应用较简单。类型推导是一种轻量级的程序分析方法。在编译器的基础上,对程序变量,函数的类型做了进一步的约束,更严格的验证程序的安全性及正确性。　　基于上述分析,本文设计并实现了面向Java语言的类型推导子系统:　　1.支持预定义标记类型,程序分析人员自定义标记类型,并在配置文件中为目标程序的关键位置添加标记类型,从而避免直接修改目标程序。　　2.自动将标记类型添加到目标程序语法树中。　　3.对目标程序生成一个约束系统。遍历抽象语法树,为程序中数据变量添加约束变元,按既定的推导规则为变元添加约束。如果发现预定义标记类型,为约束变元添加标记常量。　　4.对约束系统求解,如果发现约束变元无解,根据当前信息定位源代码中问题的精确位置。　　最后,结合目前比较流行的污染传播分析案例,对系统的分析能力进行了实验和评估,达到了预期的目的。试验说明,类型推导技术有效地规避了跨过程、路径爆炸和程序规模过大等问题。

关键词： Java语言   教学方法   考核方式  

摘要： 如何优化Java语言教学效果是高校Java教师一直探讨的热点问题。对高职Java教学中存在的问题进行分析,本文就教学方法提出几点教学建议,总结提高教学实效的措施。

关键词： java程序   内存行为   低效使用   优化策略  

摘要： 基于工作实践,分析java程序内存使用的低效问题,并进行相关原因的探析,在此基础上提出相应的优化java程序内存行为的具体策略。希望有关人员加以借鉴和参考,对java程序内存行为进行深入的研究,从而结合java程序内存行为的分析模型,对整个内存使用状态进行有效的分析和测试,探寻适用的优化策略。

关键词： Java程序设计   教学内容   教学方法  

摘要： 随着Java技术的不断发展及其应用领域的不断扩大,Java程序设计课程在高校计算机专业的重要性也日趋提高,本文针对Java程序设计课程教学中的常见问题进行了深入的研究和分析,并有针对性地从完善教学内容、改进教学方法、提高学生实践能力等方面给出了一些切实可行的措施。

关键词： 办公资产管理系统   Java程序设计   B/S系统架构  

摘要： 计算机和网络的出现给我们的工作和生活带来了极大的方便。企业信息管理平台将企业内部日常工作有机的组织起来，有效的提高了企业的工作效率与质量。在企业信息管理系统中，办公资产管理系统是其组成的一部分。 抚顺矿业集团属于全资国有企业，办公资产管理使用比较陈旧的人工管理方式。这种管理方式具有低效率、保密性差等缺点，随着管理时间的增长，大量的文件和数据将产生，使得查找、更新和维护等操作都十分不便。另外，为及时结算业务，盘点存余和办公资产出入情况，保证及时补充，管理人员要花费很多的时间作数据记录和统计工作。为了改善此种状况，提高工作效率，提升数据准确性，及数据共享程度，集团决定开发自有的办公资产管理系统。本文详细的介绍了抚顺矿业集团办公资产管理系统的具体设计与实现过程。 经过系统的调研分析，本系统主要包括物品申领单管理、采购管理、入库管理、出库管理、库存量调整、统计管理、系统维护管理和库存量报警查询等七个功能模块。基本涵盖了集团日常办公资产管理的所有业务范围。其中物品申领单管理模块主要实现物品申领单录入与查询功能，采购管理模块主要实现采购单录入和采购单查询与打印功能，入库管理模块主要实现入库单录入和入库单查询与打印功能，出库管理模块主要实现出库单录入和出库单查询与打印功能，库存量调整模块主要实现库存量调整和库存量调整履历查询功能，统计管理模块主要实现物品出库统计和物品库存情况统计功能，系统维护管理模块主要实现物品维护、人员维护、部署维护以及系统用户维护功能，库存量报警查询模块主要实现库存物品数量过低的报警查询功能。 系统采用Intranet结构，应用B/S系统架构和大集中的应用模式，使办公资产管理系统功能分配更加合理，资产管理的效率更高，由于Web技术的使用，对客户端的要求降低，只要使用浏览器就可在任意一台集团内网计算机上进行管理，是系统的配置与操作更加简单和方便。 本系统完成以后，我们对系统进行了测试和应用。测试和应用结果表明系统安全性高、稳定性强，很好的满足了企业对于办公资产管理的需要。系统使用非常方便，界面友好，交互性强。通过对该系统的使用，办公人员和管理人员的工作效率得到了很大的提高。

关键词： 教材   高等学校   JAVA语言   程序设计  

ISBN: (纸本)9787121153440

摘要： 本书对面向对象的思想和机制进行了准确而透彻的剖析，为读者深入学习Java语言程序设计提供了全面、详细的指导。全书覆盖了面向对象设计的广泛内容，介绍了Java语言的基本数据类型、流程控制、类和对象等。在深入分析面向对象设计方法的基础上，介绍了封装机制、继承机制和多态性的实现与应用、异常的捕捉和处理、集合类的定义方法和泛型类的概念。

关键词： 教材   高等学校   JAVA语言   程序设计  

ISBN: (纸本)9787560628912

摘要： 本书共分10章，第1～3章介绍网络编程与Java语言的基本概念；第4～6章介绍Java网络编程的基础技术；第7～9章介绍实用的Java网络编程的技术；第10章介绍JDBA和MgSQL；第11章介绍进行Java网络编程的基础工具。

关键词： 英文   教材   高等学校   JAVA语言   程序设计  

ISBN: (纸本)9787121161384

摘要： 本书对面向对象的思想和机制进行了准确而透彻的剖析，为读者深入学习Java语言程序设本书对面向对象的思想和机制进行了准确而透彻的剖析，为读者深入学习Java语言程序设计提供了全面、详细的指导。全书覆盖了面向对象设计的广泛内容，介绍了Java语言的基本数据类型、流程控制、类和对象等。在深入分析面向对象设计方法的基础上，介绍了封装机制、继承机制和多态性的实现与应用、异常的捕捉和处理、集合类的定义方法和泛型类的概念，书中提供了大量具有可实践性的程序实例、自

关键词： 任务驱动   项目驱动  

摘要： 本文针对高职高专的Java程序设计课程改革,根据Java程序设计目前教学的特点,提出任务驱动教学法与项目驱动教学法相结合的课程教学解决方案。

关键词： 桌面程序   升级策略   RCP   插件   银行   金融机构   Java   桌面应用程序  

摘要： 由于业务内容、操作者使用习惯、网络环境等多方面因素影响,人民银行部分重要业务系统采用客户端/服务器(C/S)结构的系统架构。相比常见的浏览器/服务器(B/S)结构而言,C/S程序在运行速度、数据安全、