摘要：为了解决面向方面编程中的方面冲突问题,在分析现有解决方法的基础上,提出了一种基于契约式设计的方面冲突自动检测方案。根据设计文档使用JML给方面和基础程序标注契约,利用契约转换程序生成契约检查程序,契约检查程序与面向方面的应用程序一起编译,生成包含契约检查的目标文件,从而在程序执行时,自动检测出方面与基础程序间的冲突以及方面与方面间冲突。该方案不破坏现有的应用程序,且无需重新设计编译器。通过一个实例表明该方案的可行性。

摘要：提出了一种基于概念模型的AOP框架,它能从语义上解决AOP系统中的结构冲突问题。为了实现该框架,设计了概念模型配置工具、基础程序标注生成工具、概念层信息更新工具和基础程序转换工具。概念模型配置工具便于程序员设计概念模型中物理信息、逻辑信息及其映射关系,基础程序标注生成工具能根据概念层信息自动为基础程序增加或更新标注,概念层信息更新工具能把修改后的基础程序信息自动更新到概念层,基础程序转换工具能把标注后的基础程序自动生成用逻辑信息表示的概念层程序。这些支撑工具的研究与设计,使基于概念模型的AOP框架更具实用性,便于该框架的应用。

摘要：针对目前加密工具存在加密算法单一、密钥管理不方便、密文文件共享不安全、文件重要性未区分等问题,设计了一个支持多种安全级别的文件加密工具。该工具的密钥随机生成,按用户分组组织,保存于密钥文件中,并按照文件的重要性,把它分成一般、中等和高3个安全级别。一般和中等安全级别文件加解密时,自动从密钥文件中查找密钥,而后者解密时需要进行用户认证,高安全级别文件的密钥不在密钥文件中,加密时随机生成,用投票者的公钥加密后保存到服务器,解密时需要所有投票者同意才能解密。该工具加密时随机选择加密算法,密钥无需用户记忆,通过密钥管理保证不同级别密文文件共享的安全,既具有操作的方便性,又具有较高的安全性。

摘要：保护计算机中文件安全的方法有访问控制和加密,越来越多的研究者开始关注基于文件系统内核的控制方法。在分析现有控制文件安全方法的基础上,提出了根据用户信任等级和目录安全级别确定用户访问权限的目录安全控制策略。并简要介绍了文件系统过滤驱动的工作原理;然后从内核控制模块和控制目录设置模块两方面详细介绍了目录安全控制系统的设计过程。目录安全控制系统可有效地保证文件的安全性,同时兼顾了操作的方便性和适用的广泛性。

摘要：编写复杂的SQL语句既耗费时间又容易出错,出现了许多SQL生成工具。现有的SQL生成工具大多缺乏完善的错误检测功能和良好的可扩展性。在吸收现有SQL生成工具优点的基础上设计了Select_SQL_Builder系统,它基于SQL92标准,实现了复杂的查询语句。系统对SQL语句进行了完整性、重复性和类型匹配等检查,并且把函数、表达式和条件作为对象,便于显示、修改、检查和生成SQL语句。同时经过简单的修改,系统能适应不同的数据库和增加更新语句、删除语句等功能。

摘要：毕业设计是本科教育的重要环节,但目前许多高校的毕业设计效果并不理想。文中从学生和指导教师两方面分析了计算机专业毕业设计中存在的问题及原因,并总结出指导毕业设计的方法,该方法用于实践取得了较好的效果。

摘要：文中首先分析了提高学生软件测试水平的必要性和可能性,然后探讨了利用毕业设计提高学生软件测试水平的方法,并简要介绍了在毕业设计期间指导学生进行软件测试技术学习和训练的实践过程。

摘要：通过定义存储过程模板,并根据表信息替换模板中的变量,从而生成大量具有类似处理流程的Java存储过程。给出了Update存储过程的生成模板、注册模板以及测试程序模板,并用VBA实现了自动生成Java存储过程的主要方法,还讨论了测试数据的准备、测试及测试结果的确认方法。实践表明,该方法能保证软件的质量、缩短开发周期以及提高软件的可修改性。

摘要：目前加密解密算法日趋成熟,加密解密工具必须实用且方便使用。根据实际需要,采用分组密钥管理、自动查找密钥的思想设计了加密解密工具。从密钥管理、加密文件的格式、加密处理和解密处理等方面详细地介绍了该工具的设计过程。

摘要：为了简单且高效地编写SQL语句,设计了SelectBuilder系统,该系统基于SQL92标准,实现了SQL语句中最复杂的Select语句.给出了系统的设计过程。