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.
Because debugging is notoriously time-consuming and laborious, fault localization becomes a major activity in software testing researches. This paper proposes a novel fault localization approach which utilizes intersection of control-flow based execution traces. It reports all program points, which are executed in every failed test case, as suspect of bugs and ranks them based on the frequency they...
Today's fast paced world of ever changing Commercial-Of-The-Shelf (COTS) hardware and software architectures creates a quandary in that the end-user must be cognizant of these effects on their own legacy based system when embracing a new design. The advantages of moving to a newer and sleeker system surely outweigh the complexities of attempting to maintain an older system especially when obsolescence...
This paper describes a digital runtime environment designed to support both ATLAS and non-ATLAS control of a digital instrument. The paper provides a brief overview of the architecture and tools integrated into the runtime to assist in re-hosting and debugging.
Automatic test engineers are faced with replacing obsolete software and hardware in systems that remain in operation longer than individual components are supported. Replacing obsolete hardware can be especially challenging because of the need to modify test software in order to support new instrumentation. Changes to test software in order to support new instrumentation might affect multiple areas...
Limited research exists for identifying data races under the specific characteristics found in embedded systems. E-RACE is a new style of data-race identification tool which directly utilizes specialized hardware capabilities to monitor the flow of data and instructions. Compared to existing data race analysis approaches, the hardware-assisted E-RACE tool has advantages of recognizing data-race issues...
Traditional test case generation methods usually consider coverage criteria like statement or path coverage and ignore security characteristics. The result is that a test case may fail to find vulnerabilities even if it covers the vulnerable statements. However, we argue that existing test cases are still of great value because significant human effort and time have been invested to achieve high coverage...
Dynamic Reconfiguration is absorbing more and more research focus for its demand in automatic measurement system for low-cost products and short time to market. In this paper, we propose a software architecture, which is built on component and software bus models. In our architecture, the measurement system software is viewed as an integration of a set of reusable components, which are modelled with...
We propose an approach to generate and execute tests of the conformance of a system to a given security policy. The method is rule-based: it generates test cases directly from a security policy expressed as a set of security requirements, using two relations: one between predicates appearing in the rules and elementary test cases, called tiles, used to test predicates in the system, and another one...
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.