Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
To prove to a customer that a new or overhauled gas turbine satisfies its contractual performance, mechanical and emissions target, an acceptance test is normally performed by the manufacturer. Such acceptance tests typically involve running the turbine through its operational envelope based on a predefined test schedule, with information regarding the thermodynamic and mechanical performance as well...
Symbolic execution has attracted significant attention in recent years, with applications in software testing, security, networking and more. Symbolic execution tools, like CREST, KLEE, FuzzBALL, and Symbolic PathFinder, have enabled researchers and practitioners to experiment with new ideas, scale the technique to larger applications and apply it to new application domains. Therefore, the correctness...
High-performance communication interfaces in modern complex electronic systems bring new challenges for board-level manufacturing test. Various means of calibration and error-correction that are incorporated into high-speed protocols tend to hide manufacturing flaws thus making comprehensive testing be an extremely hard task. Links transmitting at gigabit rates are especially susceptible to so-called...
Model oriented testing methods are known relatively long time, but the right time for viable deployment is coming up now with the continuously growing amount of vehicle electronic systems. Paper proposes a new Model-Based Testing approach to testing of automotive electronics systems. The key concept is the utilization of Timed Automata for online testing of automotive electronic control units. System...
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...
We present Hammer, a real-world, end-to-end network traffic simulator, capable of simulating complex and dynamic network, user and server behaviors. The focus of this tool is to primarily facilitate investigations related to product stability, for instance different aspects of capacity, longevity, memory leaks, cores and also handle customer content testing that will reveal the behavior of the device...
Remanufacturing has been characterized as a critical component of the circular economy and an engine of the closed loop supply chain process. However, few researches focus on consumers' intention to purchase remanufactured products. To enrich researches on this, we propose an extended theory of planned behavior (TPB) by adding more explanative variables to investigate the affecting factors of consumers'...
Currently, complex software (e.g. PDF readers) usually takes various inputs embedded with multiple objects (e.g. fonts, pictures), which may result in bugs. It is a challenge to generate suitable test cases to support fine-grained test to the PDF readers. Compared with the traditional blind fuzzing which does not utilize the information of input grammars, fuzzing with the model of the file format...
The test case generation of Cyber-Physical Systems (CPSs) face critical challenges that traditional methods such as Model-Based Testing cannot deal with. As a result, simulation-based testing is one of the most commonly used techniques for testing CPSs despite sometimes being computationally too expensive. This paper proposes a search-based approach which is implemented on top of Non-dominated Sorting...
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...
Unique challenges arise when testing mobile applications due to their prevailing event-driven nature and complex contextual features (e.g. sensors, notifications). Current automated input generation approaches for Android apps are typically not practical for developers to use due to required instrumentation or platform dependence and generally do not effectively exercise contextual features. To better...
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...
Symbolic execution is a well-studied method that has a number of useful applications, including generation of high-quality test suites that find many bugs. However, scaling it to real-world applications is a significant challenge, as it depends on the often expensive process of solving constraints on program inputs. Our insight is that when the goal of symbolic execution is test generation, non-semantics-preserving...
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...
ETL (Extract, Transform and Loading) is a data warehousing process that migrate the data from source database by performing certain transformation rules over the extracted data. This transformed data is loaded back to the target database. With emergence of Big Data various organization are moving toward big data technology like Hadoop, Hadoop Ecosystem Projects like Hive and HBase to store their data...
In this paper a comparison between existing and upcoming legislative emission test cycles and real-life driving data is made. The aim of this publication is to analyze how realistic the cycles and how reliable their results are, regarding the engine load and respectively the fuel consumption.
This paper presents the preparation work and first testing of a real-time monitoring application framework. The framework has been proposed and created for a small turbojet engine iSTC-21V. The main motivation is to provide data for educational purposes in a nearby multimedia lecture room and to wider public that is not able to access the laboratory, due to lack of room in the laboratory or travel...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.