Search

Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems, combined with the un certainty in their interactions with the physical world, makes the definition of effective test oracles especially challenging, facing the well-known test oracle problem. Metamorphic testing has shown great potential to alleviate the test oracle problem by exploiting the relations among the inputs and outputs of different executions of the system, so-called metamorphic relations (MRs). In this article, we propose an MR pattern called PV for the identification of performance-driven MRs, and we show its applicability in two CPSs from different domains, which are automated navigation systems and elevator control systems. For the evaluation, we as sessed the effectiveness of this approach for detecting failures in an open-source simulation-based autonomous navigation system, as well as in an industrial case study from the elevation domain. We derive concrete MRs based on the PV pattern for both case studies, and we evaluate their effectiveness with seeded faults. Results show that the approach is effective at detecting over 88% of the seeded faults, while keeping the ratio of FPs at 4% or lower.

Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation tasks in this context are costly, since they rely on the manual intervention of domain experts at some points of the process. This is mainly due to the difficulty to assess whether the elevators behave as expected in the different test scenarios, the so-called test oracle problem. Metamorphic testing is a thriving testing technique that alleviates the oracle problem by reasoning on the relations among multiple executions of the system under test, the so-called metamorphic relations. In this practical experience paper, we report on the application of metamorphic testing to verify an industrial elevator dispatcher. Together with domain experts from the elevation sector, we defined multiple metamorphic relations that consider domain-specific quality of service measures. Evaluation results with seeded faults show that the approach is effective at detecting faults automatically

Zer da identitate digitala? - Identitate digitala osatzen duten elementuak - Identitate digitalaren ezaugarriak - Gehiago jakiteko..., ¿Qué es la identidad digital? - Elementos que componen la identidad digital - Características de la identidad digital - Para saber más...

Zer da eta zerk osatzen du zure aztarna digitala? Sare sozialetako jarduera, Bilatzaileak erabiltzea eta webguneak, blogak keta abar bisitatzea, Telefono mugikorrak, tabletak eta haien aplikazioak erabiltzea. - Zergatik zaindu zure aztarna digitala? - Nola kudeatu zure aztarna digitala? - Gehiago jakiteko..., ¿Qué es y qué conforma tu huella digital? Actividad en las redes sociales, Uso de buscadores y visitas a páginas web, blogs etc., Uso de teléfonos móviles, tabletas y sus aplicaciones. - ¿Por qué cuidar tu huella digital? - ¿Cómo gestionar tu huella digital? - Para saber más...

Netiketaren definizioa - Arau orokorra - Foroei eta postei buruzko arau zehatzak - Txaterako arauak - Netiketa sarea: sare sozialak, Definición de Netiqueta - Normas generales - Normas específicas foros y correos - Normas para chat - Netiqueta joven: redes sociales

Zer da Mendeley - Mendeleyn kontua egin - Nola funtzionatzen du Mendeleyk - Mendeley Reference Manager instalatu - Mendeley Reference Managerren interfazea - Mendeleyn erreferentziak gorde - Erreferentziak antolatu eta berreskuratu Mendeleyn - Mendeleyn erreferentziak erabili, Qué es Mendeley - Crear una cuenta en Mendeley - Cómo funciona Mendeley - Instalar Mendeley Reference Manager - La interfaz de Mendeley Reference Manager - Almacenar referencias en Mendeley - Organizar y recuperar referencias en Mendeley - Utilizar las referencias de Mendeley

Aipamenak nola egin. Aipamen-estiloak. Zer estilo erabili. Zer datu aipatu erreferentzia batean. Ondorioak. Gehiago jakiteko..., Cómo citar. Estilos de cita. Qué estilo de cita utilizar. Qué datos hay que incluir en una referencia. Conclusión. Para saber más...

1.3 atalaren aurkezpena. Aurkibidea: Aipu eta erreferentzia bibliografikoak, Aipu-estiloak, Bibliografia-kudeatzaileak, Mendeley., Presentación del apartado 1.3. Sumario: Citas y referencias bibliográficas, Estilos de cita, Gestores bibliográficos, Mendeley.

Informazioa: zer eta non bilatzen dugu. Web baliabideak bilatu: Google akademikoa. Datu-baseak., La información: qué y dónde buscamos. Busca recursos web: Google académico. Bases de datos.

Zerbitzu digitalak erabiltzearen arriskuak - Erabilera-baldintzak eta pribatutasun-politikak - Nola babestu gure datu pertsonalak - Gehiago jakiteko..., Riesgos de uso de los servicios digitales - Términos de uso y políticas de privacidad - Cómo proteger nuestros datos personales - Para saber más...

Zer dira Creative Commons lizentziak. Onurak. Motak. Nola lortu., Qué son las licencias Creative Commons. Beneficios. Tipologías. Cómo obtenerlas.

