混源软件质量模型与度量方法研究

由于混源软件包含自主代码、开源代码等不同来源代码,从而具有更高的多样性和复杂性,对其质量的度量评估与传统软件存在极大区别。为了度量混源软件质量,建立混源软件质量度量模型和方法是非常必要的。通过分析混源软件质量特性,提出混源软件质量模型。然后利用层次分析法、幂性法及线性法构建度量方法体系。最后对UbuntuKylin操作系统进行了实验性的度量评估,验证了模型与方法的可行性和有效性。     

VASR-CBMC：基于变量子图的多线程程序验证

Yogar-CBMC基于事件顺序图实现了反例抽象精化思想,是当前最有效的多线程程序验证工具之一。针对事件顺序图过于复杂,导致判断反例可行性及求解精化约束耗时过长的问题,提出变量子图概念及基于变量子图的抽象精化方法,将全局事件顺序图分解为连通等价的变量子图集,基于变量子图执行反例验证与精化求解,从而有效缩小图的规模,提升验证效率。将该方法实现为VSAR-CBMC,实验证明相较于Yogar-CBMC验证时间平均缩短43%。     

基于三阶段棋类游戏开发的程序设计实践课程改革

针对计算机程序设计实践类课程的实践选题难以满足教学实际需求,分析了这类课程的具体需求和存在的问题,提出了基于三阶段棋类游戏开发实验的实践选题,并在课程组织和成绩评价等方面采取了多项改革措施,取得了良好的教学效果。     

关键问题驱动的软件工程人才实践创新能力培养

针对软件工程教学与重大工程实践联系不紧密、培养的人才缺乏解决软件开发中重难点关键问题能力的现状,提出并实践了关键问题驱动的实践创新能力培养模式,阐述了软件工程教学中对重大工程关键问题的抽象与提炼、各种关键问题与知识领域和实践活动的多维融合、问题驱动的创新思维能力培养等具体环节和方法,形成相对系统的培养过程和体系。