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.
The number of software-driven features within a modern automotive powertrain rises significantly. With increasing number of features, also the risk of undesired interactions between those features rises drastically. This leads to new challenges with regard to efficiency in testing such automotive features. Automated Feature-Interaction-Testing significantly increases the efficiency of such feature...
NASA's latest spacecraft Orion is in the development process of taking humans deeper into space. Orion is equipped with three main displays to monitor and control the spacecraft. To ensure the software behind the glass displays operates without faults, rigorous testing is needed. To conduct such testing, the Rapid Prototyping Lab at NASA's Johnson Space Center along with the University of Texas at...
This research has been carried out to find an intelligent system to generate chords for melodies which has been composed without considering chords initially. In western music, melodies are composed alongside with chords which specifies the rules for composing. Even though, the concept of chord is not practised in Hindustan music, modern musicians are now adapting the chords and use western instruments...
Dynamic Software Product Line (DSPLs) based Systems are capable of adapting inresponse to changes concerning their observations at runtime in order toexhibit appropriate behavior. The observation space and the variability in theconfiguration space is usually known at design time. However, running a set oftests with all combinations of configuration and observation from these spacesis likely to be...
We report on an approach and associated tool-support for automatically evaluating and grading exercises in Software Engineering courses, by connecting various third-party tools to the online learning platform Moodle. In the case study presented here, the tool was used in several instances of a lecture course to automatically measure the test coverage criteria wrt. the test cases defined by the students...
Researchers have proposed a number of automated techniques for testing refactoring engines. However, they may have limitations related to the program generator, time consumption, kinds of bugs, and debugging. We propose a technique to scale testing of refactoring engines. We improve expressiveness of a program generator, use a technique to skip some test inputs to improve performance, and propose...
Active ECUs (Electronic Control Unit) in a hybrid car while it is charging leads to inefficient power usage and reduction in ECU lifetime. To solve this issue, AUTOSAR has suggested PN (partial networking). As per the AUTOSAR specification, ECUs which are not required to be kept active during battery charging must be shutdown. This project's aim is to analyze the robustness of the design suggested...
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...
Vehicles which satisfy ever increasing needs for comfort, safety and environment protection uses electronic engine. Electronic Control Unit (ECU) is the brain of electronic engine. Overall operation of electronic engine is controlled by ECU software. As customer needs are increasing, ECU software is becoming more and more complex. Testing of such complex software manually is difficult as well as time...
With expanding weight on the need to lessen CO2 emanations and fuel utilization, engine producers and vehicle integrators are searching for more radical approaches to build engine proficiency. One strategy is to draw vitality from various waste warmth sources. A turbocharger is a minimal and effective method for accomplishing this end and Cummins Turbo Technologies is working with various clients...
Warming up is essential for the engine's performance as well as life. Engine warmup basically relates to setting the initial levels of oil and coolant in the engine parts. Many drivers are into the habit of accelerating the vehicle on startup which may lead to damaging of engine parts. To prevent this damage, the software algorithm for engine warm up does not allow the engine to respond to any acceleration...
Recent advances in Neural Networks (NN) are enabling more and more innovative applications. As an energy-efficient hardware solution, machine learning accelerators for CNNs or traditional ANNs are also gaining popularity in the area of embedded vision, robotics and cyberphysics. However, the design parameters of NN models vary significantly from application to application. Hence, it's hard to provide...
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...
The progress of computer aided testing technology brings new development opportunity of aero-engine synthetic test. In order to improve aero-engine synthetic test level, a taken aero-engine synthetic test system is designed using advanced testing technology. User requirements of current situation are introduced, and then system function of test system is given, also related key technology is analyzed...
This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two proposed techniques on IBM Rhapsody Statecharts and present some evaluation results.
Electronic controller unit (ECU) used for controlling sub-systems of complex real life applications like automotive vehicles can pose several challenges. Many times one needs to plan development and testing of controller, when the end vehicle is also under development and hence not available. In such case, hardware in the loop (HIL) approach for testing such controllers emulates the external application...
Automated test framework plays a significant role in test driven software development methodologies. The XUnit family of testing tools has been widely used in the industry. However, they are weak in supporting test case generation and test result checking. In this paper we propose a new kind of test automation framework by integrating data mutation testing and metamorphic testing methods. A tool for...
The last years have seen a fruitful exchange of ideas between automated software verification and white-box software testing; the industrial impact of concolic testing for sequential software is the most notable result of this interdisciplinary effort. While concolic testing is very successful at finding bugs, and even achieves verification in the limit, it is often hard to quantify the progress it...
Automotive companies commonly adopt Hardware-In-the-Loop simulators to develop new control strategies in order to reduce the effort and the cost of the testing phase. The engine management system is an important component of actual road vehicles, it has a vital impact on fuel economy and reduced emissions. Engine developer want to run the ECU while monitoring its internal state through special programs,...
Fuzzers, or random testing tools, are powerful tools for finding bugs. A major problem with using fuzzersis that they often trigger many bugs that are already known. The fuzzer taming problem addresses this issue by ordering bug-triggering random test cases generated by a fuzzer such that test cases exposing diverse bugs are found early in the ranking. Previous work on fuzzer taming first reduces...
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.