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