构件中非法除故障的容错性检测方法研究*

提出了通过向构件中关键位置注入故障的方式来判定构件的容错性能。实践表明,该方法将有效地检测构件的容错能力。     

计算机专业师范生的“操作系统”课程教学

本文针对计算机专业师范生的特点,在研究了我国中小学信息技术课程标准并作了相关调研的前提下,设计了师范生的"操作系统"课程,修改了原来课程的内容、课时,并对课程的授课、实验和考核方式做出了调整,使学生所学内容能满足社会需要。课程上过后,学生反应良好,达到了课程效果,并能促进学生的个性发展,培养学生的自学和创新能力。     

“操作系统原理”精品课程建设中的若干问题探讨

本文结合"操作系统"精品课程的建设经验,从"操作系统原理"教学中遇到的问题,以及"操作系统"精品课程建设中遇到的问题出发进行研究,从理论教学手段、实验设计、教学项目申报、教学大纲的重组与整合、教学平台的建设、学生能力培养和师资培养等方面探索问题的处理方法。实践表明,这些处理方法有效地扩展学生的基础理论知识,增强其分析问题和动手编程能力。     

基于VHDL IEEE—1076标准的行为（算法）级子集的提取

本文主要从行为级的有度出发，本着易开发性，简明性等目的从ＶＨＤＬ全集中抽取出一个子集，为研究与开发ＶＨＤＬ高怪次分析和综合工具提供一个良好的基础。     

基于c/s体系结构的钢铁生产企业管理信息系统

设计并实现了以C／S结构为基础的黄石鑫宝有限公司管理信息系统，详细介绍了设计思想、系统功能模块划分和设计方法。     

基于程序静态分析和故障树的软件故障检测

为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。     

软件连接器规范化描述研究

在分析Mehta的软件连接器分类框架的基础上,提出了一种软件连接器的规范描述方法,以期通过规范软件连接器表示,进一步实现软件连接器的标准化、构件化。     

软件连接件风格的研究*

讨论了软件连接件风格的基本框架,并讨论了过程调用、事件连接件、数据访问连接件、直接连接、流、表决器、适配器、分布器的风格。     

用遗传算法画无向图

本文提出了一个新的画一般无向图的遗传算法.以前的无向图画图算法将顶点数较多且无弦的圈画成了凹多边形,为了克服这一缺点,本文的遗传算法设计了全新的变异算子--单点邻域变异,并在适应度函数中增加用于产生对称画法的分量,可将这种图画成凸多边形.新算法的优点是方法简单,易于实现,画出的图形美观,其灵活之处在于准则的权重可以改变.实验结果表明,在相同条件下,本文算法画出的图形要比标准遗传算法画出的图形美观.     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战，传统的测试技术不能直接用于面向对象的软件测试中，必须对其进行扩充和完善，类级测试是面向对象测试过程中的一个重要阶段，而类状态的测试是类级测试的核心，作者将扩充后的黑盒测试技术应用到类状态的测试过程中，可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化。最后，通过一个实例说明对类级状态的测试及其测试用例的生成。