The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We present the Configurable Advanced Verification of Software (CAVS), a prototype tool that automatically generates an efficient set of test cases from descriptions of required interface behavior based on Unified Modeling Language (UML) artifacts. The input to CAVS consists of enhanced UML activity diagrams that define the required behavior of a software component as observed on its interfaces. CAVS...
The use of CubeSats has increased tremendously over the 15 years since the standard creation because the low cost and reduced project development cycle. However, one of the most concerns in reducing a project delivery time is the collateral effect in test process, resulting in failures in the mission operation. This paper proposes the combined use of the Model-Driven Engineering (MDE) and Model-Base...
This report gives a brief overview of the main concerns addressed by the authors at the fourth international track on Formal Verification of Service Based Systems, held at WETICE 2016 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported.
Currently multiple Domain Specific Languages (DSLs) are used for model-driven software development, in some specific domains. Software development methods, such as agile development, are test-centered, and their application in model-based frameworks requires model support for test development. We introduce a specific language to define generic test models, which can be automatically transformed into...
Software testing is generally intend to evaluate the quality of the software product through generation of testcases transformed formally into test scripts. Recently, testing tend to be model driven process in which human intervention is reduced. On other hand, Model driven architecture (MDA) has been adopt by Object Management Group (OMG) which raises abstraction level. So it's the key in adapting...
We present a novel technique for static slicing of SoaML Service Interface Diagram. In this technique, a Service Interface Diagram is converted into an intermediate representation which we have named as Service Interface Dependency Graph(SIDG). The SIDG identifies Service Call Dependency and Composite Dependency from Service Interface Diagram. Giving slicing criterion as input, our aglorithm traverses...
Virtual organisations and product modelling represents domains with significant developments since mid 1990's. Various techniques developed under the scope of Mechanical Engineering Systems leads to the need of an integrated multi-view model concept. The paperwork presents the findings of a study for a PDM application proposed to be used for virtual organisations. Models of product, organisation and...
Air Traffic Control (ATC) systems are typical software-intensive mission-critical systems with stringent dependability requirements. The major providers of ATC systems are system integrators that address such requirements at the cost of a very expensive testing effort. They envisage Model Driven Testing (MDT) as a promising approach to reduce this effort while achieving better product quality. Within...
As the development of the large-scale and complicated software, especially in embedded system, non-functional properties of system, such as timing, reliability, safety and security, have become more and more important on impacting and restricting the behaviors of software system. One of the emerging challenges is how to test these properties in the phase of model-based software design. This paper...
At now, multi-core processors are becoming prevalent rapidly in personal computing and embedded systems. But, the programming and supporting environment for multi-core processor systems is still unripe and lacks efficient tools. In this paper, we present a VERTAF/Multi-Core integration development environment and show how software code can be automatically generated from SysML/UML models of multi-core...
Today computer systems are becoming very complex and often depending on some off-the-shelf components or external service providers. Validating the security aspects of these systems is a highly challenging goal, especially when we target security critical systems where guarantees must be provided on the robustness of the produced systems. Model Driven Engineering (MDE) is becoming popular and well...
Software architectures have received increasing attention by playing a significant role in determining the success and quality of software systems. In particular, reference architecture is a special type of architecture that captures the essence of software systems of a specific domain, achieving therefore well-recognized understanding of that domain. In spite of this, it is not observed concern in...
Test automation is a challenging activity. The design of test architectures for enabling the automatic execution of test cases is a hard task to be executed. For Real-Time Systems (RTS) the difficulties of developing good test architecture are increased because of their inherent characteristics (e.g. concurrence, timing constraints and reactivity). To support the test architecture design, the OMG...
Both the model-driven and agile development approaches have significantly enhanced productivity and predictability of software development in practice. Agile Model Driven Development or AMDD is an attempt to effectively bring together the fast pace of agile development and the guaranteed quality of model-driven development. Despite the proliferation of processes claim to comply with AMDD principles,...
There are several industries in which Message Sequence Charts (MSCs) and the corresponding UML notation (Sequence Diagrams) are used to describe requirements. However, most work on model based testing has looked at testing from other languages such as input output transition systems and finite state machines. This paper explores the problem of testing on the basis of an MSC specification. We develop...
The recent and rapid advances in hardware have led to an explosion of real-time and concurrent applications, especially real-time control system applications. This, in turn, requires practical software development with new technologies such as Object- Oriented Analysis and Design (OOAD), Model-Driven Development (MDD) with the Unified Modeling Language (UML) as the principle modeling language. In...
Plug-in architectures enable developers to build extensible software products. Such products are assembled from plug-ins, and their functionality can be enriched by adding or configuring plug-ins. The plug-ins themselves consist also of multiple plug-ins, and offer dedicated points through which their functionality can be influenced. A well-known example of such an architecture is Eclipse, best known...
Methodology of automatic generation of test cases based on Model Driven Architecture is proposed, and its design and implementation have be done. The process of generating test cases is that a platform-independent model is converted into a platform-independent test model through level conversion, and the platform-independent test model is converted into the corresponding test cases through vertical...
In order to make the application of ZSP chips more border and facilitate the work of ZSP assembler programmers, a common development platform for ZSP is needed urgently. In this paper, the ZSP400 processor simulator, based on the ZSP400 target machine architecture and ZSP400 instruction set, is developed successfully. In the Windows environment, this simulator can execute ZSP400 assembler and output...
For testing BPEL defects efficiently, a novel BPEL defect pattern testing architecture based on the EMF activity tree technology is proposed. The EMF activity tree that is similar to abstract syntax tree is used to describe the BPEL service process structure. The mapping method from the DOM object tree of a BPEL file to the EMF activity tree and the recursive algorithm to generate an EMF activity...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.