編譯原理真鏈和假鏈

㈠ 求知道上海大學計算機專業考研有哪些科目

上海大學計算機專業考研主要有：

（1）301數學一

（2）201英語一

（3）101思想政治理論

（4）專業課

081200 計算機科學與技術（一）

考試科目：1．101思想政治理論2．201英語一3．301數學一4．832計算機組成原理與數據結構5．C++程序設計、編譯原理（復試科目）

• 081200 計算機科學與技術（二）

考試科目：1．101思想政治理論2．201英語一3．301數學一4．408計算機學科專業基礎綜合5．復試科目：C++程序設計 或 編譯原理

具體信息可以到上海大學研究生-招生目錄查詢。

(1)編譯原理真鏈和假鏈擴展閱讀：

上海大學計算機工程與科學學院始建於1988年，由上海工業大學計算機工程系和上吵友數海科學技術大學計算機科學系告枯聯合成立，學院是在錢偉長老校長親切關懷下成立的上海市高校中第一所計算機學院，清華大學教授李三立院士為首任院長。1994年，隨著新上海大學的誕生，原上海大學計算機應用系和原上海高等科技專科學校計算機應用系也加入計算機學院，聯合成立的計算機學院正式命名為升首上海大學計算機工程與科學學院。

學院師資力量雄厚，現有教職工112名，其中專任教師82名，具有博士學位的教師65名，其中正高級職稱18名，副高級職稱37名，中級職稱27名。在讀本科生997人，碩士生416人，博士生106人。學院擁有計算機應用技術二級博士點1個，擁有計算機科學與技術、軟體工程2個一級碩士點，計算機科學與技術全部3個二級碩士點，計算機科學與技術本科專業1個。近年來，計算機學院的研究工作主要圍繞智能信息處理、多媒體技術、高性能計算、軟體工程、信息安全與光計算機等方向開展。學院現有上海大學先進計算和應用中心、上海市上大多媒體應用技術研究中心、上海市高性能計算機及網路技術研發平台3個研究中心，計算機科學與技術系、智能科學與技術系兩個系和上海大學高性能計算中心一個公共平台。

㈡ 編譯原理的發展歷程

