源程序具有以下性质：
可读性：
源程序是人类可以理解的形式，应该具有良好的可读性。这使得程序员可以通过查看和修改源程序来理解程序的意图和逻辑，从而进行调试和改进。
可编译性：
源程序可以被计算机编译成可执行程序。编译器将源程序翻译成计算机能够执行的机器指令，这样的编译结果被称为目标代码。
可移植性：
源程序可以在不同的计算机系统上进行编译和执行。不同的计算机系统可能有不同的硬件和操作系统，但只要使用相同的编程语言和编译器，源程序可以在这些系统上进行移植。
可维护性：
源程序是程序员进行软件维护和升级的基础。通过对源程序的修改和扩展，程序员可以增加新的功能，修复错误，优化性能等。源程序的可读性和良好的结构可以方便程序员进行维护操作。
正确性：
源程序应该具有正确性，即能够正确地描述解决问题的步骤和逻辑，并能够在计算机上正常运行。
高效性：
源程序应该被写得尽可能高效，以保证程序在运行时能够快速且有效地执行任务。
结构特点：
源程序按照特定的编程语言的语法和结构规则编写，包含了各种语法元素，如变量声明、表达式、函数、类等。这些语法元素的排列和组织方式形成了程序的逻辑结构。
内存要求：
源程序在内存中的要求是指源程序经编译变成目标程序调入内存运行时，程序需要内存空间的大小。这与程序的性质和内存分配方式有关。
文件格式：
源程序通常以文本文件的形式存储，这种典型格式的目的是为了编译出计算机程序。
平台独立性：
源程序可以通过编译或解释器的适配，转换为特定平台的可执行代码，使得同一个源程序可以在不同的计算机和操作系统上运行。
这些性质共同构成了源程序的基本特征，使得源程序能够成为计算机程序的基础，并通过编译或解释转化为计算机能够执行的代码。