教学课程资源库 更多>>

ISBN: (纸本)9787121166815

关键词： Java程序设计   非计算机专业   教学方法   实践  

摘要： Java语言是当前最流行的面向对象编程语言之一,是目前各类高等院校的一门主要的编程语言课程。而非计算机专业的Java程序课程则有更为具体的特点,存在相关问题。针对当前高等院校非计算机专业对Java程序设计教学内容和方法的需要,分析了Java程序设计课程教学中存在的一些问题,并对教学思想以及教学中可以采取的有效方法进行了较为具体的探讨,从教学内容、教学方法、考核方法等方面分别进行介绍,并在课堂教学、实践教学环节方面提出了一系列相关改进措施。

ISBN: (纸本)9787111340874

关键词： JAVA程序设计   异常处理   抛出捕获  

摘要： 为了能及时有效地处理程序运行时产生的错误,JAVA语言中引入了异常和异常类的概念,并且提供了丰富的处理错误与异常的措施。本文将对有关的异常、异常类、异常抛出、异常捕获及异常处理作全面阐述。

ISBN: (纸本)9787302296256

ISBN: (纸本)9787302275138

ISBN: (纸本)9787302303947

关键词： Java语言   教学改革   项目教学  

摘要： 《Java语言程序设计》课程是计算机相关专业的一门重要的专业基础课,本文从教学方法、教学手段、考核方式、实践方式等方面阐述了如何对该门课程进行教学改革,以增强学生对知识的理解及实践能力,培养社会需要的应用型人才。

关键词： 并行程序   静态分析   系统依赖图   安全性  

摘要： 作为软件生命周期中必不可少的阶段，软件测试是保障软件安全性和可靠性的重要手段。随着并行程序逐渐成为主流，软件测试的研究方向也逐渐向并行方面转移。然而，并行程序通常由多个独立的线程组成，线程之间包含复杂的、不确定的交互关系，这使得并行程序的自动化测试难度增加。如何表达多线程之间的交互关系和并行程序的错误检测算法是并行程序自动化测试过程中的薄弱环节，是一个值得研究的课题。 静态测试是指在不动态执行待测程序的前提下，仅通过分析待测源程序的语法、结构、方法语句、接口等源程序信息来检查待测程序的正确性。具体的做法是通过对源程序做结构分析、流分析、漏洞分析来检测程序的漏洞。与动态测试相比，静态测试更有效率，能快速找到缺陷。 采用静态测试的方法对并行程序进行安全性的自动化检测，采用词法语法分析算法将程序源代码转成并行化扩展的程序中间表示，使用静态分析算法提取程序语句之间的依赖信息组成支持并行的系统依赖图，漏洞检测算法利用得到的依赖信息分析出程序存在的漏洞。基于安全性规则的测试是首先由用户提供安全性规则的约束关系描述，在测试过程中，测试框架对程序进行安全性规则的匹配，得到软件安全性测试的结果。实验结果表明：本文提出的并行程序安全性测试框架在检测并行程序漏洞方面要优于现有静态测试软件，并在安全性测试方面具有良好效果。

ISBN: (纸本)9787302299486