国内软件测试现状分析及对策

现代社会是一个信息化社会,而高质量的软件构成了信息化的基础。我国加入WTO后．面对全球信息化浪潮．国内软件测试行业的弊病逐步显露出来。在引用51 Testing软件测试网的一些调查数据的基础上,指出了国内软件测试的一些现状,对现状进行了分析,并给出了相应的解决之道,最后对我国的软件测试行业进行了总结和展望。     

The Petri Net Kernel An infrastructure for building Petri net tools

The Petri Net Kernel is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool from implementing standard operations on Petri nets and a graphical user interface. In this paper, we discuss the motivation, the concepts, and the implementation of the Petri Net Kernel. Published online: 25 July 2001     

One year older, but not necessarily wiser: an evaluation of homepage accessibility problems over time

A large number of users with disabilities use assistive technology devices to browse the web. However, the use of assistive technologies can only be successful when the web sites are developed in such a way that they are compatible with such devices. Guidelines exist for creating accessible web sites. However, they are seldom followed, and current levels of web accessibility are low. Therefore, the question arises as to which is the major cause of inaccessibility, and how accessibility features of web sites evolve over time. A set of 50 web sites has been studied over time to determine if accessibility improves or declines. This research-in-progress paper presents a comparison of the results obtained in 2002 and 2003. Such a comparison leads to the conclusion that, in the time period of 1 year, the 50 web sites have actually become more inaccessible. Implications for developers, webmasters, and educators are also discussed in the paper.

Evolving Object-Oriented Designs with Refactorings

Refactorings are behavior-preserving program transformations that automate design evolution in object-oriented applications. Three kinds of design evolution are: schema transformations, design pattern microarchitectures, and the hot-spot-driven-approach. This research shows that all three are automatable with refactorings. A comprehensive list of refactorings for design evolution is provided and an analysis of supported schema transformations, design patterns, and hot-spot meta patterns is presented. Further, we evaluate whether refactoring technology can be transferred to the mainstream by restructuring non-trivial C++ applications. The applications that we examine were evolved manually by software engineers. We show that an equivalent evolution could be reproduced significantly faster and cheaper by applying a handful of general-purpose refactorings. In one application, over 14K lines of code were transformed automatically that otherwise would have been coded by hand. Our experiments identify benefits, limitations, and topics of further research related to the transfer of refactoring technology to a production environment.     

CC-Linux集成开发环境的设计与实现

根据嵌入式系统的开发特点,给出了嵌入式Linux的集成开发环境的设计与实现,并针对其中的ETK环境给出了关键技术的详细介绍。     

快速工程可视化应用软件开发研究

Windows使计算机的使用变得非常容易而有趣 ,但其应用程序的开发越来越复杂 ,为解决这一问题 ,特撰此文 ,详细论述了开发工程可视化应用程序的不同方法 ,此开发工具乃科研、工程人员的最佳选择。     

.NET验证机制在Web表单验证中的应用研究

随着信息技术快速发展信息产品日新月异,计算机应用在各行各业不断深入。随之产生庞大数据的有效性和安全性在网络应用系统中显得非常重要。为了使数据能够被合法访问并且不对数据产生破坏性,必须采取有效的防范措施。该文就是从用户角度去设计和理解用户的使用动机,选择有效的数据验证方式防止数据遭受毁灭性破坏。     

国外航空电子系统嵌入式在线监测技术

在分析国外航空电子系统嵌入式在线监测体系架构和五级监测解决方案的基础上,介绍了国外嵌入式在线监测技术、标准和开发验证工具的发展情况,提出了全机级嵌入式在线监测体系架构、嵌入式专用监控模块研制、嵌入式在线监测系统的仿真验证平台的构建和标准化建设等方面开展工作的建议,希望能够为未来我国航空电子系统嵌入式在线监测技术的发展起到一定的借鉴和指导作用。     

数字仿真技术在电力系统中的应用及常用的几种数字仿真工具

介绍了电力系统数字仿真技术的分类、特点及其在电力系统中的应用,并介绍了几种当前较为流行的数字仿真工具及其特点,最后对电力系统数字仿真技术的发展进行了展望。