Refinement and Transformation from Z Specification to C + +

As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software. With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.     

Application of Dynamic Slicing in Test Data Generation

The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper introduces the concept of statement domination to represent the multiple nests, and presents a dynamic program slice algorithm based on forward analysis to generate dynamic slices. In the approach, more attention is given to the statement itself or its domination node, so computing program slices is more easy and accurate, especially for those programs with multiple nests. In addition, a case study is discussed to illustrate our algorithm. Experimental results show that the slicing technique can be used in software test data generation to enhance the effectiveness.     

Web Services-Based Test Report Generation

Tests involving a large number of test cases and test scenarios are always time- and effortintensive, and use ad hoc approaches. Test management is needed to control the complexity and the quality of the testing of large software systems. The reporting mechanism is critical for monitoring the testing progress, analyzing test results, and evaluating the test effectiveness for a disciplined testing processthroughout the testing lifecycle. This paper presents an XML-based report generation method for large system testing. The service-oriented architecture enables flexible test report generation, presentation, and exchange to facilitate collaboration in a distributed environment. The results show that proper reporting can effectively improve the visibility of the testing process and that this web-based approach is critical to enhance communication among multiple testing groups.     

A New Method for Measurement and Reduction of Software Complexity

This paper develops an improved structural software complexity metrics named information flow complexity which is closely related to the reliability of software. Together with the three software complexity metrics, the total software complexity is measured and some rules to reduce the complexity are presented in the paper. To illustrate and explain the process of measurement and reduction of software complexity, several examples and experiments are given. It is proposed that software complexity metrics can be measured earlier in software development and can provide substantial information of software systems whose reliabil- ity can be modeled and used in the determination of initial parameter estimation.     

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.     

A Survey of Language-Based Approaches to Cyber-Physical and Embedded System Development

As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with the physical and cyber world. Medical devices, electronic braking systems in automotive applications, and industrial control systems are examples of the many Cyber-Physical Systems(CPS) that utilize these computing capabilities. Given the potential consequences of software related failures in such systems, a high degree of safety, security, and reliability is often required. Programming languages are important tools used by programmers to develop CPS. They provide a programmer with the ability to transform designs into machine code. Of equal importance is their ability to detect and avoid programming mistakes. The development of CPS has predominantly been accomplished using the C programming language. Although C is a powerful language, it lacks features present in other languages that facilitate the development of reliable systems. This has prompted research into language-based alternatives for improving program quality through the use of programming languages. This paper presents an overview of the characteristics of embedded and cyber-physical systems and the associated requirements imposed on programming languages. This is followed by a survey of relevant research into languagebased methods for creating safe, reliable, and robust software for CPS.     

Worst-Input Mutation Approach to Web Services Vulnerability Testing Based on SOAP Messages

The growing popularity and application of Web services have led to increased attention regarding the vulnerability of software based on these services. Vulnerability testing examines the trustworthiness and reduces the security risks of software systems. This paper proposes a worst-input mutation approach for testing Web service vulnerability based on Simple Object Access Protocol （SOAP） messages. Based on characteristics of SOAP messages, the proposed approach uses the farthest neighbor concept to guide generation of the test suite. The corresponding automatic test case generation algorithm, namely, the Test Case generation based on the Farthest Neighbor （TCFN）, is also presented. The method involves partitioning the input domain into sub-domains according to the number and type of SOAP message parameters in the TCFN, selecting the candidate test case whose distance is the farthest from all executed test cases, and applying it to test the Web service. We also implement and describe a prototype Web service vulnerability testing tool. The tool was applied to the testing of Web services on the Internet. The experimental results show that the proposed approach can find more vulnerability faults than other related approaches.     

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

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.     

FMS集成开发环境的研究