Kudeatzaile bibliografiko bat zer den. Zertarako balio duen (Erreferentziak gordetzea, erreferentziak antolatzea, testu osoan oharrak jartzea eta azpimarratzea, bilatzea eta berreskuratzea, aipamenak eta erreferentziak gehitzea). Zer kudeatzaile bibliografiko erabili. Gehiago jakiteko..., Qué es un gestor bibliográfico. Para qué sirve (Almacenar referencias, organizar referencias, anotar y subrayar el texto completo, buscar y recuperar, incorporar citas y referencias). Qué gestor bibliográfico utilizo. Para saber más...

Identitate digitala konfiguratzeko erremintak - Agerikotasuna - Ospea - Pribatutasuna - Gehiago jakiteko..., Herramientas para configurar la identidad digital - Visibilidad - Reputación - Privacidad - Para saber más...

Segurtasun-mehatxuak linean - Malware: Birusa. Zizarea. Spyware. Adware. Ransomware. Troiatarra. - Phishing - Botnet - Spam, Amenazas de seguridad en línea - Malware: Virus. Gusano. Spyware. Adware. Ransomware. Troyano. - Phishing - Botnet - Spam

Informazio pertsonala lapurtzea - Identitatea aldatzea: Identitate digitala ordeztea, Pribatutasunerako mehatxuak, Erasoak irudiari eta online ospeari - Gomendioak - Gehiago jakiteko..., Robo de información personal - Alteración de la identidad: Suplantación de identidad digital, Amenazas para la privacidad, Ataques a la imagen y a la reputación online - Recomendaciones - Para saber más...

Zer da zaharkitzea? - Erosi, erabili eta bota - Gogoeta egiteko datu batzuk - Eta zer egingo dugu hondakin teknologikoekin? - Lege-araudia betetzea - Jarraitu beharreko ekintzak, ¿Qué es la obsolescencia? - Comprar, usar y tirar - Algunos datos para reflexionar - ¿Y qué hacemos con los residuos tecnológicos? - Seguir la normativa legal - Acciones a seguir

Sarrera. Aipamenak zergatik. Aipamenak noiz. Aipamen eta erreferentzia bibliografikoak. Aipamenak nola. Gehiago jakiteko..., Introducción. Por qué citar. Cuándo se debe citar. Citas y referencias bibliográficas. Cómo citar. Para saber más...

Tresna motak: - Aurkezpenak sortzeko - Diagramak sortzeko - Kartelak, posterrak eta argitalpenak sortzeko - Audio eta bideoak sortzeko eta kudeatzeko - Blog eta orri pertsonalak sortzeko eta kudeatzeko Gehiago jakiteko..., Herramientas: - Para la creación de presentaciones - Para la creación de diagramas - Para la creación de carteles, pósters y publicaciones - Para la creación y gestión de audio y vídeo - Para la creación y gestión de blogs y páginas personales Para saber más...

Gailuen babesa: Gailura sarbidea. Sistema eragilea. Aplikazio eta programak. Fitxategiak eta karpetak. Web-nabigazioa. Haririk gabeko konexioak. Geolokalizazioa. Babes-sistemak. Informazio-kanalak. Sen ona., Protección de dispositivos: Acceso al dispositivo. Sistema operativo. Aplicaciones y programas. Archivos y carpetas. Navegación web. Conexiones inalámbricas. Geolocalización. Sistemas de protección. Canales de información. Sentido común.

Lankidetza - Lankidetza linean - Lankidetza-tresnak linean: Tresnak hodeian, Ezaugarriak, Funtzioak, Trabajo colaborativo - Colaborar en línea - Herramientas de colaboración en línea: Herramientas en la nube, Características, Funciones

Bilaketa tresnak eta biblioteketako katalogoak. Informazio atariak eta datu baseak. Internet., Herramientas de búsqueda y catálogos de Bibliotecas. Portales de información y bases de datos. Internet.

Bilaketa bibliografikoa. Aipuak eta erreferentziak gehitzea. Bibliografia kudeatzaileak (Zure ikerketa guztia online biltegiratzea, Datu-baseetatik, katalogoetatik, bilatzaileetatik, etab. erreferentziak esportatzea, Datu-base bat automatikoki sortu eta antolatzea, PDFak irakurri, azpimarratu eta idaztea, Erreferentziak partekatzea, Aipamenak eta erreferentziak automatikoki sartzea)., La revisión bibliográfica. La inserción de citas y referencias. Los gestores bibliográficos (Almacenamiento en línea de toda tu investigación, Exportar referencias desde bases de datos, catálogos, buscadores, etc., Crear y organizar una base de datos de forma automática, Leer, subrayar y anotar PDFs, Compartir las referencias, Inclusión automatizada de citas y referencias).

Intimitaterako eta pribatutasunerako eskubidea: Kontzeptua. Legeria - Netiketa: Kontzeptua. Besteen pribatutasunarekiko loturiko Netiketa - Gehiago jakiteko..., Derecho a la intimidad y la privacidad: Concepto. Legislación - Netiqueta: Concepto. Netiqueta relacionada con la privacidad de los demás - Para saber más...