编写的程序应具备以下性质：
逻辑性：
程序由一系列逻辑语句组成，这些语句按照特定的顺序执行，以实现预定的功能。程序必须具备正确的逻辑关系，才能正确地完成任务。
可读性：
好的程序应该具备良好的可读性，即使是其他人也能够理解其中的逻辑和实现方式。良好的可读性有助于代码的维护和改进，提高开发效率。
可扩展性：
程序应该具备良好的可扩展性，即能够方便地进行功能的扩展和修改。良好的可扩展性使得程序可以适应不同的需求和变化的环境。
可重用性：
程序应该具备可重用性，即可以在不同的项目中被多次使用。可重用的代码可以减少开发时间和工作量，并提高代码的质量和稳定性。
可移植性：
程序应该具备可移植性，即可以在不同的平台和环境中运行。良好的可移植性使得程序可以在不同的设备上运行，并满足不同的用户需求。
效率性：
程序应该具备高效率，即能够在合理的时间内完成任务。高效率的程序可以提高用户体验，减少资源消耗，并提高系统的整体性能。
指令性：
程序是一系列操作指令的集合，通过这些指令告诉计算机如何执行特定的任务。每条指令都有明确的功能和目的，按照特定的顺序执行，从而实现程序的整体功能。
可执行性：
程序是可执行的，可以被计算机直接运行。计算机通过读取程序中的指令，按照指令的要求进行运算和处理，从而完成程序所描述的任务。
可重复性：
程序可以被多次执行，每次执行的结果都是一致的，只要初始条件和输入数据相同。这使得程序成为解决重复性任务、自动化处理的有力工具。
结构化：
程序具有良好的结构和组织形式，使得程序代码易于阅读、理解和维护。结构化程序设计通过使用模块化、分层、流程控制等技术，将程序划分为一系列可管理的模块，降低了程序的复杂度。
可维护性：
程序易于维护和修改，可以进行调试、优化、Bug修复等操作。良好的编码规范和注释，以及使用合适的软件开发工具，有助于提高程序的可维护性。
有穷性：
一个算法的操作步骤是有限的，不能是无限的。
确定性：
算法中的每一个步骤都要确定的词，不能含糊不清。
输入：
执行算法需要是什么。
输出：
程序需要得出的结果。
有效性：
要让程序有效进行，不出现异常，从而得到某个特定的结果。
可用性：
可以按照要求运行、有好的接口、易于访问。
可靠性：
相同的输入应该有相同的输出，不会随时间改变。
灵活性：
针对不同的情况易修改，可以通过低耦合、高内聚实现。
可接受性：
模块重用的成本可接受。
可访问性：
开发时间不能太久，可以通过重用减少开发时间。
这些性质共同构成了高质量程序的基础，有助于提高程序的功能性、可维护性和用户体验。