一种应用于无线通讯终端中GUI模型的设计与实现

在进行嵌入式系统的软件设计过程中,应用层GUI的设计是一个非常重要的部分.由于实时操作系统的引入,用户界面的设计就从传统的顺序执行变成了以消息驱动方式进行用户界面响应.采用了OOP的思想,构建了一种适用于无线通讯终端系统(包括GSM通讯终端,PHS通讯终端,CDMA通讯终端)软件设计中通用的GUI模型,并给出了在C语言开发工具下的实现,以一个待机状态下主菜单界面讲述了模型中状态迁移的具体实现过程.该GUI模型具有结构简单,实现方便,便于扩展等特点,目前已用于笔者开发的PHS移动终端的系统软件中,实践证明该模型使用效果良好.     

A theoretical framework for an intelligent design catalogue

Product catalogues constitute a valuable source of information for engineers engaged in design activities. Unfortunately, these catalogues provide only limited support to engineers in the earlier, conceptual stages of design. This research proposes the intelligent design catalogue consisting of a virtual design environment linked to catalogues of standard components. Engineers develop their design concepts within the virtual environment and refer to the catalogues as these concepts are refined. The selected components are assembled within the design environment. The intelligent design catalogue provides search aids as well as assessment tools. The theoretical framework draws on several engineering areas. Manufacturing demonstrates how process plans can be developed in a virtual environment independently of the machines on the shop floor just as products can be conceptually designed independently of the standard components available. The standard components themselves can be grouped borrowing from classification schemes of group technology. Object-oriented programming (OOP) provides an environment for the development of the software that runs the intelligent design catalogue. As the objects of OOP parallel standard components, OOP also serves as a design paradigm after which the catalogue can be modelled. Design theory suggests frameworks for developing a (semi-) hierarchical structure for cataloguing parts.     

UML辅助化工过程模拟软件设计

面向对象技术是目前获得广泛应用的软件设计方法，在化工过程模拟领域也有大量应用。UML(United Model Language，统一建模语言)采用图形方式和基于静态样式的软件设计方式进行软件开发，可有效地解决化工模拟软件开发过程中软件开发人员与化工专业人员交流困难的问题，并可提高软件的复用程度和开发效率，是一种有效的面向对象的辅助设计工具。文中利用UML建立了化工过程单元和化工过程系统的对象模型。实践分析表明，利用UML辅助化工过程模拟软件设计可有效降低软件分析设计的难度，提高软件设计的质量和速度。     

An object-oriented approach for mechanical components design and visualization

In this paper, development of shape modeling tools for engineering design, analysis, simulation, and visualization is presented. The approach based on the idea of function-based shape modeling is combined with the power and versatility of the object-oriented programming (OOP). An OOP code, initially developed as a teaching and learning tool for educational use in an undergraduate Modeling and Simulation course, to generate mechanism components is presented. Different parametric, explicit, and implicit functions or their combination are used to generate mechanical components shapes. Using a blending process, sophisticated shapes have been generated on the graphical interface. However, the ideas and concept of the OOP mechanical components design presented in this paper can be applied to other application areas.     

一种专用数控系统中的软件实现技术

为了设计实现全自动专用数控系统中的软件,对该种类型软件的设计方法进行了研究。该系统是一个分布式的全自动专用数控系统,在汽车锁生产中实现大规模钥匙加工,采用工业PC为主控系统,利用PLC控制机械手系统、检测开关信号、通过DIO接口与主控PC进行通讯。采用面向对象及其软件构件方法,研制了系统控制软件、产品数据管理软件。研制专用数控系统大大提高了专业生产企业的自动化水平,软件构件也可在其他同类系统中应用。     

Controlling Testing Using Three-Tier Model Architecture

In this paper, based on our earlier work, we introduce test model architecture for model-based testing through a GUI. The model architecture consists of three tiers. The tiers separate important concerns in GUI testing: navigation in the GUI using keywords, high-level concepts expressed as action words, and test-control related issues defined as control words. For test control, we define a novel coverage language to express coverage objectives. Furthermore, we introduce our refined vision for the associated tool platform enabling system level testing in the Symbian environment. The architecture includes a commercial GUI testing tool that we have extended with components enabling the use of test models.     

