一种改进的基于动态链接库的代码插装技术

介绍了动态测试的关键技术-“代码插装”的原理，并在已经实现了的面向Visual Basic。语言的测试工具的基础上，提出了一种改进的基于动态链接库的代码插装技术．介绍了面向Visual Basic源程序的代码插装流程。     

回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

创建智能体系统的软件工程方法研究

研究作为数字世界中计算和应用软件系统构造单元的软件智能体构建与开发。提出由 (1)智能体理论模型 ;(2 )以之为概念框架的软件系统逻辑结构模型 ;(3)基于结构模型 ,采用统一建模语言UML实现的应用程序框架三部分组成的方法体系。这三个部分既具有内在机理联系又有过程时序约束 ,它们分别支持软件工程的分析、设计与实现各阶段。预期该方法体系的成功运用将有利于软件智能体系统开发的规范化和标准化 ,进而提高智能体系统开发效率并促进成果共享和软件重用     

基于黑箱的自动软件测试工具的质量保障方法

软件测试需要合适的自动测试工具的有效支持，此时保障测试工具质量的问题显得尤其重要，介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法，并详细讨论了软件故障注入方法，长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的。     

CASE技术及发展策略的研究

本文分析了CASE的现状和有待解决的问题，并对CASE技术的发展策略进行了研究，提出了我们的见解。     

一种西文图书管理系统的设计

本文描述的西文图书管理系统,可提供智能化接口,使人机接口更加完善。系统功能包括:添加新书、刪除旧书、借书、还书、书目查询和读者信息的模糊查询。系统提供了紧凑的数据结构,并根据软件工程的方法进行设计。     

软件工程课程教学探讨

1、引言随着产业的发展,软件的规模更加庞大,变得更复杂,软件工程日益显得重要。在教学中也面临越来越多的问题,软件工程是一门理论和实践要求都非常高的课程,课程的掌握程度影响学生的软件开发能力,在教学中要注重培养学生的软件开发能力。让学生具备扎实的理论知识和熟练软件开发设计技术,但在实际教学中,理论讲授太多,实践教学环节不足,教学内容抽象、难度大、学生难以理解,觉得课程枯燥乏味,教学效果不理想,因此需要对教学方式方法进行改革,     

基于社会需求的高职软件工程教育的分析与探索

如何培养社会需要的人才是高校教育需要探索的问题之一,本文根据目前高职院校计算机专业软件工程教学中存在的不足,对如何发展和改善软件工程教育进行了讨论。