In this paper we present a novel approach to the test-based validation of complex heterogeneous applications which is tailored to simplify the requirements for the responsible personnel. Key to our approach is to auto...
详细信息
In this paper we present a novel approach to the test-based validation of complex heterogeneous applications which is tailored to simplify the requirements for the responsible personnel. Key to our approach is to automate the corresponding testing procedure by means of active automata learning. This replaces typical prerequisites like manual test construction or the provision of adequate test models by the definition of an adequate learning alphabet. In practice this typically means by providing representative data for the parameters of the relevant API calls. Besides its simplicity this approach also guarantees that the testing procedure automatically adapts to system modifications, which makes it an ideal tool for dealing with evolving systems of unknown emergent behaviour, as will be illlustrated along the Online Conference System (OCS), a model-driven and service-oriented online conference manuscript submission and review system.
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.
New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.
This paper introduces a simulation environment for testing firewall configurations without the need of an actual, complex network setup. It assists the user in defining the required rule set based on an existing, info...
详细信息
This paper introduces a simulation environment for testing firewall configurations without the need of an actual, complex network setup. It assists the user in defining the required rule set based on an existing, informal security concept and in validating the resulting setup virtually. Configurations consisting of network hosts and permitted or not permitted services are modeled using a graphical environment. A framework which supports model-driven development is used to visualize the resulting configuration in a single graph. Existing plug-ins can be used to check single nodes or the whole graph using model checking. Additionally it is possible to simulate the packet flow and track errors without actually setting up one of the network devices. Test cases may be defined manually, produced by an automatic packet generator or even imported from previously captured, genuine network traffic. Multiple operating systems and firewall products are supported without forcing the user to learn the implementation details between them.
This paper systematically evaluates four different APIs provided by popular ERP systems (SAP BAPI, SAP eSOA, Microsoft Dynamics NAV and Intuit Quick books) according to their potential for service-oriented enterprise ...
详细信息
This paper systematically evaluates four different APIs provided by popular ERP systems (SAP BAPI, SAP eSOA, Microsoft Dynamics NAV and Intuit Quick books) according to their potential for service-oriented enterprise application integration. Central is here the quality of access to and control of their business objects for developing complex business processes in a service oriented landscape. In an ideal world this development should be directly in the hands of the application/business experts, and thus be possible without coding. This can only work if the technical APIs can (semi-) automatically be bridged to a level an application expert can master, which leads to additional API requirements. Our evaluation reveals that the currently still quite unsatisfactory quality of the APIs very much reflects the business profile of each ERP solution. We are therefore convinced that, with changing market conditions, future ERP solutions will live up to the identified requirements.
The complexity of embedded systems has risen significantly in the last years. The model based development approach helped to keep an overview over the development and over the fulfillment of non-functional properties,...
详细信息
The complexity of embedded systems has risen significantly in the last years. The model based development approach helped to keep an overview over the development and over the fulfillment of non-functional properties, as it is possible to capture and analyze the scheduling using UML development models. Other aspects, e.g. the power consumption, are not considered in development models, modelling languages, and analysis support based on development models. The common approach is to measure the consumption at the end of the development, but there is no tool support for earlier phases analysis. We present a UML profile for power/energy consumption and a simple algorithm to analyze the power consumption based on an UML model extended with our profile. As more power awareness could result in losing real-time constraints, we consider both aspects, real-time scheduling and power awareness, and present a method to bring both non-functional properties and their analyses in context. Additionally, we present an approach to find a task configuration for a dynamic voltage scaling system that satisfies all real-time requirements, but is most power efficient.
Software Product Line (SPL) engineering is a popular approach for the systematic reuse of software artifacts across a large number of similar products. Unfortunately, testing each product of an SPL separately is often...
ISBN:
(纸本)9783642244841
Software Product Line (SPL) engineering is a popular approach for the systematic reuse of software artifacts across a large number of similar products. Unfortunately, testing each product of an SPL separately is often unfeasible. Consequently, SPL engineering is in conflict with standards like ISO 26262, which require each installed software configuration of safety-critical SPLs to be tested using a model-based approach with well-defined coverage *** this paper we address this dilemma and present a new SPL test suite generation algorithm that uses model-based testing techniques to derive a small test suite from one variable 150% test model of the SPL such that a given coverage criterion is satisfied for the test model of every product. Furthermore, our algorithm simplifies the subsequent selection of a small, representative set of products (w.r.t. the given coverage criterion) on which the generated test suite can be executed.
HW/SW Co-designed systems rely on dynamic binary translation and optimizations for efficient execution of binary code. Due to memory ordering properties and other architectural constraints, most binary optimizations a...
详细信息
Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide, furthermore, for sophistic...
详细信息
ISBN:
(纸本)9783939897316
Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide, furthermore, for sophistication and generality, at the cost of potentially very high computational complexity. A methodology is proposed for modularization of such models into sub-models, each representing a particular interpretation of the input data to be analysed. Their composition forms, in a natural way, a Bayesian network, and we show how standard methods for prediction and training can be adapted for such composite models in an iterative way, obtaining reasonable complexity results. Our methodology can be implemented using the probabilistic-logic PRISM system, developed by Sato et al, in a way that allows for practical applications.
We introduce notions of ordinary and standard products of a-finite measures and prove their existence. This approach allows us to construct invariant extensions of ordinary and standard products of Haar measures. In p...
详细信息
We introduce notions of ordinary and standard products of a-finite measures and prove their existence. This approach allows us to construct invariant extensions of ordinary and standard products of Haar measures. In particular, we construct translation-invariant extensions of ordinary and standard Lebesgue measures on R∞ and Rogers-Fremlin measures on l∞, respectively, such that topological weights of quasi-metric spaces associated with these measures are maximal （i.e., 2c）. We also solve some Fremlin problems concerned with an existence of uniform measures in Banach spaces.
The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the Tec...
详细信息
The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the Technology School ＂electronic systems＂ （TUES） associated with the Technical University of Sofia is on focus. The modules for admission of students, specialty classification, and graduation of students, management of the student＇s work in computer classrooms and lecturers＇ data management have been analyzed, developed and implemented. The additionally developed modules concern mainly the management of educational process and do not affect the e-learning or the official part modules. That led to the idea that the functionality for managing educational process has to be organized in a separate module defined as module for administrative services of educational process. Such restructuring of the system will bring flexibility in further growth of the system--for example students＇ admission or selection for different purposes.
暂无评论