在20世紀40年代，由於馮·諾伊曼在存儲-程序計算機方面的先鋒作用，編寫一串代碼或程序已成必要，這樣計算機就可以執行所需的計算。開始時，這些程序都是用機器語言 （machine language ）編寫的。機器語言就是表示機器實際操作的數字代碼，例如：
C7 06 0000 0002 表示在IBM PC 上使用的Intel 8x86處理器將數字2移至地址0 0 0 0 （16進制）的指令。
但編寫這樣的代碼是十分費時和乏味的，這種代碼形式很快就被匯編語言（assembly language ）代替了。在匯編語言中，都是以符號形式給出指令和存儲地址的。例如，匯編語言指令 MOV X,2 就與前面的機器指令等價（假設符號存儲地址X是0 0 0 0 ）。匯編程序（assembler ）將匯編語言的符號代碼和存儲地址翻譯成與機器語言相對應的數字代碼。
匯編語言大大提高了編程的速度和准確度，人們至今仍在使用著它，在編碼需要極快的速度和極高的簡潔程度時尤為如此。但是，匯編語言也有許多缺點：編寫起來也不容易，閱讀和理解很難；而且匯編語言的編寫嚴格依賴於特定的機器，所以為一台計算機編寫的代碼在應用於另一台計算機時必須完全重寫。
發展編程技術的下一個重要步驟就是以一個更類似於數學定義或自然語言的簡潔形式來編寫程序的操作，它應與任何機器都無關，而且也可由一個程序翻譯為可執行的代碼。例如，前面的匯編語言代碼可以寫成一個簡潔的與機器無關的形式 x = 2。
在1954年至1957年期間，IBM的John Backus帶領的一個研究小組對FORTRAN語言及其編譯器的開發，使得上面的擔憂不必要了。但是，由於當時處理中所涉及到的大多數程序設計語言的翻譯並不為人所掌握，所以這個項目的成功也伴隨著巨大的辛勞。幾乎與此同時，人們也在開發著第一個編譯器， Noam Chomsky開始了他的自然語言結構的研究。他的發現最終使得編譯器結構異常簡單，甚至還帶有了一些自動化。Chomsky的研究導致了根據語言文法（grammar ，指定其結構的規則）的難易程度以及識別它們所需的演算法來為語言分類。正如現在所稱的-與喬姆斯基分類結構（Chomsky hierarchy ）一樣-包括了文法的4個層次：0型、1型、2型和3型文法，且其中的每一個都是其前者的專門化。2型（或上下文無關文法（context-free grammar ））被證明是程序設計語言中最有用的，而且今天它已代表著程序設計語言結構的標准方式。
分析問題（ parsing problem ，用於限定上下文無關語言的識別的有效演算法）的研究是在20世紀60年代和70年代，它相當完善地解決了這一問題， 現在它已是編譯理論的一個標准部分。它們與喬姆斯基的3型文法相對應。對它們的研究與喬姆斯基的研究幾乎同時開始，並且引出了表示程序設計語言的單詞（或稱為記號）的符號方式。
人們接著又深化了生成有效的目標代碼的方法，這就是最初的編譯器，它們被一直使用至今。人們通常將其誤稱為優化技術（optimization technique ），但因其從未真正地得到過被優化了的目標代碼而僅僅改進了它的有效性，因此實際上應稱作代碼改進技術（code improvement technique ）。
這些程序最初被稱為編譯程序-編譯器，但更確切地應稱為分析程序生成器 （parser generator ），這是因為它們僅僅能夠自動處理編譯的一部分。這些程序中最著名的是 Yacc （yet another compiler- compiler），它是由Steve Johnson在1975年為Unix系統編寫的。
類似地，有窮自動機的研究也發展了另一種稱為掃描程序生成器 （scanner generator ）的工具，Lex （與Yacc同時，由Mike Lesk為Unix系統開發的）是這其中的佼佼者。在20世紀70年代後期和80年代早期，大量的項目都關注於編譯器其他部分的生成自動化，這其中就包括代碼生成。這些嘗試並未取得多少成功，這大概是因為操作太復雜而人們又對其不甚了解。
編譯器設計最近的發展包括：首先，編譯器包括了更為復雜的演算法的應用程序，它用於推斷或簡化程序中的信息；這又與更為復雜的程序設計語言（可允許此類分析）的發展結合在一起。其中典型的有用於函數語言編譯的Hindle y - Milner類型檢查的統一演算法。
其次，編譯器已越來越成為基於窗口的交互開發環境（interactive development environment，IDE ）的一部 分，它包括了編輯器、鏈接程序、調試程序以及項目管理程序。這樣的IDE的標准並沒有多少， 但是已沿著這一方向對標準的窗口環境進行開發了。

㈢ 編譯原理：靜態數組的存儲空間可以在編譯時確定。這句話為什麼是錯的。請給出詳細原因，謝謝。

靜態數組指的是寫代碼期間就知道大小的數組，比如int a[10];

char s[] = "hello";

這個靜態和動態分配相區別，不要和static弄混了，static/extern/auto是用於說明變數的存儲方式——也就是說，靜態數組也可以是static的，也可以是extern的，也可以是auto的。

舉個例子，下面就是一個靜態數組，但是存儲方式是auto的。

voidtest()
{
inta[10];
}

這個數組的存儲空間無法在編譯時候確定，只能在運行期間確定，原因是：盡管可以確定數組的大小，但是不能確定它的首地址。

再比如：

static int sa[10] = {0};

這個數組的存儲空間在編譯時，就可以確定了。

㈣ 編譯原理 什麼是靜態鏈

