摘要：对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。

摘要：随着物联网、智能电网、智能移动设备的发展,我们将能在任何时候任何地方获取我们所需的信息,本文设计一款基于ARM-Linux嵌入式系统的多进程并发服务器。它拥有传统服务器的功能,可远程访问和操作,同时又具有体积小、噪声低、低功耗、低成本的优势,非常适合用于智能楼宇的家用服务器。

摘要：随着应用系统规模增大,功能复杂性增强,对于用于保证软件质量的现有软件测试技术显得越来越力不从心。特别是近几年兴起的基于模型驱动架构的分布式并发系统对软件测试提出了更高的要求。模型驱动测试从系统层面上分析测试系统,根据系统需求说明书和测试任务,设计系统测试模型,生成测试代码,执行测试过程,大大提高了软件测试的效率。本论文基于模型驱动架构设计一个功能简单的货币交换Service,阐述模型驱动测试软件测试过程。

摘要：针对机械精度设计与检测课程的性质和特点,分析了本课程传统教学中存在的不足,引入案例分析法,将工程实际项目成果转化为精度设计案例,从工程项目案例选择、案例分析讨论等方面探讨了基于工程项目的案例教学法在机械精度设计与检测教学中的应用,提高学生综合工程实践能力,培养满足装备制造业实际需要的应用型技术人才。

摘要：随着近年来高新技术的迅速发展,对医学图像处理的需求日益增加,突显出医学图像处理在医务系统中的重要性。为了改善医学类院校的实验教学,提高实验教学质量,将基于对象方法设计的可视化工具VTK应用到医学图像处理的实验教学中,使学生能够直观地学习医学图像处理的基本原理及方法,全程地接受关于医学图像处理方面软件的软件过程培训。