程序理论

程序形式（用户角度）：具有一定计算功能（数据输入输出）的软件 软件：相对于硬件的信息媒体 程序质料结构（开发者）：一条以上的命令语句，被机器 执行 后产生 计算效应 ／计算规格 计算规格：对计算功能的形式规定

｀程序测试的对象不仅是程序形式，还有程序的实现质料 对程序（形式），还对程序内部结构（实现质料）进行检测？ 如果检测的计算规格不只是api，还有dep，检测的包括了程序质料（内部结构），不仅是形式

｀程序是指令语句（质料），也是计算功能（形式） 程序是一条以上的命令语句，被机器 执行 后产生 计算效应 ／计算规格 ～语句，指令和数据 ～执行 ～计算规格，好比人的身高，体重，知识水平 ～～程序规格是指，程序能做什么，「计算功能」是程序的本质 ～～计算语句只是「计算功能」形式的实现质料 ～～程序规格就是程序的「计算功能」和形式描述

｀程序的各种面相 ｀程序与人 就像“人”有多种场景意义——真实的张三，小说中的人物，医学上的人体，心理学的心灵，人也有幼儿、少年，成年，老年人等；“程序”也会根据不同场景（分析、生产和使用上等）有不同的所指：机器程序、高级语言程序、应用程序（软件）、代码库程序（不完整，不能直接执行）

～程序的各种形态 单条语句，函数，类对象，和功能模块都是特殊的【程序】，有的没“壳”，有的简单输入，有的默认依赖…他们最明显的区别，是复杂度在递增，功能递增

～结构分拆、功能抽象 ～程序开发／构造理论，产生了程序多种不完整形态 依赖转译的高级语言程序，依赖数据输入的抽象程序，和依赖基础环境的组件程序 运行依赖

某种程序构造法将程序“拆分”，才产生依赖

｀程序构造理论，和测试理论一样，是程序理论的一种应用 应用理论是在基础理论之上添加某实际内容 程序构造／建造是对「程序」的一种元操作 程序检验是对「程序」形式（计算规格）的元操作？

＋＋＋＋＋＋＋＋ 我们在前一文介绍语言动态性时已经初步总结了有关「程序」的理论，并且给出常识性的程序构件，其中也有「类对象」——类对象是面向对象技术的基础概念。就像没有成熟的程序理论，似乎也没有成熟的关于「程序构造」的理论。

程序的各种复合构件，由复合度低到高分别是：语句、块子句、函数、类对象和模块。一支较复杂的程序，它的结构一般是这样的，程序由一个以上模块组成，模块由一个以上类组成，类由一个以上的函数……如此类推就像一棵倒立的树

｀「程序」是一种精神构造 程序的实质是一种认知计算，是对人逻辑认识过程的模拟，而执行程序的机器是一种非智能的“大脑”，智力有限。程序的存在意义是完成计算，得到一个计算结果。程序执行的过程是“弱智”机器遵循程序的指令序列不断改变程序状态，状态的最后是期望的计算结果。

｀「程序」是完成特定任务的指令序列。 如果硬要将程序独立分析，那么程序的「属」应该是指令（语言上的语句），指令序列还是指令。任何有用的程序都是复合多条指令或语句的，程序的常规观念并不影响单条指令语句也是程序这个事实。

｀程序的复合方式 常规的「程序」概念是指由多条语句组成，完成一项状态多变的计算任务。多条语句会增加「程序」的结构涵义。