[单选题]目前被普遍采用的程序正确性验证方法是（）A . 理论法B . 实验法C . 试验法D . 模拟法

[主观题]程序正确性证明是用______来证明程序正确性的方法。

[单选题]检验程序正确性的方法不包括（）方法。A .空运行B .图形动态模拟C .自动校正D .试切削

[问答题] 软件维护有哪几种类型？

[问答题] 图块有几种类型？这几种类型有何不同之处？

[问答题] 真菌的营养体有几种类型？其变态结构主要有几种类型？

等价类法 单元测试 集成测试软件测试有几种方法?每种方法的特点是什么?

[问答题] 测量结果不确定度验证有哪几种方法？

[问答题] 什么是程序性细胞死亡相关基因？有几种类型？

[多选题] 性偏好障碍有以下几种类型（）A . 露阴症B . 恋物症C . 恋童症D . 窥阴症