后现代主义对高校计算机基础课程教学的有益启示

后现代主义以其特有的精神气质和包容性在各个学科领域发生着深远持久的影响。教育作为人类一种有目的、有组织、有理性的行为,始终与人类社会的现代化进程紧密地联系在一起。在后现代主义思想的荡涤下,各国教育学者进行了深刻的反思,教育思想、教育活动和教育研究等方方面面都出现了显著的变化。本文介绍了后现代主义课程观,探讨其对我校大学计算机基础课程教学的有益启示。     

基于演进思想的程序断言动态发现模型研究

程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域.相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机免疫技术的启发,为基于这一演进思想的程序断言侦测建立起一个演进模型.     

一种函数依赖程序不变量动态检测方法

目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.