1、路由器的工作原理
路由工作簡單原理圖
在這里插入圖片描述
1）主機1.1要發生數據包給主機4.1.因為IP地址不在同一網段，所以主機會將數據包發送給本網段的網關路由器。
2）路由器A 接收到數據包，先查看數據包IP首部中的目標IP地址。再查找自己的路由表。數據包的目標IP地址是4.1.屬於4.0網段，路由器A 在路由表中查到4.0網段轉發的介面是S0介面，於是路由器A將數據從S0介面轉發出去。
3）網路中的每個路由器都是按照這樣的步驟轉發數據的，直到到達路由器B，再用同樣的方法從E0介面轉發出去，最後主機4.1接收到這個數據包。
2、路由表
（1）概念
路由器中維護的路由條目的集合。
路由器根據路由表做的路徑選擇。
（2）路由表的形成
1）直連網段
配置IP地址，埠UP 狀態，形成直連路由。
2）非直連網段
需要靜態路由或動態路由，將網段添加到路由表中。
3、靜態路由
由管理員手工配置的，是單向的。缺乏靈活性。
管理員可以通過靜態路由來控制數據包在網路中的流動。
4、默認路由
一種特殊的靜態路由，當路由器在路由表中找不到目標網路的路由條目時，路由器把請求轉發到默認路由介面。
當默認路由存在末梢網路時，默認路由會大大簡化路由器的配置。
5、路由器轉發數據包的分裝過程
HostA向HostB發送數據
在這里插入圖片描述
1）HostA在網路層將上層的報文封裝成IP數據包，其首部包含源地址和目的地址。源地址即本機IP地址192.168.1.2，目的地在為HostB的IP地址192.168.2.2，HostA使用本機配置的24位掩碼於目的地址進行「與」運算，得出目的地在與本機地址不在同一網段，因此發往HostB的數據包需要經過網關路由器A轉發。
2）HostA通過ARP請求獲得默認網關路由器A 的E0介面MAC 地址00-11-12-21-22-22.在數據鏈路層HostA將IP數據包封裝成乙太網數據幀，在乙太網首部的源MAC地址為00-11-12-21-11-11，目的MAC地址為網關E0介面的MAC地址00-11-12-21-22-22
3）路由器A從E0介面接收到數據幀，把數據鏈路層的封裝去掉。路由器A認為這個IP數據包是要通過自己進行路由轉發，所以路由器A會自己查找自己的路由表，尋找與目標IP地址192.168.2.2相匹配的路由表項，然後根據路由表的下一跳地址將數據包轉發到E1介面。
4）在E1介面路由器A 重新封裝乙太網幀，此時源MAC地址為路由器A的E1介面MAC地址00-11-12-21-33-33，目的MAC地址為與之相連的路由器B的E1介面MAC地址00-11-12-21-44-44
5）路由器B從E1介面接收到數據幀，同樣會吧數據鏈路層的封裝去掉。對目的IP地址進行檢查，並與路由表進行匹配，然後根據路由表的下一跳信息將數據包轉發到E0介面。路由器B發現目的網段與自己的E0介面相連，通過ARP廣播，路由器B獲得HostB以太口的MAC地址00-11-12-21-66-66.路由器B在將IP數據包封裝成乙太網幀，源MAC地址為路由器B的E0介面的MAC地址00-11-12-21-55-55，目的MAC地址為HostB的MAC地址00-11-12-21-66-66.封裝完畢，將乙太網幀從E0介面發往HostB.

㈤ 編譯原理拉鏈回填技術是怎麼實現的啊

回填技術是指控制語句中布爾表達式翻譯成四元式序列時，有的轉移地址不能在產生這些四元式的同時得知，需要在適當的時候回填這個地址。
拉鏈技術是指為了記錄需要回填地址的四元式，把需要回填E•ture的四元式拉成一條鏈，稱為「真鏈」；把需要回填E•false的四元式拉成一條鏈，稱為「假」鏈；這就是拉鏈技術。

㈥ 操作系統原理和編譯原理區別

編譯原理的編譯部分和靜態鏈敏歲寬接部分是運行在操作雀或系統上的系統程序。
操作系統是一類比較獨立的系統程序，操作系統有支持各種【圖靈機】的體系類型，比如16位DOS，32位Windows，X86的BSD，ARM的 linux等。
編譯原理是一支將橋亮抽象度較高的編程語言程序（也稱源程序）【轉化】成抽象度較低的編程語言程序（也稱目標程序）的【程序】，抽象度的兩端分別是機器語義和人理解語義，【處理器體系】和【編程語言】是一支編譯程序的根本屬性。

㈦ 編譯原理-編譯靜態庫並鏈接

編譯成.o 文件（目標文件）只需要包含頭文件，並且能找到頭文件路徑即可

之後需要把編譯好的 TestExample.o 名稱修改為 libTestExample.a ,直接當做靜態庫使用（靜態庫.a文件實際上是.o文件的合集）
或者使用下面的命令把.o打包成靜態庫

然後開始鏈接成可執行文件，mach-o文件

鏈接成功後，執行mach-o

看到列印，運行成功！

使用objmp 命令查看

整個編譯過程腳本：

