本讲中主讲老师用了一则black cat的幽默，形象地描述了软件的特性，那么以下不属于这则幽默所描绘的软件特性是________。

A.不可视性与主观性

B.软件规模与复杂性

C.易变性与不确定性

D.灵活性与易用性

A.可将用户的编程思想自动转换成程序代码

B.集成可视化程序开发环境

C.对象框架中的对象具有事件编程机制

D.是一种基于对象框架构造软件的集成开发环境

A.类图

B.状态图

C.活动图

D.数据流图

A.软件满足用户需求，但测试人员认为用户需求不合常理。

B.软件实现了产品规格没有提到的功能

C.软件中出现了产品规格说明不应该出现的功能

D.软件没有实现产品规格说明所要求的功能

A.VDM语言

B.Z语言

C.C语言

D.Petri网