检索结果-内蒙古大学图书馆

An Automatic Test Coverage Analysis for SystemC Description Using Aspect-oriented programming

An Automatic Test Coverage Analysis for SystemC Description ...

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Yan Chen Weidong Qiu Bo Zhou Chenglian Peng School of Information Science and Engineering Fudan University

ISBN: (纸本)0780379411

This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in SystemC. Theverification method considered is based upon thesimulation of executable SystemC description. Testcoverage analysis is the main technique for checkingand showing that the testing has been thorough. In thispaper we propose a novel approach to automate thecoverage analysis using Aspect-oriented *** here are described as checkers for detectingcoverage. The most important feature using theaspect-oriented technology here is that allowschecking functions across classes to be added orreplaced without modifying the original code. UML2.0is used to model the dynamic behavior view ofSystemC description as a coverage metric modelInherently it is possible to automate the whole testcoverage analysis using our methodology.

关键词： formal specification program verification computer aided software engineering object-oriented programming Unified Modeling Language C language automatic test coverage analysis aspect-oriented programming functional verification high level description system testing SystemC specification executable SystemC description simulation system checking UML2.0 dynamic behavior modeling coverage metric model

来源：评论

学校读者我要写书评

暂无评论

A Java™ universal vehicle router for routing unmanned aerial vehicles

引用

International Transactions in Operational Research 2004年第3期11卷 259-275页

作者： Harder, R.W. Hill, R.R. Moore, J.T. Air Force Personnel Operations Agency Crystal City VA United States Department of Biomedical Industrial and Human Factors Engineering Wright State University Dayton OH United States Department of Operational Sciences Air Force Institute of Technology Dayton OH United States

We consider vehicle routing problems in the context of the Air Force operational problem of routing unmanned aerial vehicles from base locations to various reconnaissance sites. The unmanned aerial vehicle routing problem requires consideration of heterogeneous vehicles, vehicle endurance limits, time windows, and time walls for some of the sites requiring coverage, site priorities, and asymmetric travel distances. We propose a general architecture for operational research problems, specified for vehicle routing problems, that encourages object-oriented programming and code reuse. We create an instance of this architecture for the unmanned aerial vehicle routing problem and describe the components of this architecture to include the general user interface created for the operational users of the system. We employ route building heuristics and tabu search in a symbiotic fashion to provide a user-defined level-of-effort solver interface. Empirical tests of solution algorithms parameterized for solution speed reveal reasonable solution quality is attained. © 2004 Wiley Periodicals, Inc.

关键词： Empirical analysis object-oriented programming Tabu search Vehicle routing

来源：评论

学校读者我要写书评

暂无评论

What models mean

引用

IEEE SOFTWARE 2003年第5期20卷 26-+页

作者： Seidewitz, E IntelData Technol Corp Reston VA 20191 USA