㈧ 用VS編譯和C++源文件的時候，源文件和庫文件是如何鏈接到源文件的具體細節

因為我是學習計算機軟體專業的，故可以給你講一下大概意思，我也不敢保證我講得都是正確的。個人講解僅供參考。這個是需要學習《計算機編譯原理》這門課程的。而且《計算機編譯原理》這門課程在軟體專業中幾乎是最抽象的、難於理解的。
首先關於 Visual Studio編譯器（或者是別的 C/C++編譯器）是如何將用戶親自編寫的源程序經過若干步驟之後，最終變成計算機可執行的二進制代碼程序？這裡面經過了如下步驟：
（1）、詞法分析/語法分析。也就是說當編譯器對用戶編寫的源程序進行編譯時，首先檢查你的詞法（或者是語法）是否正確，這是第一步（這里以 C 語言為例，假如將定義一個整型變數 n 的語句 int n ; 誤寫成了：intt n ; 屬於語法錯誤）。如果這一步都沒有通過編譯器的檢查的話，那麼絕對不會進入第二步。繼續返回編輯狀態進行語法檢查。這種錯誤是最容易檢查的。
（2）、語義分析。這類錯誤就要比（1）困難得多。這類錯誤舉例如下（這類錯誤編譯器只是會給出一個警告信息，但是編譯器是會放過這類錯誤的。故需要編程人員具有較豐富的編程經驗）
void main( )
{
int num ; /* 定義一個整型變數 num */
scanf("%d", &num ) ; /* 從鍵盤上輸入一個整數 */
if( num == 10 ) /* 在這個語句中，如果將邏輯判斷等於號 ==，誤寫為數值等於 =（即：if( num = 10 )），那麼該程序的執行結果始終輸出：Correct。因為該邏輯表達式 if( 10 ) 的真值始終為 1。 */
printf( "Correct !\n" ) ; /* 實際上程序的本意是：如果輸入的數值等於 10，則輸出：Correct ! */
else /* 如果輸入的數值不等於 10 的話，則輸出：Error ! */
printf( "Error !\n" ) ;
}
（3）、在（1）和（2）的基礎上進行中間代碼生成（例如：在Linux 系統下面生成的 *.o 文件、或者是在 WINDOWS 系統下面生成的 *.obj 文件），這類文件還不是最終的可執行文件。
在此過程中，會應用到各種符號表，以便處理用戶程序中使用的各種常量、變數、以及各種函數，等等。
（4）、在前三個階段的基礎上，最終 VS 編譯器再將中間代碼（*.obj 文件）和其本身提供的庫文件（*.LIB）進行鏈接，最終產生可執行程序（Linux 系統使用的編譯器是：gcc，Linux 系統下面的可執行文件名可以任意，WINDOWS 系統下面的可執行文件名為：*.EXE 文件）。
到此為止，一個用戶編寫的源程序，經過上面若干步驟之後，最終產生了可執行程序，此時就可以在機器上的相應的操作系統上執行了。

㈨ 編譯原理

C語言編譯過程詳解
C語言的編譯鏈接過程是要把我們編寫的一個C程序(源代碼)轉換成可以在硬體上運行的程序(可執行代碼)，需要進行編譯和鏈接。編譯就是把文本形式源代碼翻譯為機器語言形式的目標文件的過程。鏈接是把目標文件、操作系統的啟動代碼和用到的庫文件進行組織形成最終生成可執行代碼的過程。過程圖解如下：

