根据GB/T 12504《计算机软件质量保证计划规范》的规定，为了确保软件的实现满足要求，所必须的基本文档不包括( )。