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.
In recent years, AADL (Architecture Analysis and Design Language) is used widely in the design of embedded software. There is a growing concern about quality and reliability of AADL design model and codes made from model. In this paper, we propose a testing method that test cases can be generated based on AADL system component modes to support embedded software testing. The information of AADL system...
In the process of testing Component-based software, Oracle problem comes into existence frequently because of the diversity of component running environment and complicated interactions among components. In this paper, we exploit the features of the component-based software and metamorphic testing (MT) to alleviate the issues. The metamorphic class will invoke relevant component to execute test cases...
Since embedded software reaches a large scale and complexity, MDA and component-based development have become popular in embedded system development. Architecture-based software evaluation, maintenance and evolution can reduce cost of large-scale software, and raise the efficiency of maintenance and evolution. Especially, for legacy system, source code is regarded as the only dependable module to...
As Architecture Analyze and Design Language (AADL) becomes a popular software development methodology for avionic embedded system, it is one of hot issues to ensure the quality of software which is based on models. This article studies on model-based testing (MBT) focusing on software architecture under testing which constructed with AADL, and an algorithm is proposed to carry out model-based testing...
This paper introduces an embedded system of smart home development with AADL in, which is useful to analyze requirement, design software model, and verify relations between hardware and software in an embedded system. AADL is very convenient and scaleable to manage home equipment in smart home system, and enhance the developing quality of embedded software.
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.