用Internet软件工程方法开发通用信息发布平台

以Internet网站开发过程的方法为研究对象，用软件工程的方法来讨论网站开发中界面设计、前台／后台软件设计、数据库设计中的特点，并通过通用信息发布平台的开发来说明以数据库为中心的开发模式．该模式为软件系统的建设、维护和使用提供了质量保证．     

道路建筑材料自动测试系统的研究

结合万能试验机设备改造工程，介绍了用工控机和智能仪表实现道路建筑材料自动测试系统的总体构成，硬件配置特点与主要功能，以及软件设计等。     

通用报表生成与打印软件工具的研究与实现

本文介绍一个通用的数据库报表生成与打印软件。该软件自动对的给定的报表进行结构分析，自动生成与打印满足用户要求的报表。文中对该软件的功能和设计原理作了较为详尽地论述。     

Intel96系列单片机开发功能的软件实现方法

介绍了用最小单片机硬件系统同ＰＣ机进行串行通信来实现单片机开发功能（如断点、单步等）的方法。     

基于数据流的电气试验动态软件的研究与实现

介绍了利用结构化分析方法，在数据库开发系统ＦｏｘＰｒｏ３．０下，基于数据流的电气试验动态软件的研究、设计与实现。将程序模块纳入数据流，从而实现对测试数据的操作与定向，使软件编制更加灵活。作为电气试验系统，本软件具有良好的人机界面和完善的服务功能。     

混合动力电动汽车性能仿真软件的研究

依据软件工程的思想并结合电动汽车仿真的特点,利用MATLAB／Simulink和C 语言,建立了电动汽车各零部件的动态模型,完成了具有自主知识产权的电动汽车仿真软件的开发,并试用于混合动力电动轿车的仿真分析,仿真结果与PSAT相比较,证明了仿真软件的可靠性．     

道路平面交叉立面设计与软件实现

近年来存在的交通混乱、交通阻塞、道路交通事故频发等交通问题,很多是由于交叉路口交通干扰严重及交叉路口通行能力极度下降所造成的。因此,如何充分发挥道路系统的交通功能,提高道路交通效率,减少交通事故的发生是值得关注和解决的问题。通过对平面交叉口立面设计的分析,最终在计算机上实现了三维建模。这可以在可视化的环境下对平面交叉立面进行交互设计,大大提高了设计效率,也为合理化设计打下了坚实的基础。     

测控系统数字信号处理软件包的设计与实现

目前测控系统中的信号处理算法大多数采用MATLAB,LabVIEW等第三方软件实现,普遍存在占用磁盘空间大、可移植性差、价格高等缺陷。针对以上问题,采用面向对象的方法,设计了一种基于C++的测控系统信号处理软件包,它既可以产生虚拟信号对系统软件进行测试,还可以对系统采集的数据进行频谱分析、数字滤波、参数计算等处理。该软件包以API方式向测控软件提供接口和测试样例,便于软件开发。初步应用表明,此软件包可缩短测控软件开发周期,保证测控软件具有良好的扩展性和可移植性,便于日后的升级和跨平台使用。     

基于教务系统的自动化软件测试研究

软件测试已成为软件质量保障的重要手段,自动化测试工具的出现也使得人工测试不可能完成的任务成为可能。如何根据测试理论设计测试用例,利用自动化测试工具完成系统的测试并发现其中存在的问题是本文的主要研究目的。     

Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

计算机联锁软件测试方法研究

描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.     

基于蒙特卡罗的软件可靠性测试技术研究

为了缩短软件测试周期,提出了运用蒙特卡罗(Monte-Carlo)方法进行软件可靠性测试的基本技术,通过实例介绍了这一技术在软件测试中的应用过程.这一技术较好地解决了2个问题:测试用例的优化;使用新的评判准则分析测试结果.     

铣削力试验数据处理软件的设计与实现

运用 Visual C++6.0编程工具 ,采用正交回归方法开发了铣削力试验数据处理软件。该软件已与笔者前期开发的计算机辅助切削力测试系统实现对接 ,并已应用于铸态铝合金材料 ZL1 0 6与 DFL -1的铣削力对比试验 ,实现了实时测试数据处理和直接输出试验报告     

软件测试中基路径获取方法的研究

软件测试是软件质量保证的重要手段,基路径测试是结构测试的一种重要方法.主要分析生成线性独立路径集合时,前后判定节点使用变量存在数据依赖关系的情况.借鉴程序切片技术中的转化理论,对数据控制依赖的判定节点在控制流图中进行修改;对一般的基路径获取步骤进行改进,可避免选择的路径不可达,提高基路径获取速率.实例表明它是有效的.     

软件测试分析

现在人们已经逐渐认识到所谓的软件危机实际上仅是一种状况，那就是软件中有错误，正是这些错误导致了软件开发在成本、进度和质量上的失控。有错误是软件的属性，而且是无法改变的，因为软件是由人来完成的，所有由人做的工作都不会是完美无缺的。问题在于如何去避免错误的产生和消除已经产生的错误，使程序中的错误密度达到尽可能低的程度。     

网格平台负载测试的研究和搭建

网格负载测试是对网格系统进行测试,从而确定系统容量并检查系统是否可以在峰值运行的过程。分析了网格环境下的负载测试方法,利用Java语言实现了简单的负载测试平台,并对实验数据进行了分析,找出可以改善网格系统的性能点,以期对网格系统性能的改善和网格负载的测试方法有一个更清晰认识。