软件体系结构课程教学改革规划与实施

针对当前软件体系结构课程教学的挑战,提出基于案例式教学、翻转课堂和开源软件的课程教学改革思路,阐述在软件工程硕士中进行课程教改的实施过程并说明效果。     

“操作系统”国家精品课程建设总结

本文重点介绍国防科大计算机学院"操作系统"课程特色及主要建设成果,全面总结了我院"操作系统"教学实施的经验。     

一种接口自动机的组合精化检验方法

接口自动机是一个用来描述软构件接口的时态行为的形式模型，传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实际应用受到较大限制。本文提出了一种对该规则的改进方法，以弥补上述缺陷。     

基于语义补丁的Linux驱动程序后向移植技术

使用语义补丁技术对Linux的网卡驱动程序的后向移植方法进行研究。通过分析多个不同内核版本的驱动程序代码,在兼容库代码的支持下,提出了一种使用语义补丁进行驱动程序后向移植的方法。针对符号和函数分别开发了语义补丁,解决了后向移植过程中代码冗余以及补丁文件过多的问题,提高了后向移植的效率。实验分析表明,所使用的语义补丁的代码行数比普通补丁减少了很多,使得移植过程更加高效。在后向移植的过程中,对兼容库的构造方法进行了总结,使得移植后的代码可读性更强。所提方法对实现其他驱动程序的后向移植提供了借鉴意义。     

国内外操作系统课程建设比较分析

"操作系统"是计算机专业核心基础课程之一。本文调研了近三年国内外若干所大学计算机专业开设"操作系统"及其相关实验课程的情况。从课程内容、考核方式、实验内容安排等方面进行了比较与分析。