正文

一些经常使用、经过检验的规范化程序或子程序的集合。程序库里的程序必须是经常使用的，如开方、三角函数、指数和对数函数、代数方程、微分方程和积分方程的求解程序等。这些程序往往被收入程序库中，构成通用程序库。另有一些具有专门用途的应用程序，如计帐、货单、工资计算等，可以构成专用程序库。只有经过严格检验的程序才能放在程序库里。检验，就是对程序作充分的测试。通常进行的有正确性测试、精度测试、速度测试、边界条件和出错状态的测试。经过检验的程序不但能保证计算结果的正确性，而且对错误调用也能作出反应。程序库中的程序都是规范化的。所谓规范化有三重含义：① 同一库里所有程序的格式是统一的；② 对这些程序的调用方法是相同的；③ 每个程序所需参数的数目、顺序和类型都是严格规定好的。程序库通常以文卷方式保存在各种存储设备上，最常见的是放在磁盘或磁带中。程序库必须具有完整的使用说明供用户查询，以便正确地调用库中的程序。使用说明一般包括程序名、程序功能、变量表、调用方式、结果格式、计算精度和速度的说明、错误信息报告以及算法和例题等。