從圖上可以看到，整個代碼的編譯過程分為編譯和鏈接兩個過程，編譯對應圖中的大括弧括起的部分，其餘則為鏈接過程。
一、編譯過程
編譯過程又可以分成兩個階段：編譯和匯編。
1、編譯
編譯是讀取源程序(字元流)，對之進行詞法和語法的分析，將高級語言指令轉換為功能等效的匯編代碼，源文件的編譯過程包含兩個主要階段：
第一個階段是預處理階段，在正式的編譯階段之前進行。預處理階段將根據已放置在文件中的預處理指令來修改源文件的內容。如#include指令就是一個預處理指令，它把頭文件的內容添加到.cpp文件中。這個在編譯之前修改源文件的方式提供了很大的靈活性，以適應不同的計算機和操作系統環境的限制。一個環境需要的代碼跟另一個環境所需的代碼可能有所不同，因為可用的硬體或操作系統是不同的。在許多情況下，可以把用於不同環境的代碼放在同一個文件中，再在預處理階段修改代碼，使之適應當前的環境。
主要是以下幾方面的處理：
(1)宏定義指令，如 #define a b。
對於這種偽指令，預編譯所要做的是將程序中的所有a用b替換，但作為字元串常量的 a則不被替換。還有 #undef，則將取消對某個宏的定義，使以後該串的出現不再被替換。
(2)條件編譯指令，如#ifdef，#ifndef，#else，#elif，#endif等。
這些偽指令的引入使得程序員可以通過定義不同的宏來決定編譯程序對哪些代碼進行處理。預編譯程序將根據有關的文件，將那些不必要的代碼過濾掉
(3) 頭文件包含指令，如#include "FileName"或者#include <FileName>等。
在頭文件中一般用偽指令#define定義了大量的宏(最常見的是字元常量)，同時包含有各種外部符號的聲明。採用頭文件的目的主要是為了使某些定義可以供多個不同的C源程序使用。因為在需要用到這些定義的C源程序中，只需加上一條#include語句即可，而不必再在此文件中將這些定義重復一遍。預編譯程序將把頭文件中的定義統統都加入到它所產生的輸出文件中，以供編譯程序對之進行處理。包含到C源程序中的頭文件可以是系統提供的，這些頭文件一般被放在/usr/include目錄下。在程序中#include它們要使用尖括弧(<>)。另外開發人員也可以定義自己的頭文件，這些文件一般與C源程序放在同一目錄下，此時在#include中要用雙引號("")。
(4)特殊符號，預編譯程序可以識別一些特殊的符號。
例如在源程序中出現的LINE標識將被解釋為當前行號(十進制數)，FILE則被解釋為當前被編譯的C源程序的名稱。預編譯程序對於在源程序中出現的這些串將用合適的值進行替換。
預編譯程序所完成的基本上是對源程序的「替代」工作。經過此種替代，生成一個沒有宏定義、沒有條件編譯指令、沒有特殊符號的輸出文件。這個文件的含義同沒有經過預處理的源文件是相同的，但內容有所不同。下一步，此輸出文件將作為編譯程序的輸出而被翻譯成為機器指令。
第二個階段編譯、優化階段。經過預編譯得到的輸出文件中，只有常量；如數字、字元串、變數的定義，以及C語言的關鍵字，如main,if,else,for,while,{,}, +,-,*,\等等。
編譯程序所要作得工作就是通過詞法分析和語法分析，在確認所有的指令都符合語法規則之後，將其翻譯成等價的中間代碼表示或匯編代碼。
優化處理是編譯系統中一項比較艱深的技術。它涉及到的問題不僅同編譯技術本身有關，而且同機器的硬體環境也有很大的關系。優化一部分是對中間代碼的優化。這種優化不依賴於具體的計算機。另一種優化則主要針對目標代碼的生成而進行的。
對於前一種優化，主要的工作是刪除公共表達式、循環優化(代碼外提、強度削弱、變換循環控制條件、已知量的合並等)、復寫傳播，以及無用賦值的刪除，等等。
後一種類型的優化同機器的硬體結構密切相關，最主要的是考慮是如何充分利用機器的各個硬體寄存器存放的有關變數的值，以減少對於內存的訪問次數。另外，如何根據機器硬體執行指令的特點(如流水線、RISC、CISC、VLIW等)而對指令進行一些調整使目標代碼比較短，執行的效率比較高，也是一個重要的研究課題。
2、匯編
匯編實際上指把匯編語言代碼翻譯成目標機器指令的過程。對於被翻譯系統處理的每一個C語言源程序，都將最終經過這一處理而得到相應的目標文件。目標文件中所存放的也就是與源程序等效的目標的機器語言代碼。目標文件由段組成。通常一個目標文件中至少有兩個段：
代碼段：該段中所包含的主要是程序的指令。該段一般是可讀和可執行的，但一般卻不可寫。
數據段：主要存放程序中要用到的各種全局變數或靜態的數據。一般數據段都是可讀，可寫，可執行的。
UNIX環境下主要有三種類型的目標文件：
(1)可重定位文件
其中包含有適合於其它目標文件鏈接來創建一個可執行的或者共享的目標文件的代碼和數據。
(2)共享的目標文件
這種文件存放了適合於在兩種上下文里鏈接的代碼和數據。
第一種是鏈接程序可把它與其它可重定位文件及共享的目標文件一起處理來創建另一個 目標文件；
第二種是動態鏈接程序將它與另一個可執行文件及其它的共享目標文件結合到一起，創建一個進程映象。
(3)可執行文件
它包含了一個可以被操作系統創建一個進程來執行之的文件。匯編程序生成的實際上是第一種類型的目標文件。對於後兩種還需要其他的一些處理方能得到，這個就是鏈接程序的工作了。
二、鏈接過程
由匯編程序生成的目標文件並不能立即就被執行，其中可能還有許多沒有解決的問題。
例如，某個源文件中的函數可能引用了另一個源文件中定義的某個符號(如變數或者函數調用等)；在程序中可能調用了某個庫文件中的函數，等等。所有的這些問題，都需要經鏈接程序的處理方能得以解決。
鏈接程序的主要工作就是將有關的目標文件彼此相連接，也即將在一個文件中引用的符號同該符號在另外一個文件中的定義連接起來，使得所有的這些目標文件成為一個能夠被操作系統裝入執行的統一整體。
根據開發人員指定的同庫函數的鏈接方式的不同，鏈接處理可分為兩種：
(1)靜態鏈接
在這種鏈接方式下，函數的代碼將從其所在地靜態鏈接庫中被拷貝到最終的可執行程序中。這樣該程序在被執行時這些代碼將被裝入到該進程的虛擬地址空間中。靜態鏈接庫實際上是一個目標文件的集合，其中的每個文件含有庫中的一個或者一組相關函數的代碼。
(2) 動態鏈接
在此種方式下，函數的代碼被放到稱作是動態鏈接庫或共享對象的某個目標文件中。鏈接程序此時所作的只是在最終的可執行程序中記錄下共享對象的名字以及其它少量的登記信息。在此可執行文件被執行時，動態鏈接庫的全部內容將被映射到運行時相應進程的虛地址空間。動態鏈接程序將根據可執行程序中記錄的信息找到相應的函數代碼。
對於可執行文件中的函數調用，可分別採用動態鏈接或靜態鏈接的方法。使用動態鏈接能夠使最終的可執行文件比較短小，並且當共享對象被多個進程使用時能節約一些內存，因為在內存中只需要保存一份此共享對象的代碼。但並不是使用動態鏈接就一定比使用靜態鏈接要優越。在某些情況下動態鏈接可能帶來一些性能上損害。
我們在linux使用的gcc編譯器便是把以上的幾個過程進行捆綁，使用戶只使用一次命令就把編譯工作完成，這的確方便了編譯工作，但對於初學者了解編譯過程就很不利了，下圖便是gcc代理的編譯過程：

