教学课程资源库 更多>>

关键词： 静态检测   控制流分析   数据流分析   路径查找   Jimple   IFDS  

摘要： 互联网产业的飞速发展,给人们的生活带来了非常多的便利,人们对计算机的需求日益增长,同时也刺激着软件行业的不断进步。软件需求量的增多,需求方式的多样性,促使软件开发者以新的开发方向和角度满足着用户的需求。Java语言作为代表性的程序设计语言,以通用性、高效性、跨平台型以及安全性的独特优势,占据着程序开发语言的主要市场份额。随着软件开发规模的增大,代码复杂度的提高,对软件安全性的检测的难度也随着增大,因此,基于Java源码的静态检测方法有着重要的研究意义。程序的静态检测方法,是基于程序的执行逻辑,依照程序的执行过程对程序的执行结果进行分析,在分析的过程中能够准确的定位程序漏洞节点位置,为后期的修改工作提供有效的支持。现有的基于Java源码的静态检测技术在分析效率和结果准确率这两个程序分析的重要指标上都有着亟待提高的空间,本文基于控制流分析和数据流分析方法的研究,提出的一种新的检测系统在这两个方面较以往的检测方法都有着较为明显的提升。本文的主要研究工作为:第一、基于控制流分析框架对Java源码进行控制流分析生成过程间控制流图,第二、结合IFDS问题的理论研究,将Java程序分析问题抽象为具体IFDS问题,第三、根据IFDS问题,定义IFDS问题求解器的接口类和接口类中的功能函数,其中最重要的功能函数为数据流函数;数据流函数定义了不同类型的数据流,并根据程序执行的逻辑,判断当前语句的类型,根据当前语句的类型,选择相对应类型的数据流函数,对程序进行数据流分析,得出分析结果。通过对该系统的实验测试,表明基于控制流分析和数据流分析的Java源码静态检测框架可以完成对程序的完整性分析,并且对程序的漏洞分析结果的准确率高于一般静态程序分析平均标准值,达到了预期的设计目标和要求。

ISBN: (纸本)9787302392309

ISBN: (纸本)9787302419051

ISBN: (纸本)9787302409595

ISBN: (纸本)9787111489900

关键词： 微课程   微信   混合式学习   平台开发  

摘要： 随着智能手机的流行,由微博、微信支持的学习变革来到我们身边。教育技术领域正在进行着微课催生学习变革的大讨论。本文以高职计算机专业的JAVA课程学习变革为场景,设计与开发了基于微信的JAVA微课程,开展了JAVA微课学习的有益尝试。 本文介绍了微课程与翻转课堂、移动学习的发展过程,结合国内外发展现状进行总结,其次介绍了微信平台的发展,分析了微信平台与微课程进行结合的优势。 通过对高职学生的调查,计算机专业的JAVA课程教学存在一些问题。如学生对传统的教学方式不感兴趣,学习内容多、课堂时间少、课程资源不足,教材不能反映新技术的演进,师生沟通时间少,缺乏交流讨论等问题。 为了解决这些问题,笔者在JAVA课程教学中,依据课程教学大纲和学生认知水平,重新梳理教材内容,整合课程资源,将JAVA课程学习目标、学习任务及相关要求,植入注册好的“微信JAVA学习群”。讨论JAVA微课程开发经验和存在的问题,提出基于微信的微课程自主学习系统设计方案,实现了微学习菜单功能模块,引导学生使用智能手机开展了JAVA微课学习。 实践结果表明：传统课堂+微课程平台的混合式学习,提高了高职学生的自主学习能力与学习兴趣,促进了知识协同建构,达到了预期的结果。本文最后进行了深刻的反思与总结,展望了基于微信的微课程平台的发展前景,对今后开展基于微信的微课程自主学习具有一定的借鉴作用。

关键词： Program Verification   Java   Multithreaded Programs   Separation Logic  

摘要： This paper presents a program logic for reasoning about multithreaded Java-like programs with dynamic thread creation, thread joining and reentrant object monitors. The logic is based on concurrent separation logic. It is the first detailed adaptation of concurrent separation logic to a multithreaded Java-like language. The program logic associates a unique static access permission with each heap location, ensuring exclusive write accesses and ruling out data races. Concurrent reads are supported through fractional permissions. Permissions can be transferred between threads upon thread starting, thread joining, initial monitor entrancies and final monitor exits. In order to distinguish between initial monitor entrancies and monitor reentrancies, auxiliary variables keep track of multisets of currently held monitors. Data abstraction and behavioral subtyping are facilitated through abstract predicates, which are also used to represent monitor invariants, preconditions for thread starting and postconditions for thread joining. Value-parametrized types allow to conveniently capture common strong global invariants, like static object ownership relations. The program logic is presented for a model language with Java-like classes and interfaces, the soundness of the program logic is proven, and a number of illustrative examples are presented.

关键词： CDIO   教育理念   Java程序设计   教学改革  

摘要： 根据应用型人才的培养需要,针对Java程序设计课程教学中存在的问题,提出了基于CDIO教育理念的、"面向应用、可持续的"的教学改革方案。优化了理论教学内容,强化了实践教学,突出了应用开发以及创新能力培养;使用启发式、讨论式、案例教学法等阐述了教学改革实践,以适应面向应用、可持续发展的人才培养需要。

ISBN: (纸本)9787560637914

关键词： Java程序设计   项目驱动教学法   教学设计  

摘要： 项目驱动教学法是一种以学生为核心、以项目研究为主线,强调学生实践能力的培养的教学方法。本文采用该方法对《Java程序设计》做课程教学设计,确立教学目标、选取难度和规模适中的项目、按软件工程思想管理和实施项目开发过程,并提出多元化的考核评价方式。