Compromise: An effective approach for the design of damage tolerant structural systems

In this paper, a general multiple objective formulation of the Compromise Decision Support Problem is applied to the design of damage tolerant structural systems. Damage tolerant design of structural systems is discussed in general and a design methodology is developed. A structure designed with damage tolerant considerations will have the capability to resist several levels of failure. To support the design methodology, a mathematical template for the design of a damage tolerant structural system is detailed. The basis for the template is the compromise decision support problem. Finally, the effectiveness of the formulation is demonstrated through the solution of a 13-bar truss. The results of the solutions are examined and insights are noted and discussed. The emphasis, however, is on the method and its capabilities and not on the utility of the final 13-bar truss design.     

基于Linux的嵌入式GUI系统设计分析

随着技术的发展,嵌入式系统要求使用图形化界面便于用户的操作。本文从系统体系结构出发,讨论了GUI设计中涉及的几个重要方面,包括消息循环、多窗口管理、控件／控件类和输入／输出抽象层的基本概念和设计要点。     

Oracle PL/SQL面向对象特性的Web应用

随着计算机软件技术的不断发展,面向对象的程序设计思想正在逐步取代原有的面向过程的程序设计思想;面向对象程序设计可以大大降低建立复杂应用的开销时间,所以已经被应用开发人员广泛接受并付诸实践。在PL/SQL中,面向对象程序设计目前是基于对象类型来完成的。本文主要探究PL/SQL对象类型在web上的应用;提出了应用模型,并以实例加以说明。     

最优控制系统设计与仿真交互式界面软件—PIMCSD

在现有精细积分(最优)控制系统设计工具箱PIMCSD (Precise Integration Method-Control System Design)的基础上,采用MATLAB的GUI技术开发了交互式界面软件PIMCSD,其主要功能包含有限长时间线性二次最优控制系统和H∞鲁棒控制系统的设计与仿真.以一个具体的线性二次硬终端约束控制器的设计与仿真为例,介绍了PIMCSD软件的具体操作使用步骤,也演示了交互式界面软件PIMCSD使用方便、简单易学的特点.     

Landslide hazard and bioengineering: towards providing improved decision support through integrated numerical model development

The combined hydrology and stability model (CHASM) is a state-of-the-art software tool that aids the assessment of slope stability. The hydrological component of the model solves the Richard’s equation for saturated and unsaturated groundwater flow to derive the pressure head field as it changes through time. The generated hydrological conditions are used as input to limit equilibrium stability computations to derive factors of safety (FOS). The software can be applied to both site-specific problems as well as wide-area assessment to investigate the impacts of dynamic hydrology, with or without vegetation interactions, on slope stability. The program code, originally developed in a UNIX environment using Fortran ’77, has been implemented in the Microsoft Windows environment using C++ with the addition of a graphical user-interface (GUI) to enable more seamless and user-friendly operation. The GUI allows the user to initialise the slope geometry, define the hydrological, vegetation and geotechnical variables and, impose boundary conditions and initial conditions.     

A novel approach for component-based fault-tolerant software development

With the recent advancements in component-based software engineering, there is an increasing trend in developing applications for highly reliable and critical systems using pre-validated and reusable software components. As these applications are inherently complex and component-interactions are not straightforward, there is an immediate need for a methodology that could aid in composition of these reusable components ensuring the correctness of the composed software system. In this paper, we illustrate how the concepts of category theory can be utilized to develop component-based fault-tolerant software systems that encompass software components capable of tolerating particular types of faults. Our proposed framework for the development of a composite fault-tolerant program and verification of its overall correctness has been realized through a mechanized formal tool.     

Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects

Aspect-oriented programming (AOP) provides mechanisms for the separation of crosscutting concerns - functionalities scattered through the system and tangled with the base code. Existing systems are a natural testbed for the AOP approach since they often contain several crosscutting concerns which could not be modularized using traditional programming constructs. This paper presents an automated approach to the problem of migrating systems developed according to the object-oriented programming (OOP) paradigm into aspect-oriented programming (AOP). A simple set of six refactorings has been defined to transform OOP to AOP and has been implemented in the AOP-migrator tool, an Eclipse plug-in. A set of enabling transformations from OOP to OOP complement the initial set of refactorings. The paper presents the results of four case studies, which use the approach to migrate selected crosscutting concerns from medium-sized Java programs (in the range of 10K to 40K lines of code) into equivalent programs in AspectJ. The case study results show the feasibility of the migration and indicate the importance of the enabling transformations as a preprocessing step     