從上圖可以看到：
預編譯
將.c 文件轉化成 .i文件
使用的gcc命令是：gcc –E
對應於預處理命令cpp
編譯
將.c/.h文件轉換成.s文件
使用的gcc命令是：gcc –S
對應於編譯命令 cc –S
匯編
將.s 文件轉化成 .o文件
使用的gcc 命令是：gcc –c
對應於匯編命令是 as
鏈接
將.o文件轉化成可執行程序
使用的gcc 命令是： gcc
對應於鏈接命令是 ld
總結起來編譯過程就上面的四個過程：預編譯、編譯、匯編、鏈接。了解這四個過程中所做的工作，對我們理解頭文件、庫等的工作過程是有幫助的，而且清楚的了解編譯鏈接過程還對我們在編程時定位錯誤，以及編程時盡量調動編譯器的檢測錯誤會有很大的幫助的。
是否可以解決您的問題？

㈩ 軟體工程入門學些什麼

軟體工程基礎_軟體工程的基本概念-結構化分析方法.flv免費下載

鏈接:https://pan..com/s/1_Yx3QuHG9QGjW7skrl8opA

《軟體工程基礎》是2006年由中國電力出版社出版的圖書，作者是（意）蓋伊曼德若利。本書通過嚴格的形式化方法和非形式化方法闡述了軟體工程原則和方法的重要性，有選擇地介紹了軟體工程基礎；強調並確定了適用於整個軟體生命期的基本原則，全面而深入地介紹了這些基本原則在軟體設計、規范、驗證、軟體生產過程和管理活動中的運用。