Hoy en día, los sistemas embebidos son cada vez más complejos, lo que significa que los métodos de prueba tradicionales son costosos de utilizar y poco viables de aplicar directamente debido a las complejas interacciones entre hardware y software. También se exige que los sistemas embebidos modernos funcionen con computación de bajo consumo energético. Por lo tanto, probar el uso de energía es cada vez más importante. Los artefactos producidos durante el desarrollo de sistemas embebidos, como las descripciones arquitectónicas, son abstracciones beneficiosas de la compleja estructura y comportamiento del sistema. El Lenguaje de Descripción de Arquitectura de Herramientas Electrónicas y Software (EAST-ADL) es un ejemplo de un lenguaje arquitectónico específico de dominio dirigido a la industria automotriz. En este artículo, proponemos un método para probar modelos de diseño utilizando mutaciones de arquitectura EAST-ADL. Mostramos cómo se puede utilizar la prueba basada en fallos para generar, ejecutar y seleccionar pruebas utilizando mutantes conscientes de la energía: cambios sintácticos en la descripción arquitectónica, utilizados para imitar fallos de energía que ocurren naturalmente. Nuestro objetivo es mejorar la prueba de sistemas embebidos complejos trasladando la carga de pruebas de los sistemas reales a modelos de sus comportamientos y requisitos no funcionales. Combinamos la verificación de modelos estadísticos, cada vez más utilizada en la garantía de calidad de sistemas embebidos, con modelos arquitectónicos EAST-ADL y pruebas de mutación para impulsar la búsqueda de fallos. Mostramos los resultados de aplicar este método en un sistema de tamaño industrial desarrollado por Volvo GTT. Los resultados indican que la prueba de modelos de modelos arquitectónicos EAST-ADL puede reducir la complejidad de las pruebas al proporcionar automatización temprana y rentable.