Although there are many approaches for developing secure programs, they are not necessarily helpful for evaluating the security of a pre-existing program. Software metrics promise an easy way of comparing the relative...
详细信息
Tools and methods in the context of Model-Driven Engineering have to be evaluated and tested. Unfortunately, adequate test models are scarcely available in many application domains, and available models often lack req...
详细信息
ISBN:
(纸本)9783885796077
Tools and methods in the context of Model-Driven Engineering have to be evaluated and tested. Unfortunately, adequate test models are scarcely available in many application domains, and available models often lack required properties. Test model generators have been proposed recently to overcome this deficiency. Their basic principle is to synthesize test models by controlled application of edit operations from a given set of edit operation definitions. If test models are created by randomly selecting edit operations, then they become quite unnatural and do not exhibit realworld characteristics;generated sequences of edit operation should rather be similar to realistic model evolution. To this end, we have reverse-engineered a carefully selected set of open-source java projects to class diagrams and computed the differences between subsequent revisions in terms of various edit operations, including generic low-level graph edit operations and high-level edit operations such as model refactorings. Finally, we statistically analyzed the distribution of the frequency of these edit operations. We have checked the fitness of 60 distributions in order to correctly represent the statistical properties. Only four distributions have been able to adequately describe the observed evolution. The successful distributions are being used to configure our model generator in order to produce more realistic test models.
Global smartphone OS market share, accounting for more than 70 percent, based on the Linux kernel that Android native region and is a software stack consists of java area. Android basic application architecture of a J...
详细信息
During the last decade, context-awareness and adaptation have been receiving significant attention in many research areas. For application developers, the heterogeneity of resource-constrained mobile terminals creates...
详细信息
Object-oriented programming is frequently taught in the first programming course. The implicit level of indirection, expressed in the name-value duality of objects, demands an additional level of abstraction ability. ...
详细信息
The article contributes to methods of teaching web-based simulation. The main aim of this paper is to provide the description of developed system to support controlled web-based simulation in a laboratory. The article...
详细信息
ISBN:
(纸本)9789077381793
The article contributes to methods of teaching web-based simulation. The main aim of this paper is to provide the description of developed system to support controlled web-based simulation in a laboratory. The article also focuses on the design of a computer network, the support of a complex distributed simulation models, the role of a serverside object and implementation of an algorithm of time synchronization of the remote logical processes using the conservative synchronization methods of sending on demand zero messages.
We introduce SAGA, a general framework that combines monitoring and run-time assertion checking. SAGA integrates both data-flow and control flow properties of java classes and interfaces in a single formalism. We eval...
详细信息
ISBN:
(纸本)9781450316569
We introduce SAGA, a general framework that combines monitoring and run-time assertion checking. SAGA integrates both data-flow and control flow properties of java classes and interfaces in a single formalism. We evaluate the framework by conducting an industrial case study. Copyright 2013 ACM.
Typically, integrity measurement technology for java application is based on the whole file, which is too coarse to meet different requirements. In this paper, we propose a novel finegrained integrity measurement meth...
详细信息
Following the Object Management Group's (OMG) Model-Driven Architecture (MDA) approach, the semi-formal, service-orientated "Use Case, Responsibility Driven Analysis and Design" (URDAD) method is used by...
详细信息
ISBN:
(纸本)9781450321129
Following the Object Management Group's (OMG) Model-Driven Architecture (MDA) approach, the semi-formal, service-orientated "Use Case, Responsibility Driven Analysis and Design" (URDAD) method is used by requirements engineers to specify a software system's functional properties in a Platform Independent Model (PIM). PIMs are represented using the URDAD Domain Specific language (DSL), and thus conform to the URDAD MOF meta model. As a result, they can be transformed into Platform-Specific Models (PSM) for frameworks such as java Platform Enterprise Edition (JEE) Enterprise java Beans (EJB). This paper describes the semi-automatic transformation of a URDAD PIM into a EJB PSM, which is the basis for the further generation of EJB program code. For this purpose, a new prototype CASE tool1was implemented to facilitate such transformations. The tool was evaluated using a non-trivial example project, with results indicating that it produces the PSM and template code that constitutes the static java EE EJB structural representation of the example PIM. Copyright 2013 ACM.
We present a prototype for a generator of shared learning objects to be used in university courses that teach computer programming. The learning objects are question and answer test sets and an application which prese...
详细信息
暂无评论