参考答案：

软件可靠性是指程序在给定的时间间隔内，按照说明书的规定，成功地运行的概率。

软件可用性是指程序在给定的时间点，按照说明书的规定，成功地运行的概率。

软件正确性是指程序的功能正确。