单项选择题
软件可靠性模型使用故障率数据，估计软件将来出现故障的情况并预测软件的（）。
A.可维护性B.可靠性C.可修改性D.可移植性
单项选择题 环形复杂度等于（）是模块规模的一个更科学更精确的上限。
单项选择题 （）图既能表达数据结构，也能表达程序结构。
单项选择题 下列哪项不属于应用形式化方法的准则（）。
