se basa en un conjunto de reglas que proporcionan al ingeniero del software descubrir y corregir problemas potenciales.