软件工程与软件开发方法

介绍了软件工程的基本原理,并从分析国外软件开发方法出发,探讨如何利用软件工程的思维与方法进行软件开发。     

软件工程教育中的能力成熟度模型

Good software engineering education plays a vital role to improve the software development ability.In China,many software engineering education institutions have been established in recent years.Current research on the software engineering education is mostly focused on the certain concrete courses and body of knowledge,which lacks the view as an integrated education process.How to evaluate the institutions' education capability and how to help them to improve their capability is a critical issue.This paper describes a model for measuring the maturity of software engineering education processes,which leverages the CMM(Capability Maturity Model)of software process.We call this model SEEDU-CMM(Capability Maturity Model for Software Engineering Education).SEEDU-CMM is used to evaluate the capability of the software engineering education institutions,as well as to provide guide for them to improve their education quality.     

Advanced ECU Software Development Method for Fuel Cell Systems

The electronic control unit （ECU） in electrical powered hybrid and fuel cell vehicles is exceedingly complex. Rapid prototyping control is used to reduce development time and eliminate errors during software development. This paper describes a high-efficiency development method and a flexible tool chain suitable for various applications in automotive engineering. The control algorithm can be deployed directly from a Matlab/Simulink/Stateflow environment into the ECU hardware together with an OSEK real-time operating system （RTOS）. The system has been successfully used to develop a 20-kW fuel cell system ECU based on a Motorola PowerPC 555 （MPC555） microcontroller. The total software development time is greatly reduced and the code quality and reliability are greatly enhanced.     

软件开发方法探讨

软件开发方法自20世纪70年代提出后，前后经历两个大的发展阶段：结构化软件开发方法与面向对象的软件开发方法，后者比前者的需求分析更接近问题域，而且可维护性、可重用性等软件质量指标都有了实质性的突破，然而面向对象的软件开发方法的可重用度还不够，借鉴硬件的发展，软件能否也朝着组装模式发展呢?这就是基于构件的软件开发方法的初衷．     

Testing agile requirements models

This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as possible, even in the requirements definition phase.     

基于组件的软件系统的接口测试

软件测试在整个软件开发过程中占有非常重要的地位，现代软件系统越来越复杂，基于组件的软件工程方法为开发者提供了一个设计软件的方法。利用有限状态自动机可以描述组件各状态及状态间转换，程序执行状态图（PESC）及各种覆盖准则可用来描述程序执行状态及其变化，对于展开的状态图，由它来产生一棵测试树，该树包含了所有的测试路径。     

基于反馈的可信网络软件验证与测试集成框架研究

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.     

基于模板的代码生成器的研究与实现

代码自动生成平台的建立,是要改变传统的软件开发模式,帮助软件开发人员实现Web应用的快速开发。本文主要涉及其中代码生成系统部分的研究与实现。在项目开发过程中引入代码自动生成技术,会帮助开发人员从繁琐的编码细节中解脱出来,有利于提高系统的健壮性、可扩展性和可维护性,从而确保软件的质量。     

基于ARMulator的嵌入式uClinux软件开发环境

ARMulator是一个基于ARM的仿真原型，通过它可以仿真支持嵌入式软件开发．本文介绍基于ARMulator建立嵌入式uClinux软件开发环境以及开发uClinux应用程序的步骤和方法．利用ARMulator，开发人员可以在没有硬件或硬件未完成的情况下进行嵌入式软件开发，减少开发错误并缩短开发周期．     

基于分离时序电路的逻辑设计关键技术研究

结合工程实际应用,对分离时序电路中的软件逻辑设计进行研究。分析了关键时间参数的存储原理及流程,并针对电路中输入信号出现的抖动干扰,提出了两种能够实现可靠消抖的软件消抖算法。通过对不同输入信号干扰的产生原理、抖动时间、最适消抖时长的研究计算,以及对不同消抖算法的特点和硬件资源占用量的分析,选择合适的消抖算法。经波形仿真和试验结果证明,关键时间参数存储准确无误,两种算法消抖完整、可靠,满足了工程实际需求,该逻辑设计已应用到实际环境中。     

XP—适合中小型软件系统的敏捷方法

软件工程旨在解决早期大型软件开发、管理问题,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束,面对大量中小型系统开发时,不能适应实际开发过程的需要。根据10多年软件开发经验,结合SDBC-MIS项目实践过程,研究了新型软件开发方法XP(eXtreme Programming)的特点、软件过程、实践指导规则和适用范围。系统比较了TSE和XP方法上的主要差异。对比研究结果表明,XP模型比TSE模型更适合于中小型软件系统的开发。     

