校企结合的软件工程实践框架的构建与应用

针对目前高校普遍采取的校内实践和企业实训两种软件工程实践模式的优势与不足,从立足校内环境和加强企业教师深度参与的角度,提出校企结合的软件工程实践框架,从教学大纲、真实案例库的建设原则、校企结合的教师团队、面向用户价值的考核标准等方面重点阐述该框架的建设思路,同时对实施效果进行分析。     

面向软件工程系统能力培养的渐进式实践课程方案探索

针对本科生的软件工程系统能力培养问题,提出面向软件工程系统能力培养的渐进式实践课程教学方案,从面向软件人才培养的软件工程系统能力模型、面向软件工程系统能力培养的实践课程体系、支撑能力培养的实践教学案例设计准则几方面进行探讨,最后介绍该课程方案的具体应用情况并说明教学效果。     

本地无数据的iSCSI磁盘数据保护机制

在信息窃取者合法登录系统的情况下,现有的Internet小型计算机系统接口（iSCSI）磁盘数据保护措施并不能保证数据不被窃取。通过结合磁盘读写重定向算法、磁盘透明加解密机制,提出一种本地无数据的iSCSI磁盘数据保护机制iSCSI_SEC。本地无数据指的是iSCSI磁盘中的重要数据只会存在于iSCSI磁盘服务器中而不会因为用户操作或者程序拷贝等原因在本地存储介质上存在,从而能够保证磁盘中重要数据的机密性。通过在系统内核层加载磁盘过滤驱动程序的方式来实现数据保护机制,并与TrueCrypt进行磁盘读写性能对比,实验结果显示iSCSI_SEC使磁盘读、写性能下降幅度小于TrueCrypt。结果表明,iSCSI_SEC不仅能够保证iSCSI磁盘数据的机密性,并且在iSCSI磁盘环境下比TrueCrypt有更好的性能表现。     

目标驱动的软件工程硕士培养模式探索

工程硕士教育更多地关注学生的工程实践能力,其培养过程有一定的目的性。文章结合软件工程硕士培养的特点,提出一种目标驱动的培养模式,结合北京航空航天大学软件学院软件工程与管理专业的实际情况,阐述该培养模式的设计、实施和改进过程。     

基于DSPN的TTE总线建模与性能分析

时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中。TTE的建模和分析方法对其在航空航天方面的发展有重要意义。基于TTE消息传输机制的工作原理,提出一套确定与随机Petri网(Deterministic and Stochastic Petri Nets,DSPN)的TTE总线建模和相关性能分析方法,并以一种典型的火力控制系统为实例进行建模与性能分析,以进一步说明该方法的有效性和可行性。     

能力导向的软件测试课程研究

针对软件测试课程具有实践性强、职业要求和课程内容不易融合等特点,提出能力导向的软件测试课程研究,以培养学生实践能力、提高学生的专业素质为目的,总结研究内容,介绍教学模式的实施过程并说明实施效果。     

本科生软件工程实践课程探索

软件工程实践作为软件工程专业本科生企业实习前的综合实践课程在培养体系中占有重要地位,其教学过程不但使学生在编码、文档撰写和团队协作等方面得到了综合训练,而且也为大四学生进入企业实习提供了很好的岗前培训。为在校内营造更贴近实际的软件开发氛围,需要从实践内容、组织方式、实施过程、教师作用以及考核标准等方面进行精心设计。本文论述了北航软件学院本科生软件工程实践课程的建设思路,介绍了实施情况,并对实施中的优缺点进行了总结。     

基于随机时间Petri网的安全性分析方法

在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。