根据《GB、T12504-90计算机软件质量保证计划规范》的规定，为了确保软件的实现满足需求，需要的基本文档不包括（）。

A．软件需求规格说明书

B．软件界面设计说明书

C．软件验证和确认报告

D．用户文档

某纺织公司诉某服装公司欠款20万元，法院判决纺织公司胜诉，执行过程中法院发现服装公司无力偿还，但某商场欠服装公司货款10万元，早已到期，一直未还。请回答以下问题。

此种情况下，谁可以提出执行商场的到期债务

A．纺织公司

B．服装公司

C．法院依职权主动执行

D．法院征得商场同意予以执行