填空题 软件的有效性函数A（t）定义为软件系统在（）按照规格说明成功运行的概率。

填空题 软件可靠性定义为在某个给定（）内，程序按照规格说明成功运行的概率。

填空题 Halstead给出了称为文本复杂性度量的模型。它是根据统计程序中的（）的个数来度量程序的复杂程度。