Con la proliferación de dispositivos de Internet de las Cosas y sistemas ciberfísicos, hay una creciente demanda de software altamente funcional y de alta calidad. Para abordar esta demanda, es crucial emplear métodos efectivos de verificación de software. El método propuesto se basa en el uso de cantidades físicas definidas por el Sistema Internacional de Unidades, que tienen dimensiones físicas específicas. Además, se utiliza una transformación de la orientación del valor físico introducida por Siano. Para evaluar la efectividad de este método, se han desarrollado modelos especializados de defectos de software. Estos modelos se basan en las características estadísticas del código C/C++ de código abierto utilizado en aplicaciones de drones. Las ventajas del método propuesto incluyen la detección temprana de defectos de software durante el tiempo de compilación, una duración reducida de las pruebas, ahorro de costos al identificar una parte significativa de defectos latentes, mejora de la calidad del software al mejorar la fiabilidad, robustez y rendimiento, así como complementar las técnicas de verificación existentes al centrarse en defectos latentes basados en características del software. Al implementar este método, se pueden lograr reducciones significativas en el tiempo de prueba y mejoras tanto en la fiabilidad como en la calidad del software. El método tiene como objetivo detectar el 90% de los usos incorrectos de variables de software y más del 50% de los usos incorrectos de operaciones tanto en tiempo de compilación como en tiempo de ejecución.