为了适应快速和高效建造FMS以及重构FMS的需要，本文介绍的FMS集成开发环境由三个部分组成，即FMS布局自动生成系统，运控软件自动生成系统和测试仿真系统．使用该集成开发环境能进行FMS布局设计，能生成运控软件，并能对生成的布局，运控软件进行测试和仿真．     

基于形式化的功能代码自动生成

针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。     

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

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

.Net软件架构和设计模式在自动组卷系统的应用

为了在.Net平台上实现适应多种数据库和易于后期维护和升级的自动组卷系统,采用了多层软件架构及数据访问层的设计模式,并且应用C#语言实现了系统开发。通过引入三层构架和抽象工厂设计模式,系统能够便捷地切换多种数据库访问,增强了代码的重用性,有效地提高自动组卷系统的开发效率,并且便于后期软件升级。     

嵌入式CPU软硬件协同开发中的操作系统设计

为了满足高性能嵌入式CPU软硬件协同开发的需要,提出一个嵌入式Linux操作系统设计方案,在真正的硬件完成之前利用虚拟原型系统进行软硬件集成测试。该方案基于开放源代码软件,采用精简配置的Linux Kernel,以u-Clibc和Busybox为主构成根文件系统,特别选择加入必要的基准测试程序。该系统成功应用于清华大学THUMP系列CPU开发,保证了验证的完备性,提高了验证效率,为CPU的性能优化提供了有力的支持。实验结果表明:该方案满足了验证目的和虚拟环境对操作系统设计提出的严格要求,同时为目标CPU未来运行系统提供了基础。     

盘形凸轮廓线的计算机辅助设计研究

进行了盘形凸轮廓线的计算机辅助设计研究与相应的软件开发。利用Visual Basic可视化编程语言建立了直动与摆动从动件盘形凸轮轮廓设计的参数输入界面,实现了其轮廓曲线的自动生成与分析计算。最后,对设计结果进行了显示。     

带式输送机动力学分析理论与仿真

为有效控制带式输送机运行的稳定性，系统分析了带式输送机动态分析的自动建模理论。该理论分析包括运行线路的形态函数、质点划分、参数计算、系统状态方程生成及其求解等。在此基础上开发了带式输送机动力学分析的自动建模软件，实现了动态参数的二维、三维图形显示，增加了可视化程度，缩短了计算时间。工程实例验证了自动建模软件的有效性，得出的动态参数值也是准确的，适合工程实际的应用。     

面向飞机柔性装配的航空制孔实验平台

自动钻铆技术是新一代飞机数字化柔性装配研制的关键技术之一。随着我国ARJ21和C919大飞机的研制,将钻铆技术和智能机器人控制相结合,解决低成本、柔性且满足高质量制孔要求的柔性轨道航空制孔问题的需求越来越迫切。为了使学生能够了解飞机自动钻铆与机器人机构和控制的原理及基本设计方法,设计并实现了基于柔性轨道的航空制孔实验平台。本文主要介绍了实验平台的硬件环境、软件控制框架、机器人控制的设计流程和实验测试方法。该实验平台在实验教学中取得了良好的效果,通过提出自动钻铆与机器人智能控制的实验契合点,在一定程度上提升了飞机装配中的自动制孔的教学水平,有助于培养具有良好自动制孔机器人开发能力的复合型人才。     

一种基于数据库的进程演化机制

在软件开发中 ,以进程为中心的环境已经成为新一代的软件开发环境 ,它的目标是对整个软件开发周期提供自动化的支持。实际的软件开发任务是一个不断变化的动态进程 ,它需要以进程为中心的环境来支持进程演化。本文提出了一种以增量方式为处理模式、以流行数据库为进程仓库的进程演化机制 ,它对软件开发有着重要的意义。     

自动门门区方案计算机辅助设计

根据自动门的发展现状及发展趋势,结合实际生产需求,通过工程力学分析,开发了计算机辅助设计自动门门区方案软件.它优化了设计过程,使用户在开放的数据库环境下进行设计, 提高了效率及工程图质量.