The MIDAS cloud platform for testing SOA applications
While Service Oriented Architectures (SOAs) are for many parts deployed online, and today
often in a cloud, the testing of the systems still happens mostly locally. In this paper, we want …
often in a cloud, the testing of the systems still happens mostly locally. In this paper, we want …
Testing the Migration from Analog to Software-Based Railway Interlocking Systems
We work in the context of a tool set developed for the Italian Railway Network supporting the
migration of legacy relay-based interlocking systems to a new software-based …
migration of legacy relay-based interlocking systems to a new software-based …
A new approach to abstract reachability state space of time Petri nets
K Klai, N Aber, L Petrucci - 2013 20th International Symposium …, 2013 - ieeexplore.ieee.org
Time Petri nets (TPN model) allow the specification of real-time systems involving explicit
timing constraints. The main challenge of the analysis of such systems is to construct, with …
timing constraints. The main challenge of the analysis of such systems is to construct, with …
How does the UML testing profile support risk-based testing
The increasing complexity of software-intensive systems raises a lot of challenges
demanding new techniques for ensuring their overall quality. The risk of not meeting the …
demanding new techniques for ensuring their overall quality. The risk of not meeting the …
Abstractions on test design techniques
MF Wendland - … on Computer Science and Information Systems, 2014 - ieeexplore.ieee.org
Automated test design is an approach to test design in which automata are utilized for
generating test artifacts such as test cases and test data from a formal test basis, most often …
generating test artifacts such as test cases and test data from a formal test basis, most often …
Using model-based testing to reduce test automation technical debt: an industrial experience report
T Huertas, C Quesada-López, A Martínez - Information Technology and …, 2019 - Springer
Technical debt is the metaphor used to describe the effect of incomplete or immature
software artifacts that bring short-term benefits to projects, but may have to be paid later with …
software artifacts that bring short-term benefits to projects, but may have to be paid later with …
[PDF][PDF] Modernization from a maintenance process perspective: challenges and lessons learned
A Yamashita - 2017 - oda.oslomet.no
Modernization and migration initiatives are not limited to projects where complex legacy
systems need to be phased-out. They include wider contexts, from the replacement of …
systems need to be phased-out. They include wider contexts, from the replacement of …
An Experience Report on Modernizing I/O Configuration Software
Q Noorshams, M Grötzner - Software Architecture: 15th European …, 2021 - books.google.com
When a system evolves, its architecture co-evolves and becomes more complex. Thus, the
development team needs to continuously expend modernizing efforts to reduce the …
development team needs to continuously expend modernizing efforts to reduce the …
An Experience Report on Modernizing I/O Configuration Software
When a system evolves, its architecture co-evolves and becomes more complex. Thus, the
development team needs to continuously expend modernizing efforts to reduce the …
development team needs to continuously expend modernizing efforts to reduce the …
Advanced Software Engineering: Develo** and testing model-based software securely and efficiently
I Schieferdecker, T Ritter - Digital Transformation, 2019 - Springer
Software rules them all! In every industry now, software plays a dominant role in technical
and business innovations, in improving functional safety, and also for increasing …
and business innovations, in improving functional safety, and also for increasing …