教学课程资源库 更多>>

关键词： JOANA   信息流控制   切片技术   漏洞检测   程序依赖图  

摘要： 近十几年来,随着互联网的快速发展,针对基于网络的程序设计特点设计的Java程序设计语言发展迅速,在程序设计领域不断扩大自己的市场份额。目前,Java程序设计语言的市场占有率始终处于前两位。Java程序设计语言编写的程序不仅应用于PC端,也在手机终端和服务器平台。Java程序设计语言是一种面向对象的程序语言,在被用于编写程序时,可将所有对象看成一个整体,从而增加了代码的可读性、可复用性等。Java的运行时环境也即指Java虚拟机,是由即时编译器和垃圾回收器等组件组成。虚拟机机制使得Java程序设计语言设计的程序不受平台的影响,具有较强的“可移植性”。这一特性使得Java程序员编写的一段程序代码可用于不同平台,从而提高Java程序员的工作效率。由于Java程序设计语言的诸多优秀特性,使得Java语言程序要具备很高的正确性及安全性。而Java程序员本身很难确保代码完全安全无误,所以Java程序的漏洞检测技术在编写代码及程序开发时具有很重要的作用。本论文主要研究的是Java安全漏洞检测技术JOAN A(Java Object-sensitive ANAlysis,Java对象敏感分析)-Java的信息流控制(Information FlowControl,IFC)框架。IFC涉及由软件处理的敏感信息的安全性。它的目的是确保软件正确访问敏感信息不会泄露到未授权的接收器,或者在计算过程中使用来自未经授权的源的数据。它可以用于建立安全技术的补充,如访问控制或加密,以增强对敏感信息的保护。提出了一种用于线程和共享内存通信并行程序的信息流控制的实用技术。该技术保证了对合理的攻击者模型的信息的机密性的验证,并利用程序依赖图(PDG,Program Dependence Graph)将其应用于可以转换为PDG的所有程序。这样可以提高程序中可能的信息流的精度,并应用于一般的Java程序中。

关键词： 考试信息   Java技术   B/S架构   试卷分析   数据库  

摘要： 随着计算机技术的飞速发展,越来越多的学校开始通过在线考试开展考务管理工作,这种方式能够提高考务工作效率,节省人力资源,也为考生提供一个便利的考试渠道。但是目前某高校的考试管理系统相对而言比较落后,具体的表现为系统半自动化、考务管理效率不高、功能不完善、无法升级、兼容性差,无法完成高校各类考试管理的需要。因此,在教育信息化和数字化校园建设的大背景下,采用B/S架构、Java等技术研究更加高效智能、功能完善、无纸化的高校考试管理和试卷分析系统,对于提高高校考务管理效率、实现试卷分析、节约人力成本、推动高校信息化水平、提升教育教学质量等方面必将发挥出积极的作用。本文的高校考试管理和试卷分析系统由题库管理、考试管理、试题分布管理、成绩信息管理、试题难度分析管理、题量信息分析管理、系统管理等方面组成。通过实现电子化的高校考试管理和试卷分析系统,有助于提升高校考务工作人员进行日常的考试安排,试题管理、成绩管理等也有助于教师进行高效率的课程教学。本文的主要工作内容如下:1、对考试管理和试卷分析系统的应用现状进行了分析,通过软件开发的瀑布模型和系统研究方法构建系统整体解决思路和技术路线;2、以某高校为背景,分析了考试管理和试卷分析管理的需求,采用模块化设计思想,对系统的角色和功能进行了详细划分,结合管理员、教师等用户对题库管理、考试管理、试题分布管理、成绩信息管理、试题难度分析管理、题量信息分析管理、系统管理等功能进行具体的功能用例分析;3、对系统功能数据筛选和数据管理分析进行了设计,重点考虑了信息的处理分析和大量考试试卷分析等数据响应的优化处理。4、分析了题库的需要,详细设计了组卷策略和流程,采用随机组卷算法实现了组卷功能。5、对系统功能进行了结构设计和时序设计,采用SQL Server数据库技术、J2EE技术实现了题库管理、考试管理等系统功能;完成了功能的测试工作。

关键词： 地理信息系统   Java技术   互联网地理信息系统  

摘要： 本文首先对WebGIS体系结构作一简要概述,探讨了以Java平台为基础的WebGIS的基本构架结构、多层结构的内部通信方式与优点,望能为此领域研究有所借鉴.

关键词： Java语言   程序漏洞   检测与诊断  