内.外秦淮河的水质污染及其防治

本文在前人工作的基础上,对内,外秦淮河的水质污染现状、未来发展趋势,以及治理污染和保护环境的对策作了初步研究。     

软件开发过程中质量控制的问题及方法

分析软件开发过程中,管理层方面和技术层方面存在的质量控制问题。认为软件开发过程中存在软件工程标准化重视不够、软件企业对软件产品评测意识不强、需求内容项目估算过少、项目组织过小、开发计划不充分、设计能力不足、项目经理的管理能力不足、项目测试与项目开发人员为同一班人马等问题。提出通过采用软件工程方法、ISO 9000-3标准和CMM认证等办法来提高软件产品的质量。     

基于构件的软件复用技术研究

软件复用是软件工程学科的一个研究热点,也是解决软件危机的有效途径之一。基于构件的软件复用技术变得越来越重要,网络环境下的软件复用可以通过面向Agent方法实现,由Agent自主搜索、匹配所需要的构件。     

基于CI的Web自动化测试平台设计

 Web 相关软件的开发更新快速、变化频繁、周期短, 用户需求也变化多样, 对软件测试的快速响应和质量提出了较高要求。为提高软件测试效率及准确率, 设计了一套针对Web 软件的自动化测试平台。该设计根据软件分层思想, 基于持续集成平台Jenkins 设计搭建, 集成了Ant、TestNG、Selenium 2.0、Sonar 等主流自动化产品, 实现了软件系统的持续构建、持续测试、持续代码质量监控等的全流程测试自动化。该测试架构可将传统Web 测试效率提高50%、准确率提高30%, 同时严格控制了软件产品质量, 降低了项目风险。     

IAM模型在软件架构中的应用研究

软件体系结构作为系统开发的蓝图,已成为一个结合项目所有阶段的概念纽带,体系结构的建立是软件开发的关键所在。由于需求和体系结构之间模糊的关联关系,如何利用获取的需求进行软件架构的构建,是开发者面临的一个主要难题。文章基于CBSP方法建立的IAM模型成功地应用于淮北煤炭安全管理系统的开发中,该IAM模型在需求和软件体系结构之间架起了一个有效的桥梁。     

A New Software Reliability Framework——An Extended Cleanroom Model

Cleanroom software engineering has been proven effective in improving software development quality while at the same time increasing reliability. To adapt to large software system development, the paper presents an extended the Cleanroom model, which integrates object-oriented method based on stimulus history, reversed engineering idea, automatic testing and reliability assessment into software development. The paper discusses the architecture and realizing technology of ECM.     

企业信息化工程模型及其集成化支撑环境

分析企业信息化工程建设过程以及企业信息化需求、企业过程建模、应用系统构造与工程项目管理的内在联系,提出由需求工程、过程工程、应用系统工程和支持工程组成的4元立体企业信息化工程模型,将企业业务过程和应用系统的开发应用有机地集成在同一开发空间和运行空间.在此基础上,初步完成了企业信息化工程建设的支撑环境原型系统的设计,它包括4大构件系统:需求工程环境、企业过程环境、应用系统工程环境、支持工程环境.它的完善与推广应用将有利于我国企业信息化工程建设.     

应用SPOM方法辅助获取与分析面向服务需求

In order to design and provide good services,it is necessary for students to describe and understand the customer requirements for services rapidly,to design and plan the services and their behavior,and to schedule service processes effectively.This paper proposes a new service-oriented requirement elicitation and analysis method based on answer set semantic,sketches requirement Meta-model and correlative proofs and algorithms,which can help students represent requirement more declarative and precise.Based on the Meta-model,Subject-Predicate-Object requirement method and specification is presented,by which students can constitute a smooth,small-step,incremental and iterative development process cut in by forms.By applying this method to teach and help students develop service-oriented application,it is clear that it can help students eliminate the miscommunication between developers and users,assure the correctness of the artifacts and make the users active in development cycle.     

软件工程支撑环境EPOS的应用研究

本篇论文是应用计算机辅助软件工程环境EPOS(Engineering and Project management Oriented de-velopment Surport System)来实现Ada词法分析器的研究工作总结,介绍了EPOS系统的目标、构成和应用实例,用EPOS实现Ada词法分析器为依据,对EPOS进行综合性能的评价。提出了研究计算机辅助软件工程环境的新思路,可供软件工程、人工智能、信息管理和办公室自动化领域的科技工作者参考。