aspice是一种非常重要的流程体系，其中代码验证属于是软件规范中的实现部分。