This work is devoted to problems of testing many programs using various testing tools of different origin. We present a distributed system, called Tester, which manages and automates testing process. The system is bas...
详细信息
ISBN:
(纸本)9789048136599
This work is devoted to problems of testing many programs using various testing tools of different origin. We present a distributed system, called Tester, which manages and automates testing process. The system is based on client-server architecture and integrates testing tools, including commercial tools, open-source and own applications. It uses repository for storing projects to be tested and database with test results. Different performance issues concerning test automation are discussed and experimentally evaluated. The system was used in mutation testing of C# programs using object-oriented mutation operators, in experiments investigating the relation between line and assembly instruction coverage on the set of C++ programs, and statistic analysis of different program characteristics.
This paper proposes SAASHA, a Self-Adaptable Agent System for Home Automation that provides end-users with the capacity of defining custom scenarios to act on their environment. The proposed system adapts dynamically ...
详细信息
ISBN:
(纸本)9780769541709
This paper proposes SAASHA, a Self-Adaptable Agent System for Home Automation that provides end-users with the capacity of defining custom scenarios to act on their environment. The proposed system adapts dynamically to the environment without any expert intervention. It is composed of two types of component-based software agents: Graphical User Interface Agents that constitute the system's front-end and Device Control Agents that control the devices from the environment and implement user-defined scenarios. SAASHA seamlessly avoids scenario conflicts and automatically recovers from device failures.
This paper describes an academic structural analysis system based on user-friendly environment philosophy called AMATE for planar and space frames. The mathematical representation of frame is done using a boundary ele...
详细信息
ISBN:
(纸本)9781905088416
This paper describes an academic structural analysis system based on user-friendly environment philosophy called AMATE for planar and space frames. The mathematical representation of frame is done using a boundary element methodology, and a convenient strategy is used to obtain the global influence matrices of the frame from the contribution of each local integral equations of a specific bar. This user-friendly system is implemented using objectARX library and Visual Lisp in order to customize AutoCAD Program and then to provide the graphical construction for geometry, mesh information, and other requirements of the boundary element model. For post-processing stage libraries can be run in order to complete the analysis without quitting the customized environment. Numerical examples are shown in order to illustrate the feasibility of present academic customized package.
GMES which stands for GIST Maxwell's Equations Solver is a Python package for a Finite-Difference Time-Domain (FDTD) simulation. The FDTD method widely used for electromagnetic simulations is an algorithm to solve...
详细信息
ISBN:
(纸本)9781441917188
GMES which stands for GIST Maxwell's Equations Solver is a Python package for a Finite-Difference Time-Domain (FDTD) simulation. The FDTD method widely used for electromagnetic simulations is an algorithm to solve the Maxwell's equations. GMES follows object-orientedprogramming (OOP) paradigm for the good maintainability and usability. With the several optimization techniques along with parallel Computing environment, we could make the fast and interactive implementation. Execution speed has been tested in a single host and Beowulf class Cluster. GMES is open source and available on the web (http://***/projects/gmes).
Access control to objects in common object-oriented languages is statically verified but cannot be changed at run-time. However, dynamic authorization is required by most applications and it would be desirable to chec...
详细信息
ISBN:
(纸本)9783642160738
Access control to objects in common object-oriented languages is statically verified but cannot be changed at run-time. However, dynamic authorization is required by most applications and it would be desirable to check more flexible access control policies also statically, at least partially. In this work, we introduce a model where "views" to object references represent the current access control policy of a principal for a given object, and first class authorizations support dynamic modification of those policies. To demonstrate our concepts, we have developed a core language, equipped with a provably correct type and effect system capable of detecting unauthorized method calls at compile-time, and defined and implemented a typechecking algorithm.
With the emergence of multi-cores into the mainstream, there is a growing need for systems to allow programmers and automated systems to reason about data dependencies and inherent parallelism in imperative object-ori...
详细信息
ISBN:
(纸本)9783642119699
With the emergence of multi-cores into the mainstream, there is a growing need for systems to allow programmers and automated systems to reason about data dependencies and inherent parallelism in imperative object-oriented languages. In this paper we exploit the structure of object-oriented programs to abstract computational side-effects. We capture and validate these effects using a static type system. We use these as the basis of sufficient conditions for several different data and task parallelism patterns. We compliment our static type system with a lightweight runtime system to allow for parallelization in the presence of complex data flows. We have a functioning compiler and worked examples to demonstrate the practicality of our solution.
Component-based development has become more common news than exotic novelty in mainstream industry. Its adoption has accrued high facilitation potential for software reuse and better organization of the product. Surpr...
详细信息
ISBN:
(纸本)9780769541709
Component-based development has become more common news than exotic novelty in mainstream industry. Its adoption has accrued high facilitation potential for software reuse and better organization of the product. Surprisingly however, component-oriented approaches have fared far worse in the domain of high-integrity real-time systems. One of the fundamental reasons of this difficulty stems from the larger incidence of extra functional concerns than in conventional industry and the more stringent demands on the ultimate product quality. It is not intrinsic however that component-based software engineering cannot just make it in that domain. Hence adopting it may be an effort worth pursuing. In this paper we present the main conceptual and methodological steps taken by an initiative of the European Space Agency aimed at the creation of a component model suited for the development of on-board software.
This paper describes the flight control software of the wave-front correction system that flew on the 2009 science flight of the Sunrise balloon telescope. The software discussed here allowed fully automated operation...
详细信息
ISBN:
(纸本)9780819482303
This paper describes the flight control software of the wave-front correction system that flew on the 2009 science flight of the Sunrise balloon telescope. The software discussed here allowed fully automated operations of the wave-front sensor, communications with the adaptive optics sub-system, the pointing system, the instrument control unit and the main telescope controller. The software was developed using modern objectoriented analysis and design techniques, and consists of roughly 13.000 lines of C++ code not counting code written for the on-board communication layer. The software operated error free during the 5.5 day flight.
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, program paths are encoded symbolically a...
详细信息
ISBN:
(纸本)9783642142024
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, program paths are encoded symbolically as a conjunction of constraints and submitted to an SMT solver;satisfiable path constraints are then analyzed further. In this paper, we study type-related constraints that arise in path-sensitive analysis of object-oriented programs with forms of multiple inheritance. The dynamic type of a value is critical in determining program branching related to dynamic dispatch, type casting, and explicit type tests. We develop a custom decision procedure for queries in a theory of type-based partial orders and show that the procedure is sound and complete, has low complexity, and is amenable to integration into an SMT framework. We present an empirical evaluation that demonstrates the speed and robustness of our procedure relative to Z3.
One of the principal goal of Component-Based Software Engineering (CBSE) is to allow the reuse of components in diverse situations without affecting their codes. To reach this goal, it is necessary to propose approach...
详细信息
ISBN:
(纸本)9780769541709
One of the principal goal of Component-Based Software Engineering (CBSE) is to allow the reuse of components in diverse situations without affecting their codes. To reach this goal, it is necessary to propose approaches to adapt a component with its environment when behavioural mismatches occur during their interactions. In this paper, we present a formal approach based on interface automata to adapt components in order to eliminate possible behavioural mismatches, and then insure more flexible interoperability between components.
暂无评论