基于AADL语言的移动软件能耗评估方法

移动软件往往部署在电量受限的处理器上,能耗已成为评价这类软件的一个重要质量属性.与代码级和指令级相比,在设计级进行能耗评估具有耗时短、成本低的优点,近年来已成为软件工程学术界和工业界的研究热点.目前虽已涌现出一些设计级能耗评估方法,但这些方法大多未对软件构件的内部行为元素进行能耗评估,导致了精度问题.针对上述问题,基于体系结构分析设计语言AADL和StrongARM处理器构建了一种移动软件能耗评估模型,进一步定义了面向AADL语言的移动软件能耗评估过程,在此基础上研发了一款能耗评估工具,进而提出一种基于AADL语言的移动软件能耗评估方法.实验结果表明该方法较已有AADL能耗评估方法在精度上有所提高.     

Empirical analysis of GUI programming concerns

The focus of this paper is on identification of typical graphical user interface (GUI) programming concerns. As opposed to some other proposals available in the literature that indicate GUI programming concerns by simple intuition, we have conducted a systematic empirical analysis to derive our proposal. It included an analysis of an existing application programming interface (API), its use in industrial projects, and an analysis of the requirements and issues reported during software maintenance. In addition, we have evaluated more than 50 GUI frameworks and APIs and proved usefulness and generality of our classification of concerns. As an additional proof of applicability of the proposed classification, we have refactored the inheritance hierarchy of the selected GUI API using concern-oriented interfaces. We have implemented a supporting tool that complements the developed API and supports its concern-oriented use. The evaluation of the refactored API showed positive effects on API usability.     

Kumbang: A domain ontology for modelling variability in software product families

Variability is the ability of a system to be efficiently extended, changed, customised or configured for use in a particular context. There is an ever-growing demand for variability of software. Software product families are an important means for implementing software variability. We present a domain ontology called Kumbang for modelling the variability in software product families. Kumbang synthesises previous approaches to modelling variability in software product families. In addition, it incorporates modelling constructs developed in the product configuration domain for modelling the variability in non-software products. The modelling concepts include components and features with compositional structure and attributes, the interfaces of components and connections between them, and constraints. The semantics of Kumbang is rigorously described using natural language and a UML profile. We provide preliminary proof of concept for Kumbang: the domain ontology has been provided with a formal semantics by implementing a translation into a general-purpose knowledge representation language with formal semantics and inference support. A prototype tool for resolving variability has been implemented.     

一个基于CORBA的图形用户界面体系结构及实例

随着网络计算技术的发展,软件的结构变为表示／处理／数据库分离的三级模式。表示与处理的分离导致了用户界面与应用计算间的通信成为开发交互式系统图形用户界面的关键。本文为分布式交互图形应用的开发提供了一个基于公用对象需求代理结构ＣＯＲＢＡ的用户界面体系结构,ＣＯＲＢＡ是为分布式对象系统中间件制定的一个互操作标准。在这个结构中,一些被称为代理的面向对象交互式图形构件被设计用来为图形的表示与交互提供有效的解     

GUI录制回放技术在分布并行计算中的研究与应用

GUI录制回放技术在软件测试自动化领域有着广泛的应用,而这里主要讨论了将该技术运用在分布并行计算中.目前,很多软件其自身已经集成了很好的算法,但由于这些软件是非开源的,所以无法直接将这些算法并行化.利用GUI录制回放技术设计并实现了一套工具;使用这套工具并结合特定的分布式计算平台,并行程序开发人员能够方便快速地将这些软件并行化,并将精力放在并行算法的设计上.     

一款基于Jpcap的网络工具软件的设计与实现

介绍了一款基于Jpcap 的网络工具软件的设计与实现。该软件在Windows平台下开发,采用JAVA语言,使用 Jpcap 获得网卡信息、捕获数据包和发送数据包。该软件具有良好的用户操作界面,可以选择并显示网卡信息、发送自定义 UDP数据包、通过PING测试网络连通性。