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