If today's software developers use models at all, they use them mostly as simple sketches of design ideas, often discarding them once they've written the code. This is sufficient for traditional code-centric development. With a model-driven approach, however, the models themselves become the primary artifacts in the development of software. In this case, a clear, common understanding of the semantics of our modeling languages is at least as. important as a clear, common understanding of the semantics of our programming languages. There has been, and continues to be, a great deal of discussion within the software community on modeling and metamodeling and the relationships between modeling languages and metamodeling languages. Such relationships' circular nature makes them particularly hard to discuss clearly, often hiding many important but subtle issues at the foundation of what we do when we model. To address these issues as clearly as possible, I examine a set of questions whose answers, taken together, will help us understand the fundamental question, "What do models mean?" The result is a set of careful definitions for key terms that will let us cut through some of this topic's more confusing aspects. To understand the intent behind these definitions, we must also look at how other disciplines use models. After all, we should realize that, with a true model-driven approach to software development, we are using models in much the same way that other scientific and engineering disciplines use them. So, I've illustrated the definitions with simple (nontechnical) discussions of modeling in Newtonian physics and its application to engineering. The article's primary goal is, however, to discuss the modeling of software. Since the object Management Group first specified the Unified Modeling Language in 1997, UML has become the common modeling language of the software development community. (UML's current version is 1.5;(1) the draft specifications for Version 2.0 are

关键词： formal specification object-oriented programming specification languages UML model metamodels model-driven approach modeling language modeling languages semantics software modeling specifications object oriented programming Specifications Metamodels semiotics Semantics Formal specifications modelling languages specification description language

来源：评论

学校读者我要写书评

暂无评论

Steam tables for pure water as an ActiveX component in Visual Basic 6.0

引用

COMPUTERS & GEOSCIENCES 2003年第9期29卷 1155-1163页

作者： Verma, MP Geotermia Inst Invest Elect Cuernavaca 62490 Morelos Mexico

The IAPWS-95 formulation for the thermodynamic properties of pure water was implemented as an ActiveX component (SteamTables) in Visual Basic 6.0. For input parameters as temperature (T = 190-2000K) and pressure (P = 3.23 x 10(-8)-10,000 MPa) the program SteamTables calculates the following properties: volume (V), density (D), compressibility factor (Z(0)), internal energy (U), enthalpy (H), Gibbs free energy (G), Helmholtz free energy (A), entropy (S), heat capacity at constant pressure (C-p), heat capacity at constant volume (C-v), coefficient of thermal expansion (CTE), isothermal compressibility (Z(iso)), velocity of sound (VelS), partial derivative of P with T at constant V (dPdT), partial derivative of T with Vat constant P (dTdV), partial derivative of V with P at constant T (dVdP), Joule-Thomson coefficient (JTC), isothermal throttling coefficient (IJTC), viscosity (Vis), thermal conductivity (ThrmCond), surface tension (SurfTen), Prandtl number (PrdNum) and dielectric constant (DielCons) for the liquid and vapor phases of pure water. It also calculates T as a function of P (or P as a function of T) along the sublimation, saturation and critical isochor curves, depending on the values of P (or T). The SteamTables can be incorporated in a program in any computer language, which supports object link embedding (OLE) in the Windows environment. An application of SteamTables is illustrated in a program in Visual Basic 6.0 to tabulate the values of the thermodynamic properties of water and vapor. Similarly, four functions, Temperature(Press), Pressure(Temp), State(Temp, Press) and WtrStmTbls(Temp, Press, Nphs, Nprop), where Temp, Press, Nphs and Nprop are temperature, pressure, phase number and property number, respectively, are written in Visual Basic for Applications (VBA) to use the SteamTables in a workbook in MS-Excel. (C) 2003 Elsevier Ltd. All rights reserved.

关键词： steam tables water PVT characteristics object-oriented programming Visual Basic 6.0 IAPWS-95 formulation VBA MS-Excel

来源：评论

学校读者我要写书评

暂无评论

Localized tensor-based solvers for interactive finite element applications using C++ and Java

引用

COMPUTERS & STRUCTURES 2003年第7期81卷 423-437页

作者： Miller, GR Arduino, P Jang, J Choi, C Univ Washington Dept Civil & Environm Engn Seattle WA 98195 USA

This paper presents techniques for solving systems of equations arising in finite element applications using a localized, tensor-based approach. The approach is localized in that a major part of the solution responsibility is delegated to vector degree-of-freedom objects, rather than residing solely in a global solver working on a monolithic data structure. The approach is tensor-based in that the fundamental quantities used for computation are considered to be second-order tensors. The localized data structure strategy provides the benefits of an efficient sparse and symmetric storage scheme without requiring complex implementation code. The tensor-based aspect of the approach can bring substantial performance benefits by increasing the granularity at which solution algorithms deal with their data. Java and C++ implementations of interactive finite element programs are used to demonstrate performance that is competitive with other available solvers, especially in the case of problems for which interactive analysis is feasible on commonly available hardware. (C) 2003 Elsevier Science Ltd. All rights reserved.

关键词： finite elements object-oriented programming interactive modeling numerical analysis visualization

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented development with stratified frameworks

引用

IEEE SOFTWARE 2003年第1期20卷 81-+页

作者： Atkinson, C Kühne, T Univ Mannheim D-6800 Mannheim 1 Germany TH Darmstadt FG Metamodeling D-64283 Darmstadt Germany

Aspect-oriented programming, one of the most promising separation-of-concerns technologies, focuses on concerns that cross-cut a chosen decomposition strategy. Despite its promise, however, AOP has so far failed to make the transition to mainstream software development. The authors describe a strategy, based on architecture stratification, that exploits the advantages of aspect-oriented development in model-driven and component-based frameworks.

关键词： object-oriented programming software maintenance adaptability aspect-oriented programming component-based development maintainability reusable units separation-of-concerns software artifacts object oriented programming Maintainability Software systems aspect-oriented programming Software maintenance

来源：评论

学校读者我要写书评

暂无评论

Separation of concerns in model-driven development

引用

IEEE SOFTWARE 2003年第5期20卷 64-+页

作者： Kulkarni, V Reddy, S Tata Res Dev & Design Ctr Pune 411013 Maharashtra India

To facilitate traceability, reuse, and evolution, systems should be specified as compositions of clearly separated and separately specified concerns of interest. Customizing model-driven development environments-for example, to support different application design strategies-is difficult because they lack support for clear separation of concerns. Moreover, because we typically specify MDD systems in terms of models and code, we must address the issue of separation of concerns at both the model and code levels.' The Template abstraction we propose lets us model applications as hierarchical compositions of templates. We illustrate our composition process using a unified metamodel.

关键词： object-oriented programming software quality software reusability Template abstraction code level model-driven development multiple views platform independence productivity quality reuse stakeholders system evolution object oriented programming Model-driven development Stakeholders Software reuse software quality productivity

来源：评论

学校读者我要写书评

暂无评论

object-oriented implementation of the Galerkin finite element method and its application to the numerical study of natural convective flows in enclosures

引用

INTERNATIONAL JOURNAL OF COMPUTATIONAL FLUID DYNAMICS 2003年第1期17卷 39-60页

作者： Moreno, R Ramaswamy, B Angel Acad Ann Arbor Dept Mech & Environm Engn Ann Arbor MI 48105 USA Exxon Prod Res Co Houston TX USA

Using object-oriented programming (OOP) techniques and philosophies, a collection of C++ tools for the rapid development of finite element applications has been created. The object-oriented finite element analysis (OOFEA) toolkit provides both the geometrical and mathematical management tools necessary for this task in the form of useful class hierarchies. In particular, the OOFEA toolkit features methods for evaluating arbitrary weak forms provided by the user in order to solve particular problems of interest. A description of the underlying concepts, philosophies and techniques used to develop the toolkit are included. A strong effort has been made to concentrate on its possibly beneficial usage in the computational fluid dynamics area. In order to demonstrate the toolkit capabilities of managing complex projects, a simulator for laminar and turbulent natural convective flows in enclosures has been developed and a numerical study of some of these flows has been conducted. Using a primitive variable approach, the Galerkin FEM is used to obtain the weak form of the coupled unsteady Navier-Stokes and energy equations for incompressible, viscous, Newtonian fluids in two and three dimensions. By including a k-epsilon turbulence model in the governing equations, the analysis of both laminar and turbulent convective flows in enclosures is possible. With the help of a semi-implicit time stepping scheme, combined with a projection scheme, the resulting systems of equations are solved iteratively using the preconditioned conjugate gradient (PCG) algorithm. Time accurate two-dimensional simulations have been performed for a differentially heated square cavity in the laminar and turbulent regimes, for air with a Prandtl number of 0.71, and values of the Rayleigh number ranging between 10(3) and 10(10). Consistency tests show that the simulator correctly implements the k-epsilon turbulence model, and the numerical results compare well with results reported in the literature. T

关键词： object-oriented programming object-oriented finite element analysis preconditioned conjugate gradient partial differential equations

来源：评论

学校读者我要写书评

暂无评论

P³:: a code and design conventions preprocessor for Java

引用

SOFTWARE-PRACTICE & EXPERIENCE 2003年第1期33卷 61-76页

作者： Depradine, C Chaudhuri, P Univ W Indies Dept Comp Sci Math & Phys Bridgetown Barbados

One of the techniques employed by programmers during the development process is the use of code and design conventions. These are rules-of-thumb or best practices that improve the maintainability of software applications. In general, these conventions are maintained manually by the programmer since automated support is usually restricted to the automatic generation of code. However, the late discovery of convention errors can result in significant costs due to the effort required to correct them. In order to facilitate the early detection of these errors, the Practical Preprocessor for programming Conventions system, P-3 (pronounced P3), is proposed. This tool acts as a preprocessor to the Java compiler by providing facilities for the maintenance of specific object-oriented code conventions and design principles during the creation of Java programs. This paper presents the design and implementation of the P-3 system and also the practical experience of using this facility in a University programming environment. Copyright (C) 2002 John Wiley Sons, Ltd.

关键词： code conventions design conventions object-oriented programming Java

来源：评论

学校读者我要写书评

暂无评论

On evaluation of shape sensitivities of non-linear critical loads

引用

INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING 2003年第6期56卷 809-846页

作者： Parente, E Vaz, LE Univ Fed Pernambuco Dept Civil Engn BR-50740530 Recife PE Brazil Pontificia Univ Catolica Rio de Janeiro Dept Civil Engn Rio De Janeiro Brazil

The present paper focuses on the evaluation of the shape sensitivities of the limit and bifurcation loads of geometrically non-linear structures. The analytical approach is applied for isoparametric elements, leading to exact results for a given mesh. Since this approach is difficult to apply to other element types, the semi-analytical method has been widely used for shape sensitivity computation. This method combines ease of implementation with computational efficiency, but presents severe accuracy problems. Thus, a general procedure to improve the semi-analytical sensitivities of the non-linear critical loads is presented. The numerical examples show that this procedure leads to sensitivities with sufficient accuracy for shape optimization applications. Copyright (C) 2002 John Wiley Sons, Ltd.

关键词： shape sensitivity analysis structural optimization non-linear structures object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：