源程序要求：正确可靠、简明清晰、效率高。
（1）源程序的正确性是对程序质量的最基本要求；
（2）源程序的简明清晰，便于验证源代码和模块规格说明的一致性，容易进行测试和维护；
（3）对于大多数模块，编码时应该把简明清晰放在第一位；
（4）除了编码阶段产生源代码外，在测试阶段也需要编写一些测试程序，用于对软件的测试。