又称建模或软件模拟，是指用数学建模的方法去验证程序或系统是否存在问题，多应用于硬件领域，近年来逐渐引起软件领域的重视。