The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical approach in industry is to use regression oracles. These oracles have to execute the test input both, in the software version under test and in a previous software version. This practice has several issues when using simulation to test elevators dispatching algorithms at system level. These issues include a long test execution time and the impossibility of re-using test oracles both at different test levels and in operation. To deal with these issues, we propose DARIO, a test oracle that relies on regression learning algorithms to predict the Qualify of Service of the system. The regression learning algorithms of this oracle are trained by using data from previously tested versions. An empirical evaluation with an industrial case study demonstrates the feasibility of using our approach in practice. A total of five regression learning algorithms were validated, showing that the regression tree algorithm performed best. For the regression tree algorithm, the accuracy when predicting verdicts by DARIO ranged between 79 to 87%.
The University of Mondragon, has participated in an European ARTEMIS project called SafeCer during 4 years. The main objective of the project has been to research about the "Reuse of safety related embedded systems and components". Mondragon University has defined an Educational Use Case in order to form the future engineers and has also conducted a first experiment with students of the Master of Embedded Systems. In this paper, the results of this experiment are shown.
In order to maintain Europe as world leader in development of safety relevant systems one of the keys would be to join together the European industrial, academic and scientific communities. One of the main industrial challenges is that any company that wants to compete in the safety-related embedded systems market and have success in business, have to develop competent systems reducing the time to market and the cost of the development and certification. The reusability of SW components is one of the solutions in this way. The technical aspects are worked out in the ARTEMIS nSafeCer project and industrial, academic and scientific communities are working together generating new methods and tools and applying them in use cases. One of the use cases of the project is an educational one and the University of Mondragon is developing it in order to use it in the Master of Embedded Systems Courses with the objective to transfer the knowledge about how to develop safety critical and certifiable systems in an efficient way.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.