Bilatu
13-tik 11-13 emaitza erakusten
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
(IEEE, 2021)
Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ...
Model-Based Testing in Practice: An Industrial Case Study using GraphWalker
(ACM, 2021)
Model-based testing (MBT) is a test design technique that supports the automation of software testing processes and generates test artefacts based on a system model representing behavioural aspects of the system under test ...
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
(IEEE, 2023)
Programmable Logic Controllers (PLCs) are the core unit of the production system, which frequently need to implement new processes to address customer needs. These changes must be fully tested to ensure the reliability of ...