Execution time analysis is an essential verification activity during real-time system development. This activity can be performed dynamically through optimisation-based analysis techniques such as evolutionary testing. Evolutionary testing is already successfully used under the traditional procedural development paradigm. This paper is an initial attempt in making evolutionary testing also applicable under the more recent object-oriented, component-based software development paradigm. Here, the application of evolutionary testing is more difficult compared with the traditional procedural development approches because component-based architectures are inherently encapsulated, and often represent state machines. This work proposes a solution ...
Real-time embedded systems are constrained with real-time requirements. Assuring the quality of such...
Temporal correctness is crucial for the dependability of real-time control systems. A problem with t...
The topic of this thesis is automated test generation for control software represented in a specific...
Execution time analysis is an essential verification activity during real-time system construction. ...
Evolutionary testing is a new testing technique based on the application of evolutionary algorithms....
Evolutionary testing is an optimisation-based test-case generation technique. It can be applied to t...
Evolutionary testing (ET) is a test case generation technique based upon the application of an evolu...
Abstract. Evolutionary Testing (ET) has been shown to be very successful for testing real world appl...
Evolutionary testing is a new testing technique for automatically generating test cases which satisf...
Many industrial products are based on the use of embedded computer systems. Usually, these systems h...
We show that encapsulation of states in object-oriented programs hinders the search for test data us...
With the continuously growing software and system complexity in electronic control units and shorten...
It is estimated that 80% of software development cost is spent on detecting and fixing defects. To t...
O texto integral não está disponível.Evolutionary Testing is an emerging methodology for automatical...
It is well-known that faults affecting an electronic device may compromise its correct functionality...
Real-time embedded systems are constrained with real-time requirements. Assuring the quality of such...
Temporal correctness is crucial for the dependability of real-time control systems. A problem with t...
The topic of this thesis is automated test generation for control software represented in a specific...
Execution time analysis is an essential verification activity during real-time system construction. ...
Evolutionary testing is a new testing technique based on the application of evolutionary algorithms....
Evolutionary testing is an optimisation-based test-case generation technique. It can be applied to t...
Evolutionary testing (ET) is a test case generation technique based upon the application of an evolu...
Abstract. Evolutionary Testing (ET) has been shown to be very successful for testing real world appl...
Evolutionary testing is a new testing technique for automatically generating test cases which satisf...
Many industrial products are based on the use of embedded computer systems. Usually, these systems h...
We show that encapsulation of states in object-oriented programs hinders the search for test data us...
With the continuously growing software and system complexity in electronic control units and shorten...
It is estimated that 80% of software development cost is spent on detecting and fixing defects. To t...
O texto integral não está disponível.Evolutionary Testing is an emerging methodology for automatical...
It is well-known that faults affecting an electronic device may compromise its correct functionality...
Real-time embedded systems are constrained with real-time requirements. Assuring the quality of such...
Temporal correctness is crucial for the dependability of real-time control systems. A problem with t...
The topic of this thesis is automated test generation for control software represented in a specific...