程序理論

程序形式（用戶角度）：具備必定計算功能（數據輸入輸出）的軟件 軟件：相對於硬件的信息媒體 程序質料結構（開發者）：一條以上的命令語句，被機器 執行 後產生 計算效應 ／計算規格 計算規格：對計算功能的形式規定

｀程序測試的對象不只是程序形式，還有程序的實現質料 對程序（形式），還對程序內部結構（實現質料）進行檢測？ 若是檢測的計算規格不僅是api，還有dep，檢測的包括了程序質料（內部結構），不只是形式

｀程序是指令語句（質料），也是計算功能（形式） 程序是一條以上的命令語句，被機器 執行 後產生 計算效應 ／計算規格 ～語句，指令和數據 ～執行 ～計算規格，比如人的身高，體重，知識水平 ～～程序規格是指，程序能作什麼，「計算功能」是程序的本質 ～～計算語句只是「計算功能」形式的實現質料 ～～程序規格就是程序的「計算功能」和形式描述

｀程序的各類面相 ｀程序與人 就像「人」有多種場景意義——真實的張三，小說中的人物，醫學上的人體，心理學的心靈，人也有幼兒、少年，成年，老年人等；「程序」也會根據不一樣場景（分析、生產和使用上等）有不一樣的所指：機器程序、高級語言程序、應用程序（軟件）、代碼庫程序（不完整，不能直接執行）

～程序的各類形態 單條語句，函數，類對象，和功能模塊都是特殊的【程序】，有的沒「殼」，有的簡單輸入，有的默認依賴…他們最明顯的區別，是複雜度在遞增，功能遞增

～結構分拆、功能抽象 ～程序開發／構造理論，產生了程序多種不完整形態 依賴轉譯的高級語言程序，依賴數據輸入的抽象程序，和依賴基礎環境的組件程序 運行依賴

某種程序構造法將程序「拆分」，才產生依賴

｀程序構造理論，和測試理論同樣，是程序理論的一種應用 應用理論是在基礎理論之上添加某實際內容 程序構造／建造是對「程序」的一種元操做 程序檢驗是對「程序」形式（計算規格）的元操做？

＋＋＋＋＋＋＋＋ 咱們在前一文介紹語言動態性時已經初步總結了有關「程序」的理論，而且給出常識性的程序構件，其中也有「類對象」——類對象是面向對象技術的基礎概念。就像沒有成熟的程序理論，彷佛也沒有成熟的關於「程序構造」的理論。

程序的各類複合構件，由複合度低到高分別是：語句、塊子句、函數、類對象和模塊。一支較複雜的程序，它的結構通常是這樣的，程序由一個以上模塊組成，模塊由一個以上類組成，類由一個以上的函數……如此類推就像一棵倒立的樹

｀「程序」是一種精神構造 程序的實質是一種認知計算，是對人邏輯認識過程的模擬，而執行程序的機器是一種非智能的「大腦」，智力有限。程序的存在乎義是完成計算，獲得一個計算結果。程序執行的過程是「弱智」機器遵循程序的指令序列不斷改變程序狀態，狀態的最後是指望的計算結果。

｀「程序」是完成特定任務的指令序列。 若是硬要將程序獨立分析，那麼程序的「屬」應該是指令（語言上的語句），指令序列仍是指令。任何有用的程序都是複合多條指令或語句的，程序的常規觀念並不影響單條指令語句也是程序這個事實。

｀程序的複合方式 常規的「程序」概念是指由多條語句組成，完成一項狀態多變的計算任務。多條語句會增長「程序」的結構涵義。