可跟踪性分析是一种重要的软件验证和确认方法。不属于可跟踪性分析的活动是______。

A．正确标识在需求规格说明中的每项需求

B．从需求规格开始的正向跟踪应确保完全支持需求规格

C．每个当前阶段产品的规格或特性应确保被可跟踪的前驱规格所支持

D．确保所有不同接口规格说明的完整性

已知：
int t=0;
while(t=1)
...
则以下叙述正确的是()。

A．循环控制表达式的值为O

B．循环控制表达式的值为1

C．循环控制表达式不合法

D．以上说法都不对