摘要： Java语言在产生之初以安卓系统作为主要平台,但是随着安卓系统的推广和普及,该语言占据了比过去更大的移动中断份额,自然也就得到了较快速度的发展,随之而来的问题,就是针对Java程序所开展维护、管理工作难度的提升。本文以Java语言作为研究对象,针对程序漏洞的检测和诊断工作展开了较为系统的研究,供相关人员参考。

关键词： Java EE   Web项目开发   JDBC Servlet  

摘要： Java语言目前是使用最广泛的编程语言。在Web项目开发当中,Java语言可作为完成业务逻辑实现的主要语言。本篇论文主要研究了在使用Java语言开发Web项目时所用到的技术,以及这些技术在Web项目开发中所起的作用。同时解读了基于eclipse的Web项目开发的流程。

关键词： 信息化   教学手段   软件开发课程   教学案例  

摘要： 当今信息化教学手段日益更新,要求高职院校的课程教学需要引入信息化技术,帮助解决教学重点,攻克教学难点。本文分析高职软件开发类课程的特点以及软件开发课程中使用信息化技术的困境,以Java面向对象程序设计课程中循环结构一节内容为例,对程序开发类课程如何使用信息化手段进行探索和实验。首先进行教学分析,包括教学背景、教学任务、学生情况分析,根据实际情况归纳本节教学重难点。其次,根据分析结果,进行教学设计,在教学过程中,使用多种信息化教学手段辅助教学,为程序开发类课程的教师的信息化教学提供参考。最后,通过对学生的调查,认为本次教学设计生动有趣,有效帮助理解,能够突破教学重难点,提高了教学效果。

关键词： 模糊测试   Java测试   测试类生成   污点追踪   待测方法调度   智能模糊测试平台  

摘要： Java语言是当今最流行的语言之一,其具有的“一次编写,多处运行”的特性,使Java被广泛应用于各类应用的开发中。单元测试是Java开发中主要的测试手段,但随着程序数量日益增多以及程序复杂性日益提高,该技术面临测试效率低、测试速率慢、不适应黑盒测试等挑战。新兴的智能模糊测试技术在克服盲目性缺陷后,测试效能大幅提高,受到了越来越多的重视。当前,面向Java程序的智能模糊测试研究还不多,现有工具存在着与Java程序适配性不佳、测试效率低、执行开销大等问题,研究面向Java程序的智能模糊测试关键技术,可以提高对Java程序的测试效率,进一步丰富Java程序的测试途径,对于提高Java程序质量,保护网络应用安全有着积极的意义。本文围绕提高面向Java程序的测试输入构造能力、测试效率、执行速率等迫切需求,开展面向Java程序的模糊测试关键技术研究,解决了面向模糊测试的测试类自动生成、基于Java语言特性的高效模糊测试以及合理调度待测方法等问题,主要工作和贡献总结如下:(1)提出了一种基于依赖性分析的自动测试类构建方法。针对现有工具需要人为提供测试类而造成的测试效率低、应用受限等问题,提出了基于依赖性分析的测试类自动生成方法。该方法首先通过静态分析技术分析字段和方法间的依赖性关系,获取待测方法使用字段以及字段修改所需的方法集合,并据此生成测试所需的方法序列;接着根据类的不同定义源,建立用于生成类实例的知识库,使用不同方法构建类实例;最后,以方法接口参数为指导,构建文件操作语句、变量声明语句以及方法调用语句等,并将其组合成可用的测试类。基于该方法实现了由5000行代码构成的开源工具JDriver,通过对实际软件库进行测试,验证了该方法的有效性,提高了Java程序的测试效率。目前尚未看到其他自动类构建的相关文献。(2)提出了一种基于条件语句污点追踪的模糊测试方法。针对现有面向Java程序的模糊测试工具存在适配面窄、生成输入盲目低效等问题,提出了基于条件语句污点追踪的模糊测试方法。该方法从分析Java语言特性入手,对测试输入进行了形式化定义。采取基于变异的模糊测试的技术途径,并以分支为目标,通过基于条件语句的污点追踪技术来获取影响分支变量,根据测试状态动态选择不同变异策略,采取不同变异操作来生成新的输入,利用Java反射机制高效执行产生的新输入。该方法能够较好地克服盲目性影响,对待测程序的适应性好,具有较高的路径覆盖率和执行速率。与Kelinci进行对比,本方法在测试中表现出更好的性能,实测执行速率达到了Kelinci的1.70～2.68倍。(3)提出了一种混合式待测方法调度算法。针对待测程序中方法数量大,逐一测试会造成时间开销大、重复进行无用测试等问题,提出基于启发式和动态反馈相结合的混合式待测方法调度算法。该算法针对不能直接进行模糊测试的私有方法和受保护方法,在分析方法调用图的基础上构造驱动方法;根据本文选定的测试准则,基于特征启发式过滤不会产生错误的非必要测试方法;结合静态信息定义优先级指标并对待测方法进行排序,根据路径覆盖情况进行周期性更新,实现动态调度。该方法能够有效过滤非必要测试的方法,提高测试效率,减少重复测试相同代码。(4)设计实现了智能模糊测试平台CuteFuzzer。针对现有模糊测试工具存在输入构造能力有限、应用范围窄、测试效率低等不足,设计实现了全新的智能模糊测试平台CuteFuzzer。该平台集成了基于条件语句污点追踪的模糊测试方法和混合式待测方法调度算法,可以对目标软件提供静态分析、单个方法测试以及整体测试,能够满足大部分Java程序的测试需求。CuteFuzzer的核心代码超过9000行,目前尚未发现与之类似的的模糊测试工具。

