属于静态软件评估技术的是