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.
Buffer overflow is one of the most common types of software vulnerabilities. Various static analysis and dynamic testing techniques have been proposed to detect buffer overflow vulnerabilities. With automatic tool support, static buffer overflow detection technique has been widely used in academia and industry. However, it tends to report too many false positives fundamentally due to the lack of software...
Test automation, which involves the conversion of manual test cases to executable test scripts, is necessary to carry out efficient regression testing of GUI-based applications. However, test automation takes significant investment of time and skilled effort. Moreover, it is not a one-time investment: as the application or its environment evolves, test scripts demand continuous patching. Thus, it...
Developers of a software's graphical user interface (GUI) often fail to document the interface specifications. Without these, models used for automated test generation and execution remain imperfect and incomplete. This leads to unexpected behavior that creates unrecoverable situations for test harnesses, and missed coverage. In this paper, we present AutoInSpec, a technique to infer an important...
Two modes of rapid development platform are introduced briefly, and their deficiency are analyzed, a template-based framework for the rapid application development platform (RADP) is propose, and the various components of the framework are introduced, the advantages of the template framework and development prospects are summarized. At the last, the platform and common development methods are compared,...
The efficient development of a highly reliable system, such as a new crew launch vehicle, cannot afford to ignore the lessons of history. A number of interesting studies of launch vehicle failures provide very valuable, albeit qualitative “lessons learned” on measures that a risk-informed program should take. If schedule and funds were unlimited, a very intensive and exhaustive test program would...
The IBM Power 7™ 4 GHz, eight core microprocessor introduced several new challenges for the Power 7 test team: new pervasive test architecture, 8 asynchronous processor cores, DRAM integrated on the same die as processor and enhanced thermal test requirements. The design complexity, time to market schedule compression, and rapid production ramp required innovation and new methods to meet these challenges...
The technology of testing fuel economy is not only a comprehensive parameter for evaluating the level of cars' technology and maintenance, but also an important reference for diagnosing and analyzing the troubles of cars. Using the method of Ultrasonic Flow Detection to measure the fuel consumption, this essay is based on a comprehensive comparison of several traditional fuel economy detection systems...
The LRAFB C-130 engine repair facility is one of the top T-56 engine refurbishing plants in the United States Air Force. Currently, the shop is prevented from testing potential contingencies within their environment due to the rapid nature of their engine repair process. A simulation approach is needed to test various scenarios and determine the maximum capacity the shop can handle in its current...
The performance of military ground vehicle systems quickly degrades due to high operation tempo and extreme environments while performing in-theater service. Current maintenance methods associated with this degradation are not sufficiently optimized for cost and performance. To address this issue, the United States Army is implementing a policy of Condition Based Maintenance (CBM) and being supported...
Developing sustainable urban environments is complex as it requires consideration of interacting social, economic and environmental sustain ability factors. The task is made even more difficult by the wide variety of stakeholders (e.g. planners, architects, businesses and the public) that may be involved in the process and the lack of a common language for all to understand. This paper describes a...
In this paper a BISR architecture for embedded memories is presented. The proposed scheme utilises a multiple bank cache-like memory for repairs. Statistical analysis is used for minimisation of the total resources required to achieve a very high fault coverage. Simulation results show that the proposed BISR scheme is characterised by high efficiency and low area overhead, even for high defect densities...
Collecting data on user activities is one of the fundamental middleware services in Web-enabled systems. The collected data is analyzed and used by various high-level services, like user profiling, accounting, security auditing, and system health monitoring. In this paper, we present architecture and performance evaluation of usage tracking components for service-oriented middleware systems. Presented...
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.