关键词： 嵌入式系统   Java技术   Java实时规范   实时性  

摘要： 嵌入式系统软件还是采用过时的或者晦涩的C/C++或汇编语言等手段进行研发,然而这些开发手段的诸多缺点难以满足嵌入式系统的发展趋势,因此需要引入新的开发语言和手段到嵌入式系统中。Java技术的安全引用和语言级并发支持多线程等特点使得它在Internet领域得到广泛应用,并且引起了嵌入式编程人员的高度重视,Java实时规范(RTSJ)的出现就是最好的例证,其通过各种工具和机制使Java规范具备了实时性。

关键词： Java开发语言   手机软件   开发技术   应用发展  

摘要： 在当今社会,手机以其便捷性、功能性和多样性等,成为了人们日常生活中必不可少的工具之一,在人们生活中占有重要的位置。因此,手机软件开发成为了一个重要的市场,在经济发展中被很多人所关注。为了抢占手机软件开发市场,在行业处于前端,很多人对开发技术应用进行研究,发现其手机软件大多是基于Java开发语言基础之上。基于此,本文对基于Java开发语言的手机软件开发技术应用进行研究,旨在为手机软件开发技术应用的发展提供参考。

关键词： 健康减肥系统   Java技术   SqlServer2008数据库  

摘要： 目前，由于人们生活水平的不断改善以及大量非合理的饮食导致肥胖现象猛增，同时加上工作压力不断加重，肥胖已经成为了一个不可小觑的社会问题。又因为“以瘦为美”的审美标准已经成为许多青年人士的主流，骨感美也成为了女性或年轻人的追求目标，所以我们可以借助软件工具来随时随地的监督和安排自己的饮食和运动，从而帮助肥胖人群达到自己减肥的目标。　　基于安卓的健康减肥系统是一款以帮助肥胖人群达到健康减肥为目的的减肥系统，主要以适量的运动和控制饮食两大块为基本过程，其中包括协助用户进行仰卧起坐、俯卧撑、跑步等运动，并且还可为用户量身定做运动计划和饮食计划，让用户对运动量和饮食量有一个进一步的认识;此外还可记录用户实时的身体信息并可让其在交流圈中进行交流。智能手机的广泛使用为减肥软件的开发提供了一个很好的平台，使得开发绿色减肥软件成为目前互联网所需的必要趋势。借助健康减肥APP，一方面可以随时随地向用户给予提示，监控减肥信息，提升用户减肥信心，帮助用户达到减肥效果，为用户提供一站到底服务;另一方面结合安卓智能手机携带方便、移动轻便等优势[1]，为减肥带来了极大的便利;还可利用外加手机内置的传感器件，为用户带来更方便、更有效的健康减肥，快乐减肥。　　本系统编程语言为Java并结合SQLserver2008数据库设计实现一个以运动监测和饮食监控为主要功能的系统;主要功能模块为用户模块、运动检测模块、饮食模块、运动模块、计划定制模块、交流模块等。　　本文首先是对该系统所创建的相关背景做了简单介绍，然后描述了开发过程中所用到的相关技术、软件以及运行环境，再对系统做进一步的系统需求分析;接下来对其各个功能模块进行详细介绍和实现，最后显示出经过了系统性测试之后的结果，并根据此结果对系统进行维护与设计，使得该系统在之后的运行变得更加的稳定和可靠，提高其在实际中的实用性和易用性[2]。