簡介：西安電子科技大學(xué)課程,第四章形式化說明技術(shù)JSZXXIDIANEDUCN計算機信息應(yīng)用研究中心,第四章形式化說明技術(shù),按照形式化的程度，可以把軟件工程使用的方法劃分成非形式化、半形式化和形式化3類。用自然語言描述需求規(guī)格說明，是典型的非形式化方法。用數(shù)據(jù)流圖或?qū)嶓w－聯(lián)系圖建立模型，是典型的半形式化方法。所謂形式化方法，是描述系統(tǒng)性質(zhì)的基于數(shù)學(xué)的技術(shù)，也就是說，如果一種方法有堅實的數(shù)學(xué)基礎(chǔ)，那么它就是形式化的。41概述411非形式化方法的缺點用自然語言書寫的系統(tǒng)規(guī)格說明書，可能存在矛盾、二義性、含糊性、不完整性及抽象層次混亂等問題。,第四章形式化說明技術(shù),所謂矛盾是指一組相互沖突的陳述。二義性是指讀者可以用不同方式理解的陳述。不完整性可能是在系統(tǒng)規(guī)格說明中最常遇到的問題之一。抽象層次混亂是指在非常抽象的陳述中混進了一些關(guān)于細節(jié)的低層次陳述。該規(guī)格說明書使得讀者很難了解系統(tǒng)的整體功能結(jié)構(gòu)。412形式化方法的優(yōu)點人在理解用自然語言描述的規(guī)格說明時，容易產(chǎn)生二義性。為了克服非形式化方法的缺點，人們把數(shù)學(xué)引入軟件開發(fā)過程，創(chuàng)造了基于數(shù)學(xué)的形式化方法。在開發(fā)大型軟件系統(tǒng)的過程中應(yīng)用數(shù)學(xué)，能夠帶來下述的幾個優(yōu)點,第四章形式化說明技術(shù),數(shù)學(xué)最有用的一個性質(zhì)是，它能夠簡潔準確地描述物理現(xiàn)象、對象或動作的結(jié)果，因此是理想的建模工具。數(shù)學(xué)特別適合于表示狀態(tài)，也就是表示“做什么”。需求規(guī)格說明書主要描述應(yīng)用系統(tǒng)在運行前和運行后的狀態(tài)，因此，數(shù)學(xué)比自然語言更適合于描述詳細的需求。在理想的情況下，分析員可以寫出系統(tǒng)的數(shù)學(xué)規(guī)格說明書，它準確到幾乎沒有二義性，而且可以用數(shù)學(xué)方法來驗證，以發(fā)現(xiàn)存在的矛盾和不完整性，在這樣的規(guī)格說明中完全沒有含糊性。但是，實際情況并不這么簡單，希望用少數(shù)幾個數(shù)學(xué)公式來描述它，是根本不可能的。此外，即使應(yīng)用了形式化方法，完整性也是難于保證的由于溝通不夠，可能遺漏了客戶的一些需求；規(guī)格說明的撰寫者可能有意省略了系統(tǒng)的某些特征，以便設(shè)計者在選擇實現(xiàn)方法時有一定自由度；要設(shè)想出使用一個大型復(fù)雜系統(tǒng)的每一個可能的情景，通常是做不到的。,第四章形式化說明技術(shù),在軟件開發(fā)過程中使用數(shù)學(xué)的另一個優(yōu)點是，可以在不同的軟件工程活動之間平滑地過渡。不僅功能規(guī)格說明，而且系統(tǒng)設(shè)計也可以用數(shù)學(xué)表達。數(shù)學(xué)作為軟件開發(fā)工具的最后一個優(yōu)點是，它提供了高層確認的手段?？梢允褂脭?shù)學(xué)方法證明，設(shè)計符合規(guī)格說明，程序代碼正確地實現(xiàn)了設(shè)計結(jié)果。,第四章形式化說明技術(shù),形式化規(guī)格說明語言構(gòu)成1、語法一般基于集合論、數(shù)理邏輯或代數(shù)學(xué)。2、語義是其所有語法符號的意義的數(shù)學(xué)描述。經(jīng)典的語義定義方法包括指稱語義、代數(shù)語義和操作語義方法。3、推演規(guī)則一般預(yù)期數(shù)學(xué)基礎(chǔ)和語義定義方法密切相關(guān)。規(guī)則必須在規(guī)格說明語言的語義系統(tǒng)中可證。因此，可以認為規(guī)則是派生的語義定義，它們可以直接應(yīng)用于軟件規(guī)格說明的性質(zhì)證明并簡化推演過程。,第四章形式化說明技術(shù),413應(yīng)用形式化方法的準則人們對形式化方法的看法并不一致。為了更好地發(fā)揮這種方法的長處，下面給出應(yīng)用形式化方法的幾條準則，供讀者在實際工作中使用。1應(yīng)該選用適當?shù)谋硎痉椒?。通常，一種規(guī)格說明技術(shù)只能用自然的方式說明某一類概念，如果用這種技術(shù)描述其不適應(yīng)于描述的概念，則不僅工作量大而且描述方式也很復(fù)雜。例如，Z語言并不適于說明并發(fā)性。因此，應(yīng)該仔細選擇一種適用于當前項目的形式化說明技術(shù)。（2）應(yīng)該形式化，但不要過分形式化。目前的形式化技術(shù)還不適于描述系統(tǒng)的每個方面。例如，示例屏幕和自然語言可能還是目前描述用戶界面的可視性的最佳方法。但是，也不能因此就認為完全沒有必要采用形式化方法。形式化規(guī)格說明技術(shù)要求我們非常準確地描述事物，因此有助于防止含糊和誤解。,第四章形式化說明技術(shù),（3）應(yīng)該估算成本。為了使用形式化方法，通常需要事先進行大量的培訓(xùn)。最好預(yù)先估算所需的成本并編入預(yù)算。（4）應(yīng)該有形式化方法顧問隨時提供咨詢。絕大多數(shù)軟件工程師對形式化方法中使用數(shù)學(xué)和邏輯并不很熟悉，而且沒受過使用形式化方法的專業(yè)訓(xùn)練，因此，需要專家指導(dǎo)和培訓(xùn)。（5）不應(yīng)該放棄傳統(tǒng)的開發(fā)方法。把形式化方法和結(jié)構(gòu)化方法或面向?qū)ο蠓椒善饋硎强赡艿模矣捎谌￠L補短往往能獲得很好的效果。（6）應(yīng)該建立詳盡的文檔。建議使用自然語言注釋形式化的規(guī)格說明書，以幫助用戶和維護人員理解系統(tǒng)。,第四章形式化說明技術(shù),（7）不應(yīng)該放棄質(zhì)量標準。形式化方法并不能保證軟件的正確性，它們只不過是有助于開發(fā)出高質(zhì)量軟件的一種手段。除了使用形式化說明技術(shù)外，在系統(tǒng)開發(fā)過程中仍然必須一如既往地實施其他質(zhì)量保證活動。（8）不應(yīng)該盲目依賴形式化方法。形式化方法并不能保證開發(fā)出的軟件絕對正確，例如，無法用形式化方法證明從非形式化需求到形式化規(guī)格說明的轉(zhuǎn)換是正確的，因此，必須用其他方法（例如，評審、測試）來驗證軟件正確性。（9）應(yīng)該測試、測試再測試。形式化方法不僅不能保證軟件系統(tǒng)絕對正確，也不能證明系統(tǒng)性能和其他質(zhì)量指標符合要求，因此，軟件測試的重要性并沒有降低。（10）應(yīng)該重用。即使采用了形式化方法，軟件重用仍然是降低軟件成本和提高軟件質(zhì)量的唯一合理的方法。而且用形式化方法說明的軟件構(gòu)件具有清晰定義的功能和接口，使得它們有更好的可重用性。,第四章形式化說明技術(shù),414形式化方法的分類1、根據(jù)說明目標軟件系統(tǒng)的方式，形式化方法可以分為兩類1）面向模型的形式化方法。面向模型的方法通過構(gòu)造一個數(shù)學(xué)模型來說明系統(tǒng)的行為。2）面向?qū)傩缘男问交椒?。面向?qū)傩缘姆椒ㄍㄟ^描述目標軟件系統(tǒng)的各種屬性來間接定義系統(tǒng)行為。,第四章形式化說明技術(shù),2、根據(jù)表達能力，形式化方法可以分為五類1）基于模型的方法通過明確定義狀態(tài)和操作來建立一個系統(tǒng)模型（使系統(tǒng)從一個狀態(tài)轉(zhuǎn)換到另一個狀態(tài)）。用這種方法雖可以表示非功能性需求（諸如時間需求），但不能很好地表示并發(fā)性。如Z語言，VDM，B方法等。2）基于邏輯的方法用邏輯描述系統(tǒng)預(yù)期的性能，包括底層規(guī)約、時序和可能性行為。采用與所選邏輯相關(guān)的公理系統(tǒng)證明系統(tǒng)具有預(yù)期的性能。用具體的編程構(gòu)造擴充邏輯從而得到一種形式化方法，通過保持正確性的細化步驟集來開發(fā)系統(tǒng)。如ITL（區(qū)間時序邏輯），區(qū)段演算（DC），模態(tài)邏輯，時序邏輯，TAM（時序代理模型），RTTL（實時時序邏輯）等。,第四章形式化說明技術(shù),3）代數(shù)方法通過將未定義狀態(tài)下不同的操作行為相聯(lián)系，給出操作的顯式定義。與基于模型的方法相同的是，沒有給出并發(fā)的顯式表示。如OBJ，LARCH族代數(shù)規(guī)約語言等；4）過程代數(shù)方法通過限制所有容許的可觀察的過程間通信來表示系統(tǒng)行為。此類方法允許并發(fā)過程的顯式表示。如通信順序過程（CSP），通信系統(tǒng)演算（CCS），通信過程代數(shù)（ACP），時序排序規(guī)約語言（LOTOS），計時CSPTCSP），通信系統(tǒng)計時可能性演算（TPCCS）等。5）基于網(wǎng)絡(luò)的方法由于圖形化表示法易于理解，而且非專業(yè)人員能夠使用，因此是一種通用的系統(tǒng)確定表示法。該方法采用具有形式語義的圖形語言，為系統(tǒng)開發(fā)和再工程帶來特殊的好處。如PETRI圖，計時PETRI圖，狀態(tài)圖等。,第四章形式化說明技術(shù),415數(shù)學(xué)預(yù)備知識1、集合和構(gòu)造規(guī)約集合是對象或元素的聚集。集合論是形式化方法的基礎(chǔ)，集合中包含的元素是唯一的（即不允許重復(fù)）。具有少量的元素的集合用花括號（{，}）括起來，元素之間用逗號分開。例如{7，14，3，12}；包含4個自然數(shù)的集合{7，14，7，3，12}；該數(shù)的聚集不是集合，因為有7重復(fù)。集合中的元素出現(xiàn)的順序是不重要的，集合中元素的數(shù)量稱為集合的基數(shù)，操作符返回集合的基數(shù)，例如{7，14，3，12}4；其結(jié)果指出集合中項的數(shù)量。有兩種定義集合的方式，一是通過枚舉出集合的元素來定義，二是創(chuàng)建一個構(gòu)造性集合規(guī)約，用布爾表達式來刻劃集合成員的一般形式。因為集合規(guī)約可以為大集合提供簡潔的定義，比枚舉方式更受到青睞。,第四章形式化說明技術(shù),例如，{NN|N120N,N3}當然，表示某些計算機軟件成分所需的構(gòu)造性集合規(guī)約將比上面的例子復(fù)雜得多，然而，其基本形式和結(jié)構(gòu)是相同的。2、集合的運算符運算符∈用于表示集合中的成員關(guān)系。例如，如果X是集合X中的成員，表達式X∈X的值為真，否則其值為假。謂詞12∈{6，1，12，22}值為真，因為12是集合中的成員。,第四章形式化說明技術(shù),運算符∈的反是運算符如果X不是集合X的成員，表達式XX的值為真，否則其值為假。謂詞13∈{6，1，13，122}值為假。一個特殊的集合是空集Φ，對應(yīng)普通數(shù)學(xué)中的0，空集具有它是所有集合的子集的性質(zhì)，兩個涉及空集的有用的等式是，對任何集合AΦ∪AA和Φ∩AΦ,,,第四章形式化說明技術(shù),1．集合的交由集合A和集合B的共同元素組成的集合，叫做A與B的交集。寫作A∩B。例如（1）{3，6，9，12，15}∩{5，10，15，20，25}＝{15}（2）{二年級男生}∩{二年級三好學(xué)生}＝{二年級的男三好學(xué)生}用韋恩圖表示如下（陰影部分表示交集）如果集合A和集合B（都不是空集）沒有共同的元素。即A∩B＝Ф，我們就說A與B是不相交集。例如{1，3，5，7，9}∩{2，4，6，8，10}＝Ф,第四章形式化說明技術(shù),2．集合的并兩個集合A、B中的元素合在一起組成的新集合，叫做A與B的并集。寫作A∪B。這里要注意，若A、B有共同的元素，只列舉一次。例如A＝{數(shù)學(xué)小組同學(xué)}＝{李明，王平，張紅，宋軍}B＝{航模小組同學(xué)}＝{張紅，宋軍，何光，方強，劉華}A∪B＝{數(shù)學(xué)小組同學(xué)}∪{航模小組同學(xué)}＝{李明，王平，張紅，宋軍，何光，方強，劉華}用韋恩圖表示如下（劃線部分表示并集）,第四章形式化說明技術(shù),若A、B是不相交的集，這兩個集合所有的元素合在一起就是它們的并集。例如{1，3，5，7}∪{2，4，6}＝{1，2，3，4，5，6，7}從集合的觀點來看，加法運算就是求兩個不相交集的并集的基數(shù)。例如，4＋3＝7。兩個不相交集的基數(shù)都叫做加數(shù)，加法的運算符號叫做加號。加得的結(jié)果，即兩個集的并集的基數(shù)，叫做和。,第四章形式化說明技術(shù),序列是一種數(shù)學(xué)結(jié)構(gòu)，對元素是有序的這一事實建模。一個序列S是對的集合，它的元素從1到最高的數(shù)排序，例如｛1，JONES，2，WILSON，3，SHAPIRO，4，ESTAVEZ｝形成對的第一個元素的項總稱為序列的定義域，第二個元素總稱為序列的值域。本書中序列用尖括號指明。例如，上面的序列寫作＜JONES，WILSON，SHAPIRO，ESTAVEZ＞和集合不同，序列中允許元素的重復(fù)，且序列的順序是重要的。這樣有，〈JONES，WILSON，SHAPIRO〉≠〈JONES，SHAPIRO，WILSON〉和〈JONES，WILSON，WILSON〉≠〈JONES，WILSON〉空序列表示為〈〉。就集合而言還有集合的差，包含操作，子集等等；在形式化規(guī)約中同樣用到一組序列運算符。希望大家在實際工作之中用到時，能夠記得這些數(shù)學(xué)的基本概念和方法。,第四章形式化說明技術(shù),42有窮狀態(tài)機421概念利用有窮狀態(tài)機可以準確地描述一個系統(tǒng)，因此它是表達規(guī)格說明的一種形式化方法。下面通過一個簡單的例子介紹有窮狀態(tài)機的基本概念。一個保險箱上裝了一個復(fù)合鎖，鎖有三個位置，分別標記為1、2、3，轉(zhuǎn)盤可向左（L）或向右（R）轉(zhuǎn)動。這樣，在任意時刻轉(zhuǎn)盤都有6種可能的運動，即1L、1R、2L、2R、3L和3R。保險箱的組合密碼是1L、3R、2L，轉(zhuǎn)盤的任何其他運動都將引起報警。,第四章形式化說明技術(shù),教材P68頁圖41是一個有窮狀態(tài)機的狀態(tài)轉(zhuǎn)換圖。狀態(tài)轉(zhuǎn)換并不一定要用圖形方式描述，教材P68表41的表格形式也可以表達同樣的信息。除了兩個終態(tài)之外，保險箱的其他狀態(tài)將根據(jù)轉(zhuǎn)盤的轉(zhuǎn)動方式轉(zhuǎn)到下一個狀態(tài)。從上面這個簡單例子可以看出，一個有窮狀態(tài)機包括下述5個部分對于保險箱的例子，相應(yīng)的有窮狀態(tài)機的各部分如下。狀態(tài)集J{保險箱鎖定，A，B，保險箱解鎖，報警}。輸入集K{1L,1R,2L,2R,3L,3R}。轉(zhuǎn)換函數(shù)T由當前狀態(tài)和當前輸入確定下一個狀態(tài)（次態(tài)），如表41所示。初始態(tài)S保險箱鎖定。終態(tài)集F{保險箱解鎖，報警}。,第四章形式化說明技術(shù),一個有窮狀態(tài)機可以表示為一個5元組（J,K,T,S,T）,其中J是一個有窮的非空狀態(tài)集；K是一個有窮的非空輸入集；T是一個從（JF）K到J的轉(zhuǎn)換函數(shù)；S?J，是一個初始狀態(tài)；FJ，是終態(tài)集。有窮狀態(tài)機的概念在計算機系統(tǒng)中應(yīng)用得非常廣泛。例如，每個菜單驅(qū)動的用戶界面都是一個有窮狀態(tài)機的實現(xiàn)。一個菜單的顯示和一個狀態(tài)相對應(yīng)，鍵盤輸入或用鼠標選擇一個圖標是使系統(tǒng)進入其它狀態(tài)的一個事件。狀態(tài)的每個轉(zhuǎn)換都具有下面的形式當前狀態(tài)［菜單］＋事件［所選擇的項］＝下個狀態(tài)。為了對一個系統(tǒng)進行規(guī)格說明,引入謂詞集P，從而把有窮狀態(tài)機擴展為一個6元組，其中每個謂詞都是系統(tǒng)全局狀態(tài)Y的函數(shù)。轉(zhuǎn)換函數(shù)T現(xiàn)在是一個從（JF）KP到J的函數(shù)?，F(xiàn)在的轉(zhuǎn)換規(guī)則形式如下當前狀態(tài)［菜單］＋事件［所選擇的項］＋謂詞下個狀態(tài),第四章形式化說明技術(shù),422例子首先給出用自然語言描述的對電梯系統(tǒng)的需求在一幢M層的大廈中需要一套控制N部電梯的產(chǎn)品，要求這N部電梯按照約束條件C1，C2和C3在樓層間移動。C1每部電梯內(nèi)有M個按鈕，每個按鈕代表一個樓層。當按下一個按鈕時該按鈕指示燈亮，同時電梯駛向相應(yīng)的樓層，到達按鈕指定的樓層時指示燈熄滅。C2除了大廈的最低層和最高層之外，每層樓都有兩個按鈕分別請求電梯上行和下行。這兩個按鈕之一被按下時相應(yīng)的指示燈亮，當電梯到達此樓層時燈熄滅，電梯向要求的方向移動。C3當對電梯沒有請求時，它關(guān)門并停在當前樓層?，F(xiàn)在使用一個擴展的有窮狀態(tài)機對本產(chǎn)品進行規(guī)格說明。這個問題中有兩個按鈕集電梯按鈕和樓層按鈕。,第四章形式化說明技術(shù),電梯按鈕的狀態(tài)轉(zhuǎn)換圖如圖42所示。令EBE,F表示按下電梯E內(nèi)的按鈕并請求到F層去。EBE,F有兩個狀態(tài)，分別是按鈕發(fā)光打開和不發(fā)光關(guān)閉。更精確地說，狀態(tài)是EBONE,F電梯按鈕E,F打開EBOFFE,F電梯按鈕E,F關(guān)閉如果電梯按鈕E,F發(fā)光且電梯到達F層，該按鈕將熄滅。相反如果按鈕熄滅，則按下它時，按鈕將發(fā)光。上述描述中包含了兩個事件，它們分別是EBPE,F電梯按鈕E,F被按下EAFE,F電梯E到達F層為了定義與這些事件和狀態(tài)相聯(lián)系的狀態(tài)轉(zhuǎn)換規(guī)則，需要一個謂詞VE,F，它的含義如下VE,F電梯E停在F層如果電梯按鈕E,F處于關(guān)閉狀態(tài)〔當前狀態(tài)〕，而且電梯按鈕E,F被按下〔事件〕，而且電梯E不在F層〔謂詞〕，則該電梯按鈕打開發(fā)光〔下個狀態(tài)〕。狀態(tài)轉(zhuǎn)換規(guī)則的形式化描述如下EBOFFE,FEBPE,FNOTVE,FEBONE,F反之，如果電梯到達F層，而且電梯按鈕是打開的，于是它就會熄滅。這條轉(zhuǎn)換規(guī)則可以形式化地表示為EBONE,FEAFE,FEBOFFE,F,第四章形式化說明技術(shù),圖42電梯按鈕的狀態(tài)轉(zhuǎn)換圖圖43樓層按鈕的狀態(tài)轉(zhuǎn)換圖,第四章形式化說明技術(shù),接下來考慮樓層按鈕。令FBD,F表示F層請求電梯向D方向運動的按鈕，樓層按鈕FBD,F的狀態(tài)轉(zhuǎn)換圖如圖43所示。樓層按鈕的狀態(tài)如下FBOND,F樓層按鈕D,F打開FBOFFD,F樓層按鈕D,F關(guān)閉如果樓層按鈕已經(jīng)打開，而且一部電梯到達F層，則按鈕關(guān)閉。反之，如果樓層按鈕原來是關(guān)閉的，被按下后該按鈕將打開。這段敘述中包含了以下兩個事件。FBPD,F樓層按鈕D,F被按下EAF1N,F電梯1或或N到達F層其中1N表示或為1或為2或為N。,第四章形式化說明技術(shù),為了定義與這些事件和狀態(tài)相聯(lián)系的狀態(tài)轉(zhuǎn)換規(guī)則，同樣也需要一個謂詞，它是SD,E,F，它的定義如下。SD,E,F電梯E停在F層并且移動方向由D確定為向上DU或向下DD或待定DN。這個謂詞實際上是一個狀態(tài)，形式化方法允許把事件和狀態(tài)作為謂詞對待。使用謂詞SD,E,F，形式化轉(zhuǎn)換規(guī)則為FBOFFD,FFBPD,FNOTSD,1N,FFBOND,FFBOND,FEAF1N,FSD,1N,FFBOFFD,F其中，DUORD。也就是說，如果在F層請求電梯向D方向運動的樓層按鈕處于關(guān)閉狀態(tài)，現(xiàn)在該按鈕被按下，并且當時沒有正停在F層準備向D方向移動的電梯，則該樓層按鈕打開。反之，如果樓層按鈕已經(jīng)打開，且至少有一部電梯到達F層，該部電梯將朝D方向運動，則按鈕將關(guān)閉。在討論電梯按鈕狀態(tài)轉(zhuǎn)換規(guī)則時定義的謂詞VE,F，可以用謂詞SD,E,F重新定義如下VE,FSU,E,FORSD,E,FORSN,E,F,第四章形式化說明技術(shù),定義電梯按鈕和樓層按鈕的狀態(tài)都是很簡單、直觀的事情?，F(xiàn)在轉(zhuǎn)向討論電梯的狀態(tài)及其轉(zhuǎn)換規(guī)則，就會出現(xiàn)一些復(fù)雜的情況。一個電梯狀態(tài)實質(zhì)上包含許多子狀態(tài)。下面定義電梯的3個狀態(tài)MD,E,F電梯E正沿D方向移動，即將到達的是第F層SD,E,F電梯E停在F層，將朝D方向移動尚未關(guān)門WE,F電梯E在F層等待已關(guān)門其中SD,E,F狀態(tài)已在討論樓層按鈕時定義過，但是，現(xiàn)在的定義更完備一些。圖44是電梯的狀態(tài)轉(zhuǎn)換圖。3個電梯停止狀態(tài)SU,E,F、SN,E,F和SD,E,F已被組合成一個大的狀態(tài)，這樣做的目的是減少狀態(tài)總數(shù)以簡化流圖。圖44中包含了下述3個可觸發(fā)狀態(tài)發(fā)生改變的事件。DCE,F電梯E在樓層F關(guān)上門STE,F電梯E靠近F層時觸發(fā)傳感器，電梯控制器決定在當前樓層電梯是否停下RL電梯按鈕或樓層按鈕被按下進入打開狀態(tài)，登錄需求,第四章形式化說明技術(shù),圖44電梯的狀態(tài)轉(zhuǎn)換圖,第四章形式化說明技術(shù),最后，給出電梯的狀態(tài)轉(zhuǎn)換規(guī)則。為簡單起見，這里給出的規(guī)則僅發(fā)生在關(guān)門之時。SU,E,FDCE,FMU,E,F1SD,E,FDCE,FMD,E,F1SN,E,FDCE,FWE,F第一條規(guī)則表明，如果電梯E停在F層準備向上移動，且門已經(jīng)關(guān)閉，則電梯將向上一樓層移動。第二條和第三條規(guī)則，分別對應(yīng)于電梯即將下降或者沒有待處理的請求的情況。,第四章形式化說明技術(shù),423評價有窮狀態(tài)機方法采用了一種簡單的格式來描述規(guī)格說明當前狀態(tài)事件謂詞下個狀態(tài)這種形式的規(guī)格說明易于書寫、易于驗證，而且可以比較容易地把它轉(zhuǎn)變成設(shè)計或程序代碼。事實上，可以開發(fā)一個CASE工具把一個有窮狀態(tài)機規(guī)格說明直接轉(zhuǎn)變?yōu)樵创a。維護可以通過重新轉(zhuǎn)變來實現(xiàn)，也就是說，如果需要一個新的狀態(tài)或事件，首先修改規(guī)格說明，然后直接由新的規(guī)格說明生成新版本的產(chǎn)品。有窮狀態(tài)機方法比數(shù)據(jù)流圖技術(shù)更精確，而且和它一樣易于理解。不過，它也有缺點在開發(fā)一個大系統(tǒng)時三元組即狀態(tài)、事件、謂詞的數(shù)量會迅速增長。此外，和數(shù)據(jù)流圖方法一樣，形式化的有窮狀態(tài)機方法也沒有處理定時需求。下節(jié)將介紹的PETRI網(wǎng)技術(shù)，是一種可處理定時問題的形式化方法。,第四章形式化說明技術(shù),43PETRI網(wǎng)431概念并發(fā)系統(tǒng)中遇到的一個主要問題是定時問題．這個問題可以表現(xiàn)為多種形式，如同步問題﹑競爭條件以及死鎖問題．定時問題通常是由不好的設(shè)計或者有錯誤的實現(xiàn)引起的，而這些的設(shè)計和實現(xiàn)通常又是由不好的規(guī)格說明造成的．如果規(guī)格說明不當，則有導(dǎo)致不完善的設(shè)計或?qū)崿F(xiàn)的危險．用于確定系統(tǒng)中隱含的定時問題的一種有效技術(shù)是PETRI網(wǎng)，這種技術(shù)的一個很大的優(yōu)點是它也可以用于設(shè)計中．PETRI網(wǎng)是由CARLADAMPETRI發(fā)明的．最初只有自動化專家對PETRI網(wǎng)感興趣，后來PETRI網(wǎng)在計算機科學(xué)中也得到廣泛的應(yīng)用，例如，在性能評價﹑操作系統(tǒng)和軟件工程等領(lǐng)域，PETRI網(wǎng)應(yīng)用得都比較廣泛．特別是已經(jīng)證明，用PETRI網(wǎng)可以有效地描述并發(fā)活動．,第四章形式化說明技術(shù),PETRI網(wǎng)包含４種元素一組位置P﹑一組轉(zhuǎn)換T﹑輸入函數(shù)I和輸出函數(shù)O。教材P72圖４５舉例說明了PETRI網(wǎng)的組成．其中，一組位置P，在圖中用圓圈代表位置．一組轉(zhuǎn)換T，在圖中用短直線表示轉(zhuǎn)換．兩個用于轉(zhuǎn)換的輸入函數(shù)，用由位置指向轉(zhuǎn)換的箭頭表示，它們是IT1{P2，P4}IT2{P2}兩個用于轉(zhuǎn)換的輸出函數(shù)，用有轉(zhuǎn)換指向位置的箭頭表示，它們是O（T1）{P1}O（T2）{P3，P3}注意輸出函數(shù)OT2中有兩個P3，是因為有兩個箭頭有T2指向P3。,第四章形式化說明技術(shù),更形式化的PETRI網(wǎng)結(jié)構(gòu)，是一個四元組CP,T,I,O。其中，P{P1，，PN}是一個有窮位置集，N0。T{T1，，TM}是一個有窮轉(zhuǎn)換集，M0，且T和P不相交。IT→P∞為輸入函數(shù)，是由轉(zhuǎn)換到位置無序單位組（BAGS）的映射。OT→P∞為輸出函數(shù)，是由轉(zhuǎn)換到位置無序單位組的映射。一個無序單位組或多重組是允許一個元素有多個實例的廣義集。PETRI網(wǎng)的標記是在PETRI網(wǎng)中權(quán)標（TOKEN）的分配。例如，在教材P73圖46中有4個權(quán)標，其中一個在P1中，兩個在P2中，P3中沒有，還有一個在P4中。上述標記可以用向量（1，2，0，1）表示。由于P2和P4中有權(quán)標，因此T1啟動（即被激發(fā)）。通常，當每個輸入位置所擁有的權(quán)標數(shù)大于等于從該位置到轉(zhuǎn)換的線數(shù)時，就允許轉(zhuǎn)換。當T1被激發(fā)時，P2和P4上各有一個權(quán)標被移出，P1上增加一個權(quán)標。PETRI網(wǎng)中權(quán)標總數(shù)不是固定的，在這個例子中兩個權(quán)標被移出，而P1上只能增加一個權(quán)標。,第四章形式化說明技術(shù),圖46帶標記的PETRI網(wǎng)圖47圖46的PETRI網(wǎng)在轉(zhuǎn)換T1被激發(fā)后的情況圖48圖47的PETRI網(wǎng)在轉(zhuǎn)換T2被激發(fā)后的情況圖49含禁止線的PETRI網(wǎng),第四章形式化說明技術(shù),教材P73頁圖46中P2上有權(quán)標，因此T2也可以被激發(fā)。當T2被激發(fā)時，P2上將移走一個權(quán)標，而P3上新增加兩個權(quán)標。PETRI網(wǎng)具有非確定性，也就是說，如果數(shù)個轉(zhuǎn)換都達到了激發(fā)條件，則其中任意一個都可以被激發(fā)。教材P73頁圖46所示PETRI網(wǎng)的標記為（1，2，0，1），T1和T2都可以被激發(fā)。假設(shè)T1被激發(fā)了，則結(jié)果如圖47所示，標記為（2，1，0，0）。此時，只有T2可以被激發(fā)。如果T2也被激發(fā)了，則權(quán)標從P2中移出，兩個新權(quán)標被放在P3上，結(jié)果如圖48所示，標記為（2，0，2，0）。,第四章形式化說明技術(shù),更形式化的說，PETRI網(wǎng)CP，T，I，O中的標記M，是有一組位置P到一組非負數(shù)的映射M→P{0，1，2，}這樣，帶有標記的PETRI網(wǎng)成為一個五元組（P，T，I，O，M）。對PETRI網(wǎng)的一個重要擴充是加入禁止線。如圖49所示，禁止線是用一個小圓圈而不是用箭頭標記的輸入線。通常，當每個輸入線上至少有一個標權(quán)，而禁止線上沒有標權(quán)，因此轉(zhuǎn)換T1可以被激發(fā)。,第四章形式化說明技術(shù),動態(tài)轉(zhuǎn)移特征,網(wǎng)論的觀點認為，解決沖突的辦法可以是，通過環(huán)境對系統(tǒng)進行控制。這里有兩種可能若T1發(fā)生，P1失去標記，P2獲得標記，這時只有T2可以發(fā)生，之后標記回到P1。這時若再讓T1發(fā)生，則會重復(fù)上述過程。若讓T3發(fā)生，P1失去標記，P3和P4同時各得一個標記。這時T4和T5都可以發(fā)生，且互不影響，網(wǎng)論中稱這種現(xiàn)象為“并發(fā)”CONCURRENT，T4和T5發(fā)生以后，T6可以發(fā)生，使標記又回到P1，P6起著使T4和T5兩個異步活動同步的作用。,圖中的PETRI網(wǎng)，只有P1中有一個標記，從這個給定的初始標識看，T1和T3都能發(fā)生，但不能同時發(fā)生，因為它們共享P1中的一個資源，這種現(xiàn)象叫做“沖突”（CONFLICT）。,第四章形式化說明技術(shù),如果讓P1和P3各有一個標記，并規(guī)定位置容量均不能超過1，這時T3不能發(fā)生，因為T3的發(fā)生會使P3的容量超過1，稱這種現(xiàn)象為“碰撞”（CONTACT）。有時，一個PETRI網(wǎng)中同時存在著并發(fā)和沖突，而且并發(fā)的實施會引起沖突的消失（減少）或出現(xiàn)（增加），我們稱這種情況為“混惑”（CONFUSION）。,在圖示PETRI網(wǎng)中，T1和T3是兩個并發(fā)事件，如果T1實際上在T3之前發(fā)生，則T2不會發(fā)生沖突；反之，則發(fā)生沖突。所以存在著“混惑”的系統(tǒng)是不好的系統(tǒng)，因為在這種系統(tǒng)中，沖突忽隱忽現(xiàn)，使得外部環(huán)境對系統(tǒng)難以控制。,第四章形式化說明技術(shù),432例子現(xiàn)在把PETRI網(wǎng)應(yīng)用于上一節(jié)討論過的電梯問題。當用PETRI網(wǎng)表示電梯系統(tǒng)的規(guī)格說明時，每個樓層用一個位置FF代表1≤F≤M，在PETRI網(wǎng)中電梯是用一個權(quán)標代表的。在位置FF上有權(quán)標，表示在樓層F上有電梯。1電梯按鈕電梯問題的第一個約束條件描述了電梯按鈕的行為，現(xiàn)在復(fù)述一下這個約束條件。第一條約束C1每

簡介：畢業(yè)設(shè)計（論文）畢業(yè)設(shè)計（論文）題目題目基于基于SW6SW6軟件的固定管板式換熱器設(shè)計軟件的固定管板式換熱器設(shè)計學(xué)院院繼續(xù)教育學(xué)院繼續(xù)教育學(xué)院助學(xué)單位助學(xué)單位遼寧石油化工大學(xué)自考中心遼寧石油化工大學(xué)自考中心專業(yè)業(yè)過程裝備與控制工程過程裝備與控制工程辦學(xué)形式辦學(xué)形式自學(xué)考試自學(xué)考試姓名名指導(dǎo)教師指導(dǎo)教師郝嬌郝嬌20112011年0303月遼寧石油化工大學(xué)繼續(xù)教育學(xué)院論文11緒論12設(shè)計概述設(shè)計概述221熱量傳遞的意義及概念222換熱器的概念及意義323固定管板式換熱器簡介333換熱器的分類及其工作原理換熱器的分類及其工作原理431換熱器的分類及其工作原理432換熱器的材料7321換熱器常用鋼7322有色金屬8323非金屬833換熱器研究現(xiàn)狀及發(fā)展趨勢9331換熱器的發(fā)展歷程9332發(fā)展現(xiàn)狀9333換熱器的研究及發(fā)展動向1044換熱器設(shè)備各部分的設(shè)計說明換熱器設(shè)備各部分的設(shè)計說明1041換熱器設(shè)備各部分的材料選擇1042設(shè)備制造工藝過程11421筒體11422管箱12423管板12424換熱管12425折流板及支撐板12426管束組裝1343換熱設(shè)備中換熱管與管板的連接13431脹接13432焊接13423脹焊連接14424換熱管與管板連接方式的選擇15441無損檢測15

簡介：DIGITALMICROGRAPHDIGITALMICROGRAPH軟件傅立葉變換和反變換圖文教程軟件傅立葉變換和反變換圖文教程DIGITALMICROGRAPH傅立葉變換反變換圖文教程傅立葉變換的目的是標定高分辨像的傅立葉譜確定晶帶軸；在倒空間乘上一個濾波函數(shù)，再進行發(fā)傅立葉變換可以降低噪音。DIGITALMICROGRAPH也可以處理普通的TEM圖像，比如銳化、平滑、顆粒分析、扣背底等。1）打開一張高分辨像，選擇ROITOOLS中的矩形選框工具，按住ALT在圖像上拉出一個正方形，先松開鼠標再松開ALT鍵。這很重要，因為FFT只對面積為2的N次方的區(qū)域有效2）選擇PROCESS－FFT4）選擇周期性的BRAGG點

簡介：1CIMATRON軟件在逆向工程中的應(yīng)用軟件在逆向工程中的應(yīng)用【摘要】介紹CIMATRON軟件在塑料模具逆向工程設(shè)計和制造中的應(yīng)用。并通過塑料面罩玩具的設(shè)計實例，說明用CIMATRON軟件為塑料模具產(chǎn)品逆向工程提供了強有力的設(shè)計工具，充分利用CIMATRON軟件強大的點造型曲面功能，可大大縮短特別是塑料模具產(chǎn)品的設(shè)計周期。關(guān)鍵詞關(guān)鍵詞逆向工程；CAD；三坐標測量機；點造型；快速分模1引言引言模具設(shè)計一般源于由功能需求產(chǎn)生的概念設(shè)計，之后再進行其具體結(jié)構(gòu)設(shè)計，產(chǎn)生完整的CAD數(shù)學(xué)模型，繼而進行分析制造模具設(shè)計一般源于由功能需求產(chǎn)生的概念設(shè)計，之后再進行，這一過程為CADCAM正向過程，它適用于比較規(guī)則的解析外型零件的模具設(shè)計。隨著工業(yè)技術(shù)的飛速發(fā)展，許多產(chǎn)品形狀復(fù)雜，如塑殼玩具、摩托車外形部件等需要兼顧美學(xué)及工業(yè)要求，這就使得直接建立其模具CAD模型非常困難，從而不能用CADCAM正向工程。在先有實物或主模型時，可以通過CADCAM逆向工程來開發(fā)其模具，簡而言之，由實物到產(chǎn)品的過程即CADCAM逆向工程，它對于縮短模具開發(fā)周期非常有效，特別是那些形狀復(fù)雜的生活用品和工業(yè)用品模具。逆向工程通常被用來執(zhí)行模型的仿制、開發(fā)工作?；谠突?qū)嵨锏哪嫦蚬こ桃蚱淇旖莸拈_發(fā)方式，極大地縮短了產(chǎn)品的開發(fā)周期，因而在設(shè)計和制造領(lǐng)域有著廣泛的技術(shù)需求。特別是對于沒有原始幾何信息的零件，逆向工程是完成零件精確幾何造型的重要手段，因而在模具設(shè)計和制造中成為技術(shù)熱點。同時由于3圖1逆向工程流程在此僅以CIMATRON軟件在塑料面罩玩具模具逆向工程中的應(yīng)用為例，介紹CIMATRON軟件逆向工程的具體實施步驟。2采用三坐標測量機測量數(shù)據(jù)點采用三坐標測量機測量數(shù)據(jù)點塑料面罩玩具的外形由復(fù)雜的曲面組成，形狀藝術(shù)化，尺寸精度相對形狀要求較低，用CADCAM軟件直接建模很困難。而且玩具由孩子們的愛好確定，必須制造樣板，因此利用三坐標測量機測量裝置來獲取零件原型輪廓和表面特征的數(shù)據(jù)點。在塑料面罩玩具表明數(shù)字化中，采用CMM為代表的接觸式測量，在保證坐標原點相同條件下測得玩具輪廓及表面特征數(shù)據(jù)點，把采集的數(shù)據(jù)點存入計算機中。根據(jù)玩具模型的需要，對所采集的三維坐標數(shù)據(jù)點進行處理，對不同的特征紋理方向面所采集到的數(shù)據(jù)點以不同顏色區(qū)別，同一截面方向的數(shù)據(jù)點采用同一顏色處理，對外形輪廓特征的數(shù)據(jù)點以同一顏色，將采集到的壞點或不符合模具特征的點進行刪除。將處理好的三維數(shù)據(jù)點以IGES格式存檔，圖2所示。

簡介：WWWKRSCCN13891922113,,績效管理系統(tǒng)解決方案,,WWWKRSCCN13891922113,主要內(nèi)容,WWWKRSCCN13891922113,,,WWWKRSCCN13891922113,方案背景之競爭加劇,集團管控隨著競爭的加劇，出于資源整合和規(guī)模效益的考慮，越來越多的中國企業(yè)開始走向集團化經(jīng)營。隨著企業(yè)的發(fā)展狀大，管理上的問題也開始突現(xiàn)。壓力傳遞外部競爭和不確定性的經(jīng)營環(huán)境,企業(yè)該通過什么方式傳達自上而下的經(jīng)營壓力,使其各層級都能行動起來如何讓員工的方向與企業(yè)一致，提高組織執(zhí)行力。戰(zhàn)略落地企業(yè)的高層采取戰(zhàn)略調(diào)整、業(yè)務(wù)轉(zhuǎn)型、組織重構(gòu)、流程再造等措施，高層忙得不亦樂乎，而身處企業(yè)中低層的員工卻巋然不動，從而使這些變革措施難以達到預(yù)期的效果。,WWWKRSCCN13891922113,方案背景之國家政策,06年以來國資委多次下發(fā)文件，要求央企抓緊建立和完善全員業(yè)績考核體系。2009年提出了全員績效管理的要求，要求中央企業(yè)要做到有目標、有跟蹤、有評價、有反饋，考核與獎懲掛鉤，賞罰分明。提出了從2010年起事業(yè)單位全部實施績效工資2010年8月國資委發(fā)布全員業(yè)績考核情況核查計分辦法，促進企業(yè)深化內(nèi)部制度改革，建立起管理者能上能下、員工能進能出、薪酬能升能降的有效激勵機制,WWWKRSCCN13891922113,金銳認為,利用信息技術(shù)手段幫助企業(yè)、事業(yè)單位建立起高效、可執(zhí)行的績效管理系統(tǒng)，從根本上解決傳統(tǒng)績效管理過程中存在的諸多問題，實現(xiàn)精細化管理、構(gòu)建高績效組織，提升組織執(zhí)行力，必將成為贏得未來競爭的關(guān)鍵。,WWWKRSCCN13891922113,,WWWKRSCCN13891922113,現(xiàn)狀分析,部分企事業(yè)單位初步建立起現(xiàn)代績效管理的框架，但大多數(shù)的管理人員都認為績效考評效果不明顯或沒有效果，認為有效果的只占1/3左右。部分企事業(yè)單位未系統(tǒng)建立現(xiàn)代績效管理的框架。,WWWKRSCCN13891922113,,,存在問題,,為考評而考評,績效難以公平公正,缺乏數(shù)據(jù)支持,大部分單位的績效指標與戰(zhàn)略目標脫節(jié)，“績效扣錢”、“績效相互打分”、“績效砸飯碗”等認識仍然存在，這使得單位將績效考評目標鎖定在短期計劃中，將績效工作當成一種例行公事，為考評而考評。,指標體系全面性和重點性結(jié)合不夠?；蛑挥袉T工的考評，或只有部門級別的考評，缺乏兩者的結(jié)合。績效管理過程煩瑣，效率不高，考核成本巨大，無法將績效考評中的很多工作都進行細化、量化，難以保障績效結(jié)果的公平、公正。,信息化管理程度不高，難以找到相關(guān)指標的數(shù)據(jù)支撐，考核過程中非理性因素難以控制，如定性考核中的打分環(huán)節(jié)，“老好人”等現(xiàn)象難以避免，不能保證績效考核結(jié)果的信度和效度。,WWWKRSCCN13891922113,,存在問題,,指標不明確,評價標準模糊,考評指標不切實際，難以操作，特別是職能部門缺乏量化指標或沒有明確的指標?？己说墓ぷ鲝姸葲Q定了考核頻率的有限性，很多單位的績效考核采取的是年度考核，考核者容易以被考核者最近幾周或幾個月的表現(xiàn)作為對其年度考核的尺度，而忽視其在一年的大部分時間的表現(xiàn)，使考核的公平、公正受到質(zhì)疑。,績效考評指標標準模糊導(dǎo)致員工對自身崗位工作標準認識不清。指標標準較為清晰的企業(yè)，又存在標準較低的問題，以至于指標缺乏挑戰(zhàn)性和激勵性?？冃崿F(xiàn)的過程缺乏溝通和監(jiān)控；績效反饋不及時，信息不通暢；績效管理的作用沒有充分發(fā)揮，不能有效促進組織發(fā)展和個人成長。,WWWKRSCCN13891922113,方案概述,,,,績效管理,多方式,全方位,全過程,對組織和個人的考核組織職能部門下級單位個人職能部門領(lǐng)導(dǎo)職能部門員工下級單位領(lǐng)導(dǎo)班子下級單位員工,績效的全過程管理與跟蹤績效目標的制定與調(diào)整績效結(jié)果的分析與反饋,不同績效管理方式對應(yīng)不同考核方案KPI目標管理360度評價BSC,WWWKRSCCN13891922113,,金銳績效管理平臺,金銳績效管理系統(tǒng),,,,,建立基礎(chǔ)數(shù)據(jù),績效過程管理,制定績效方案,績效反饋及分析,,金銳績效管理解決方案是金銳融合多個客戶的績效方案形成的，最重要的是這個方案能夠通過金銳績效管理信息系統(tǒng)有效落地。,,WWWKRSCCN13891922113,功能框架圖,WWWKRSCCN13891922113,金銳績效系統(tǒng)界面數(shù)據(jù)維護,WWWKRSCCN13891922113,金銳績效系統(tǒng)界面考核配置,WWWKRSCCN13891922113,金銳績效系統(tǒng)界面考核管理,WWWKRSCCN13891922113,金銳績效系統(tǒng)界面結(jié)果分析,WWWKRSCCN13891922113,功能優(yōu)勢,體系靈活，適應(yīng)管理差異流程清晰，實施高效快捷績效自助，執(zhí)行管理便利績效分析，輔助管理診斷反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,功能優(yōu)勢,體系靈活，適應(yīng)管理差異流程清晰，實施高效快捷績效自助，執(zhí)行管理便利績效分析，輔助管理診斷反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,體系靈活，適應(yīng)管理差異,,支持360度、MBO、KPI、BSC靈活設(shè)置考核主體，適應(yīng)項目制、矩陣式多種考核環(huán)境績效指標、考核方案靈活定制，支持分層分類管理支持個人的成績與部門成績掛鉤支持定性與定量相結(jié)合,WWWKRSCCN13891922113,支持360度、MBO、KPI、BSC,,根據(jù)不同的考核方法設(shè)置不同的指標，指定對應(yīng)的考核主體和權(quán)重來進行考評。,WWWKRSCCN13891922113,靈活設(shè)置考核對象,,支持360度、MBO、KPI、BSC靈活設(shè)置考核對象，適應(yīng)項目制、矩陣式多種考核環(huán)境績效指標、考核方案靈活定制，支持分層分類管理支持個人的成績與部門成績掛鉤支持定性與定量相結(jié)合,WWWKRSCCN13891922113,靈活設(shè)置考核對象,適應(yīng)項目制、矩陣式,WWWKRSCCN13891922113,靈活設(shè)置考核對象,,支持360度、MBO、KPI、BSC靈活設(shè)置考核對象，適應(yīng)項目制、矩陣式多種考核環(huán)境績效指標、考核方案靈活定制，支持分層分類管理支持個人的成績與部門成績掛鉤支持定性與定量相結(jié)合,WWWKRSCCN13891922113,績效指標、考核方案靈活定制,,可設(shè)定不同的指標由不同的人員來考評同一指標由不同的人考評，可設(shè)定不同的權(quán)重,WWWKRSCCN13891922113,支持個人的成績與部門成績掛鉤,,支持360度、MBO、KPI、BSC靈活設(shè)置考核對象，適應(yīng)項目制、矩陣式多種考核環(huán)境績效指標、考核方案靈活定制，支持分層分類管理支持個人的成績與部門成績掛鉤支持定性與定量相結(jié)合,WWWKRSCCN13891922113,支持個人的成績與部門成績掛鉤,,通過設(shè)置計算公式，可以將個人的成績與部門成績掛鉤,WWWKRSCCN13891922113,支持定性與定量相結(jié)合,,支持360度、MBO、KPI、BSC靈活設(shè)置考核對象，適應(yīng)項目制、矩陣式多種考核環(huán)境績效指標、考核方案靈活定制，支持分層分類管理支持個人的成績與部門成績掛鉤支持定性與定量相結(jié)合,WWWKRSCCN13891922113,支持定性與定量相結(jié)合,,通過設(shè)置定性考核表和定量考核表以及對應(yīng)的計算公式，可將其結(jié)合起來,WWWKRSCCN13891922113,功能優(yōu)勢,體系靈活，適應(yīng)管理差異流程清晰，實施高效快捷績效自助，執(zhí)行管理便利績效分析，輔助管理診斷反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,流程清晰，實施高效快捷,,制定績效方案流程化績效過程管理流程化,WWWKRSCCN13891922113,制定績效方案流程化,WWWKRSCCN13891922113,流程清晰，實施高效快捷,,制定績效方案流程化績效過程管理流程化,WWWKRSCCN13891922113,績效過程管理流程化,WWWKRSCCN13891922113,功能優(yōu)勢,體系靈活，適應(yīng)管理差異流程清晰，實施高效快捷績效自助，執(zhí)行管理便利績效分析，輔助管理診斷反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,績效自助，執(zhí)行管理便利,,通過網(wǎng)絡(luò)自評自查、上傳述職報告，為評估提供參考數(shù)據(jù)網(wǎng)上在線打分、對標檢查，使評估更為方便隨時查看打分狀態(tài)，掌握考核進度，確保工作按時完成,WWWKRSCCN13891922113,自評自查、上傳述職報告,WWWKRSCCN13891922113,績效自助，執(zhí)行管理便利,,通過網(wǎng)絡(luò)自評自查、上傳述職報告，為評估提供參考數(shù)據(jù)網(wǎng)上在線打分、對標檢查，使評估更為方便隨時查看打分狀態(tài)，掌握考核進度，確保工作按時完成,WWWKRSCCN13891922113,績效評估界面1,WWWKRSCCN13891922113,績效評估界面2,,點擊進入可記錄該項指標的執(zhí)行情況,WWWKRSCCN13891922113,績效自助，執(zhí)行管理便利,,通過網(wǎng)絡(luò)自評自查、上傳述職報告，為評估提供參考數(shù)據(jù)網(wǎng)上在線打分、對標檢查，使評估更為方便隨時查看打分狀態(tài)，掌握考核進度，確保工作按時完成,WWWKRSCCN13891922113,績效進度查詢,,通過進度查詢，可查看到有哪些人未評分、未自評，便于工作催辦,WWWKRSCCN13891922113,功能優(yōu)勢,體系靈活，適應(yīng)管理差異流程清晰，實施高效快捷績效自助，執(zhí)行管理便利績效分析，輔助管理診斷反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,績效分析，輔助管理診斷,,單人績效對比分析，反映績效差距，促進績效改進多人績效對比分析，為團隊建設(shè)和選拔培養(yǎng)提供參考績效指標趨勢分析，直觀了解個人或團隊的績效變化,WWWKRSCCN13891922113,績效分析，輔助管理診斷,WWWKRSCCN13891922113,績效分析，輔助管理診斷,WWWKRSCCN13891922113,功能優(yōu)勢,體系靈活，適應(yīng)管理差異流程清晰，實施高效快捷績效自助，執(zhí)行管理便利績效分析，輔助管理診斷反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,反饋應(yīng)用，促進績效提升,,在線進行績效結(jié)果反饋，幫助員工及時改進績效在線查看考核主體所提的建議及意見績效結(jié)果和薪酬相關(guān)聯(lián)，促進組織績效持續(xù)提升,WWWKRSCCN13891922113,反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,反饋應(yīng)用，促進績效提升,WWWKRSCCN13891922113,技術(shù)優(yōu)勢,,基于WEB的應(yīng)用,基于WEB技術(shù)架構(gòu)設(shè)計的多層B/S/S結(jié)構(gòu)。特點集中化管理和維護，客戶端的免安裝和零維護，極大的降低了企業(yè)的維護成本。,,WWWKRSCCN13891922113,技術(shù)優(yōu)勢,,開放的、可擴展的應(yīng)用,基于平臺化研發(fā)，為單位提供的是一個績效協(xié)同平臺，支持企業(yè)的可持續(xù)發(fā)展。在產(chǎn)品設(shè)計上充分考慮系統(tǒng)的開放性和可擴展性。支持各種導(dǎo)入導(dǎo)出功能。,,WWWKRSCCN13891922113,技術(shù)優(yōu)勢,,與其它應(yīng)用的集成,單點登錄辦公自動化系統(tǒng)短信服務(wù)同時提供深層次數(shù)據(jù)共享服務(wù),WWWKRSCCN13891922113,技術(shù)優(yōu)勢,,高度的安全性應(yīng)用,采用B/S/S多層結(jié)構(gòu)，系統(tǒng)代碼全部放于服務(wù)器上，只有系統(tǒng)管理人員才能更改及部署代碼。只有運行在服務(wù)器上的代碼才可以訪問數(shù)據(jù)庫，客戶端不能直接訪問，這樣可以保證服務(wù)器安全。應(yīng)用程序在功能、數(shù)據(jù)權(quán)限以及績效考評中涉及的私密性等方面進行了有效設(shè)計，提高了應(yīng)用程序本身的安全性。,,,WWWKRSCCN13891922113,技術(shù)優(yōu)勢,,高度的可靠性應(yīng)用,應(yīng)用程序在并發(fā)控制、容錯、日志處理等方面進行了有效的設(shè)計，提高了應(yīng)用程序本身的可靠性。系統(tǒng)有自檢與自恢復(fù)能力，并通過動態(tài)的監(jiān)控能力提供故障快速排除的手段。,,WWWKRSCCN13891922113,,,WWWKRSCCN13891922113,成功案例,中國民生銀行西安分行2005年使用金銳績效管理系統(tǒng)至今，連續(xù)6年使用，季度考核運用金銳績效系統(tǒng)實施員工綜合素質(zhì)考核、機構(gòu)服務(wù)滿意度考核單位人數(shù)800多人實施特色放棄總行的SAP系統(tǒng)中績效考核部分而選擇金銳,WWWKRSCCN13891922113,成功案例,寧波港吉碼頭有限公司（寧波港下屬公司）2007年使用金銳績效管理系統(tǒng)至今，連續(xù)4年使用，月度考核。運用金銳績效系統(tǒng)實施全員考核，包括中層干部，職能部門管理人員，一線操作保障員工。單位人數(shù)1000多人。實施特色分級考核、集成集團短信平臺。,WWWKRSCCN13891922113,成功案例,寧波南車時代傳感器有限公司（中國南車下屬企業(yè)）2007年使用金銳績效管理系統(tǒng)至今，連續(xù)4年使用。單位人數(shù)400多人。實施特色每月按績效考核結(jié)果，發(fā)放績效工資。,WWWKRSCCN13891922113,成功案例,西安理工大學(xué)2008年使用金銳績效管理系統(tǒng)至今，連續(xù)3年使用。單位人數(shù)1000多人。實施特色管理學(xué)院運用金銳績效管理平臺對研究生、本科生進行教學(xué)。,WWWKRSCCN13891922113,成功案例,大荔縣工商行政管理局2009年使用金銳績效管理系統(tǒng)，月度考核。單位人數(shù)600多人。實施特色運用金銳績效系統(tǒng)進行績效管理、考勤管理、工作日志管理、工作任務(wù)管理。,WWWKRSCCN13891922113,成功案例,陜西省公安廳組織教育處2010年使用金銳績效管理系統(tǒng)。單位人數(shù)100人以內(nèi)。實施特色績效管理與日常工作緊密結(jié)合，陜西省公安廳的下屬單位第一家實施運用信息化的手段來進行績效管理。,THANKYOU,,

簡介：網(wǎng)上抄報稅軟件操作培訓(xùn),（適用于增值稅一般納稅人）,一、網(wǎng)上抄報稅概述,二、網(wǎng)上抄報稅操作,三、申報操作,四、常見問題溫馨提示,培訓(xùn)內(nèi)容,網(wǎng)上抄報稅概述定義,什么是網(wǎng)上抄報稅網(wǎng)上抄報稅是納稅人通過防偽稅控開票金稅卡自行完成抄稅操作后，運用網(wǎng)上抄報稅系統(tǒng)通過網(wǎng)絡(luò)將報稅數(shù)據(jù)傳輸?shù)蕉悇?wù)機關(guān)，由稅務(wù)端網(wǎng)上報稅系統(tǒng)自動完成報稅數(shù)據(jù)解密、報稅業(yè)務(wù)處理、發(fā)票比對等處理工作，企業(yè)再通過網(wǎng)絡(luò)查詢報稅結(jié)果信息，并在報稅成功、增值稅“一窗式”比對通過且繳納稅款的情況下進行清卡操作。,一、網(wǎng)上抄報稅概述,二、網(wǎng)上抄報稅操作,三、申報操作,四、常見問題溫馨提示,培訓(xùn)內(nèi)容,網(wǎng)上抄報稅操作,安裝初始化操作日常抄報稅操作,安裝初始化操作安裝,,,,安裝初始化操作安裝,安裝初始化操作安裝完成,程序安裝完成后，會自動在桌面上建立“網(wǎng)上抄報稅”的快捷方式圖標雙擊圖標啟動網(wǎng)上抄報稅系統(tǒng),安裝初始化操作,需到主管稅務(wù)機關(guān)拷取初始化文件,安裝初始化操作,初始化操作登錄,填寫納稅人識別號、稅控機號,首次密碼由稅局以文件形式提供，需用記事本程序打開,初始化操作導(dǎo)入注冊碼,,選擇由稅務(wù)機關(guān)獲取的注冊碼文件,初始化操作導(dǎo)入注冊碼,初始化操作完成,完成注冊碼導(dǎo)入后，退出系統(tǒng)，重新登錄即可進行日常抄報稅操作,日常抄報稅操作,安裝初始化操作日常抄報稅操作,網(wǎng)上抄報稅及申報操作總流程,抄稅,遠程報稅,申報、扣款,清卡操作,日常抄報稅操作操作流程,,在線抄報稅,,脫機抄報稅,日常抄報稅操作兩種方式,在線抄報稅脫機抄報稅,日常抄報稅操作在線抄報稅登錄,輸入納稅人識別號、稅控機號、密碼并勾選是否有金稅卡,日常抄報稅操作在線抄報稅遠程抄報稅,,日常抄報稅操作在線抄報稅遠程抄報稅,系統(tǒng)會讀取IC卡內(nèi)信息，并上傳到稅局服務(wù)器端。上傳成功后，會顯示成功信息,日常抄報稅操作在線抄報稅抄報稅結(jié)果查詢,,日常抄報稅操作在線抄報稅抄報稅結(jié)果查詢,查看數(shù)據(jù)狀態(tài)、處理狀態(tài)、報稅結(jié)果和錯誤號,查看各類發(fā)票的報稅信息,日常抄報稅操作在線抄報稅抄報稅結(jié)果查詢,當申報成功，扣款成功后，返回網(wǎng)上抄報稅系統(tǒng)再次查詢結(jié)果,,日常抄報稅操作在線抄報稅清零解鎖,,,日常抄報稅操作在線抄報稅清零解鎖,清零解鎖成功后，系統(tǒng)會返回清零解鎖成功信息,操作完成后，點擊系統(tǒng)菜單欄退出,日常抄報稅操作兩種方式,脫機抄報稅,日常抄報稅操作脫機抄報稅登錄,輸入納稅人識別號、稅控機號無需錄入密碼需勾選是否有金稅卡,在有金稅卡的電腦上登錄，并確保IC卡在讀卡器內(nèi),日常抄報稅操作脫機抄報稅導(dǎo)出抄報稅文件,,日常抄報稅操作脫機抄報稅導(dǎo)出抄報稅文件,系統(tǒng)讀取完金稅卡信息后，可選擇保存路徑,日常抄報稅操作脫機抄報稅重新登錄,用戶需選擇一臺可以上網(wǎng)的并且已安裝了網(wǎng)上抄報稅系統(tǒng)的電腦上重新登錄系統(tǒng),取消是否有金稅卡的選項,日常抄報稅操作脫機抄報稅導(dǎo)入文件抄報稅,,日常抄報稅操作脫機抄報稅導(dǎo)入文件抄報稅,選擇需導(dǎo)入的報稅文件,日常抄報稅操作脫機抄報稅導(dǎo)入文件抄報稅,上傳成功后，會顯示成功信息,抄報稅結(jié)果查詢與在線抄報稅中查詢操作一致,日常抄報稅操作脫機抄報稅導(dǎo)出清零解鎖文件,,日常抄報稅操作脫機抄報稅導(dǎo)出清零解鎖文件,選擇保存路徑,,,日常抄報稅操作脫機抄報稅導(dǎo)入清零解鎖文件,需回到導(dǎo)出抄報稅文件的電腦上（有金稅卡），點擊導(dǎo)入清零解鎖文件,,日常抄報稅操作脫機抄報稅導(dǎo)入清零解鎖文件,選擇導(dǎo)出的清零解鎖文件,日常抄報稅操作脫機抄報稅導(dǎo)入清零解鎖文件,清零解鎖成功后，系統(tǒng)返回成功信息,日常抄報稅操作總結(jié),,,在線抄報稅,脫機抄報稅,一、網(wǎng)上抄報稅概述,二、網(wǎng)上抄報稅操作,三、申報操作,四、常見問題溫馨提示,培訓(xùn)內(nèi)容,申報操作日常申報申報反饋,一、進項發(fā)票數(shù)據(jù)稽核不通過,處理方法納稅人應(yīng)對采集的進項發(fā)票數(shù)據(jù)進行檢查，更正并更新報表后再次進行申報發(fā)送。,申報操作日常申報申報反饋,二、納稅人未抄稅就直接申報，若局端進項數(shù)據(jù)比對成功，則返回企業(yè)端要納稅人進行抄稅操作的提示。,處理方法納稅人要進行抄稅（網(wǎng)上抄稅或者大廳抄稅），抄稅完成以后再次點擊發(fā)送報表，重新發(fā)送進行銷項稽核。,申報操作日常申報申報反饋,三、局端進項數(shù)據(jù)比對成功，銷項比對出錯；結(jié)果提示如下,處理方法納稅人需要到稅局前臺異常崗處理。如果確實是由納稅人自己疏忽而錄入錯誤的，可以申請作廢重新申報。,申報操作日常申報申報反饋,四、局端平臺沒有自動扣款或者由于其他原因?qū)е驴劭钍?。納稅人可以在報表瀏覽中看到扣款失敗的信息。,,處理方法納稅人可以點擊申報軟件中的“扣款請求”按鈕手工發(fā)起扣款請求。如下圖所示,,申報操作日常申報申報反饋,點擊扣款請求按鈕以后會出現(xiàn)如下界面，此時只要點擊扣款即可。,,申報操作日常申報申報反饋,五、申報處理成功處理方法申報反饋提示申報處理成功，納稅人即可在網(wǎng)上申報軟件中打印所申報的報表，在稅務(wù)機關(guān)規(guī)定的時間內(nèi)提交報表即可。,一、網(wǎng)上抄報稅概述,二、網(wǎng)上抄報稅操作,三、申報操作,四、常見問題溫馨提示,培訓(xùn)內(nèi)容,,提示1網(wǎng)上抄報稅軟件是否收費網(wǎng)上抄報稅軟件是深圳國家稅務(wù)局開發(fā)的，免費提供一般納稅人使用。提示2如何獲取注冊碼及密碼文件納稅人憑稅務(wù)登記證副本，填寫增值稅一般納稅人網(wǎng)上報稅方式備案表到主管稅務(wù)機關(guān)辦理備案后，主管稅務(wù)機關(guān)提供的注冊碼。每臺防偽稅控機對應(yīng)一個注冊碼。注冊碼有效期為一年，逾期后需要到主管稅務(wù)機關(guān)申請新的注冊碼。,,,溫馨提示,,提示3如何獲取網(wǎng)上抄報稅軟件在深圳市國家稅務(wù)局門戶網(wǎng)站W(wǎng)WWSZGSGOVCN上下載。提示4使用網(wǎng)上抄報稅軟件后，網(wǎng)上申報流程有什么變化必須先操作網(wǎng)上抄報稅系統(tǒng)進行遠程報稅，再操作網(wǎng)上申報軟件，發(fā)送申報數(shù)據(jù)提示5企業(yè)在網(wǎng)上抄報稅軟進行查詢結(jié)果時提示“一窗式比對失敗”，應(yīng)如何處理一般是還沒有進行申報及扣款，請進行網(wǎng)上申報和及扣款后再在網(wǎng)上抄報稅軟進行查詢結(jié)果。,,,溫馨提示,,提示6企業(yè)安裝了網(wǎng)上抄報稅軟件后，未進行一般納稅人網(wǎng)上申報軟件升級造成銷項沒有數(shù)據(jù)比對而無法成功發(fā)送申報表，如何處理請先升級網(wǎng)上申報軟件后，在重新生成報表后，再次發(fā)送報表。提示7企業(yè)有多臺防偽稅控開票機的，是否每臺機都要裝抄報稅系統(tǒng)在稅務(wù)局需要拷了幾個文件，密碼是哪個有多臺稅控開票機的，需要每臺機都安裝網(wǎng)上抄報稅系統(tǒng)。在稅務(wù)局拷貝一個文件，該文件是壓縮文件，密碼在文件中。,,,溫馨提示,,提示8主分機進行網(wǎng)上抄報稅是否有順序主分機網(wǎng)上抄報稅沒有順序，但必須每臺機都進行網(wǎng)上抄報稅并且申報扣款成功后，才能清卡。提示9網(wǎng)上抄報稅系統(tǒng)在使用過程中，遇到問題應(yīng)如何咨詢請與深圳市國家稅務(wù)局123661或主管稅務(wù)機關(guān)聯(lián)系。,,,溫馨提示,THANKYOU,,

簡介：分享一些辦公室共生活小常識,ZDC9E齊彩辦公WWWQICOLORCOM,我們都知道，在很多時候，辦公室一族已經(jīng)非常常見，辦公室上班一族由于長期對著電腦伏案，缺少活動，身體會越來越差。但是又沒有時,Z9C8E電機綜合保護器WWWDDBECOMCN,間去做運動，那么辦公室一族該如何有效的鍛煉身體呢，下面我們一起來了解一下。辦公室共生活小常識,大腿與地面平行。將椅子調(diào)高，使大腿與地面平行，可以降低對肌肉、肌腱和骨骼的壓力，預(yù)防肌肉骨骼疾病選擇靠背椅，在腰部放一個,Z9C8E電機綜合保護器WWWDDBECOMCN,卷起的毛巾或靠枕手、手腕和前臂在一條直線上，使小臂放在辦公桌上時肘部成直角頭部和身體保持直線，稍微前傾肘部應(yīng)靠近身體，彎,曲90120度為宜雙肩放松，上臂自然下垂雙腳平放在地板上椅子最好加個墊子。,經(jīng)常走動。身體對同一坐姿的可承受時限為,Z9C8E電機綜合保護器WWWDDBECOMCN,20分鐘，之后就會產(chǎn)生不適感。建議每隔15分鐘，站立、拉伸或走動一下，至少30秒應(yīng)改變一次坐姿。,減少重復(fù)動作。重復(fù)動作必然導(dǎo)致疲勞和壓力。電話等常用物件應(yīng)保持在手臂范圍內(nèi)可以左右手換著使用電腦鼠標。,Z9C8E電機綜合保護器WWWDDBECOMCN,與電腦屏幕保持健康距離。電腦屏幕應(yīng)該位于正前方至少50厘米，屏幕高度應(yīng)該略微低于雙眼高度。屏幕不應(yīng)正對窗口，以免反光。,經(jīng)常遠眺和眨眼。為了防止眼睛干澀和疲,勞，眼睛焦距應(yīng)經(jīng)常變換，眺望遠處或經(jīng)常眨眼，都有助于保持眼睛濕潤。,Z9C8E電機綜合保護器WWWDDBECOMCN,保持鍵盤等辦公用品清潔。鍵盤和電話等辦公設(shè)備容易滋生細菌。辦公桌隱藏的細菌甚至比馬桶坐墊還要多，長時間坐在其附近，呼吸道就,會受傷害。,整理凌亂辦公桌。辦公桌上雜物太多會使人,容易發(fā)脾氣、暴躁。,Z9C8E電機綜合保護器WWWDDBECOMCN,呼吸練習。深呼吸，當腹部鼓起時，屏氣3,秒鐘后呼氣，能緩解疲勞。,放幾張家人的照片。放家人或朋友的照片、,一個盆景、喜愛的海報、油畫，以及帶來快樂記憶的紀念品等，都可以讓你的心情放松。,

簡介：2024/3/29,AUTHORHENRYDATE16OCT，2007,測試用例設(shè)計,安博測試空間技術(shù)中心HTTP//WWWBTESTINGSKYCOM/地址北京市海淀區(qū)學(xué)院路40號大唐電信測試空間樓聯(lián)系電話010623032236230326062303230,2,課程介紹,目標掌握測試用例設(shè)計的實踐、方法和要點聽眾測試管理人員、測試工程師應(yīng)用開發(fā)人員、QA人員必備條件熟悉測試過程有過實際的測試經(jīng)驗,3,課程內(nèi)容,如何設(shè)計好測試用例設(shè)計測試用例的思路黑盒測試用例的設(shè)計白盒測試用例的設(shè)計自動化測試用例的設(shè)計,4,測試用例設(shè)計,下面我們學(xué)習－－如何設(shè)計好測試用例測試用例與軟件質(zhì)量怎樣衡量一個好的測試用例測試用例的類型剖析測試用例提高設(shè)計測試用例的效率常出現(xiàn)的錯誤,2024/3/29,5,測試用例與軟件質(zhì)量,測試用例是為了發(fā)現(xiàn)軟件缺陷，或至少可能發(fā)現(xiàn)缺陷而設(shè)計；通過好的用例來提高質(zhì)量，從而降低維護成本；不好的用例將給質(zhì)量帶來一定的風險；好的用例是度量質(zhì)量的一個標準。經(jīng)常用“測試用例數(shù)/千行代碼“來評價項目。,2024/3/29,6,怎樣衡量一個好的測試用例,有效性是否能發(fā)現(xiàn)軟件缺陷，至少可能發(fā)現(xiàn)軟件缺陷；開銷測試事例的執(zhí)行、分析和調(diào)試是否經(jīng)濟；可仿效性測試用例可以測試多項內(nèi)容，因而減少了測試事例的數(shù)量；可維護性每次軟件修改后對測試事例的維護成本；可執(zhí)行性是否依賴于測試用例設(shè)計者；,2024/3/29,7,測試用例的類型,按表現(xiàn)形式分向?qū)停徊揭徊降闹甘菊f明表腳本型－執(zhí)行測試或回放記錄的腳本按設(shè)計目標分單元測試用例發(fā)現(xiàn)編碼的缺陷系統(tǒng)測試用例發(fā)現(xiàn)功能說明的缺陷集成測試用例發(fā)現(xiàn)設(shè)計的缺陷驗收測試用例發(fā)現(xiàn)需求的缺陷,2024/3/29,8,剖析測試用例,對任何一個測試用例而言都順序執(zhí)行這5個測試開發(fā)活動,標識,設(shè)計,建立,分析,執(zhí)行,,,,,標識測試條件確定測試什么和測試的優(yōu)先級,設(shè)計測試用例確定怎樣測試,建立測試確定測試腳本、數(shù)據(jù)等,執(zhí)行測試用例,將測試用例的輸出結(jié)果與期望結(jié)果進行比較,2024/3/29,9,提高設(shè)計測試用例的效率,使用模板防止空白頁建立標準幫助測試者發(fā)現(xiàn)信息打印好的測試例子使用測試管理軟件容易增加、移動、刪除用例與步驟可以借鑒很多模板制作大綱可以對步驟、用例進行拷貝能自動編號,復(fù)制技術(shù)使用“另存為”命令使用“替換”命令使用存儲文本、宏,2024/3/29,10,常出現(xiàn)的錯誤,用例太長不完善，不正確、不連貫遺漏步驟對字段的命名有所改變或使其根本不存在對系統(tǒng)的操作不清楚不能確定用例是否通過參數(shù)化錯誤,11,測試用例設(shè)計,下面我們學(xué)習－－設(shè)計測試用例的思路由簡而繁參數(shù)化案例,2024/3/29,12,由簡而繁,“繁”，這里是指詳細的意思；,是一個過程,是一個逐步細化的過程,是一個從簡單的測試描述（測試功能點、測試需求等）逐步細化到能夠去依照執(zhí)行的測試用例的過程,由簡而繁－－,2024/3/29,13,為什么要由簡而繁,如果沒有測試用例或者僅有簡單的測試功能描述，測試過程難以控制，測試結(jié)果將毫無可靠性可言；,簡單的測試用例可靠性低，重用性差，可能導(dǎo)致不同人員理解不同；,詳細的測試用例可靠性高，而且便于估計執(zhí)行所需時間，易于控制。,,2024/3/29,14,到何種程度,時間要求測試時間是否充足執(zhí)行者測試執(zhí)行者對系統(tǒng)的了解程度建議程度將測試用例交給其他人執(zhí)行時不需要過多的解釋。,2024/3/29,15,樣例－登錄,需求用戶名長度為6至10位（含6位和10位）用戶名由字符（AZ、AZ）和數(shù)字（09）組成用戶名不能為空，不能有空格和特殊字符密碼規(guī)則同用戶名規(guī)則,,,2024/3/29,16,簡單理解需求,能夠正確處理用戶登錄,2024/3/29,17,一般用例的設(shè)計,輸入正確的用戶名和口令可以進入系統(tǒng)輸入錯誤用戶名或口令錯誤無法進入系統(tǒng),2024/3/29,18,詳細用例的設(shè)計,2024/3/29,19,什么是參數(shù)化,是一個將測試數(shù)據(jù)與測試邏輯（步驟）分開，簡化測試用例的過程；方式是將用例中的一些輸入、輸出等作為參數(shù)，數(shù)據(jù)則單獨列出，在執(zhí)行時選擇相應(yīng)的數(shù)據(jù)執(zhí)行。,2024/3/29,20,為什么要參數(shù)化,沒有將測試數(shù)據(jù)和測試邏輯分開的測試用例可能顯得非常龐大，不利于測試員理解，導(dǎo)致難以控制和執(zhí)行；,通過將用例參數(shù)化，可以簡化用例，使測試用例邏輯清晰，數(shù)據(jù)與邏輯的關(guān)系明了，易于理解；,有利于提高測試用例的復(fù)用性；,2024/3/29,21,哪些內(nèi)容需要參數(shù)化,測試用例中需要通過使用不同數(shù)據(jù)來重復(fù)執(zhí)行測試的部分；包括輸入（數(shù)據(jù)或操作等）輸出（結(jié)果數(shù)據(jù)或預(yù)期結(jié)果等）,2024/3/29,22,樣例－登錄的測試步驟,2024/3/29,23,樣例－登錄的測試數(shù)據(jù),24,測試用例設(shè)計,下面我們學(xué)習－－黑盒測試用例的設(shè)計等價類劃分法邊界值分析法錯誤推測法因果圖法。。。,2024/3/29,25,等價類劃分,定義是把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分成若干部分子集，然后從每一個子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測試用例；基本思想是設(shè)想用一組有限的數(shù)據(jù)去代表近似無限的數(shù)據(jù)；,2024/3/29,26,等價類劃分,有效等價類是指對于程序的規(guī)格說明來說是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。（正確的）無效等價類無效等價類指對程序的規(guī)格說明是不合理的或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。（錯誤的）設(shè)計測試用例時，要同時考慮這兩種等價類。因為軟件不僅要能接收合理的數(shù)據(jù)，也要經(jīng)受意外的考驗，這樣的測試才能確保軟件具有更高的可靠性。,2024/3/29,27,劃分等價類的方法,在輸入條件規(guī)定了取值范圍或值的個數(shù)的情況下，則可以確立一個有效等價類和兩個無效等價類。如輸入值是學(xué)生成績，范圍是0～100；,2024/3/29,28,劃分等價類的方法,在輸入條件是一個布爾量的情況下，可確定一個有效等價類和一個無效等價類；在規(guī)定了輸入數(shù)據(jù)的一組值假定N個，并且程序要對每一個輸入值分別處理的情況下，可確立N個有效等價類和一個無效等價類；。。。,2024/3/29,29,設(shè)計測試用例,在確立了等價類后，可建立等價類表，列出所有劃分出的等價類輸入條件，然后從劃分出的等價類中按以下三個原則設(shè)計測試用例為每一個等價類規(guī)定一個唯一的編號；設(shè)計一個新的測試用例，使其盡可能多地覆蓋尚未被覆蓋地有效等價類，重復(fù)這一步，直到所有的有效等價類都被覆蓋為止；設(shè)計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重復(fù)這一步，直到所有的無效等價類都被覆蓋為止；,2024/3/29,30,例子－檔案管理系統(tǒng),有一個檔案管理系統(tǒng)，要求用戶輸入以年月表示的日期。假設(shè)日期限定在1990年1月2049年12月并規(guī)定日期由6位數(shù)字字符組成，前4位表示年，后2位表示月。現(xiàn)用等價類劃分法設(shè)計測試用例，來測試程序的“日期檢查功能”。,2024/3/29,31,例子－檔案管理系統(tǒng),劃分等價類并編號，下表為等價類劃分的結(jié)果,2024/3/29,32,例子－檔案管理系統(tǒng),設(shè)計測試用例，以便覆蓋所有的有效等價類在表中列出了3個有效等價類，編號分別為1、2、3，設(shè)計的測試用例如下,2024/3/29,33,例子－檔案管理系統(tǒng),為每一個無效等價類設(shè)計一個測試用例，設(shè)計結(jié)果如下,2024/3/29,34,邊界值分析,定義邊界值分析法就是對輸入或輸出的邊界值進行測試的一種黑盒測試方法。通常邊界值分析法是作為對等價類劃分法的補充，這種情況下，其測試用例來自等價類的邊界。,2024/3/29,35,邊界值分析方法的考慮,長期的測試工作經(jīng)驗告訴我們，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是發(fā)生在輸入輸出范圍的內(nèi)部。使用邊界值分析方法設(shè)計測試用例，應(yīng)當選取正好等于，剛剛大于或剛剛小于邊界的值作為測試數(shù)據(jù)，而不是選取等價類中的典型值或任意值作為測試數(shù)據(jù)。,2024/3/29,36,常見的邊界值,對16BIT的整數(shù)而言32767和32768是邊界；屏幕上光標在最左上、最右下位置；報表的第一行和最后一行；數(shù)組元素的第一個和最后一個；循環(huán)的第0次、第1次和倒數(shù)第2次、最后一次；。。。,2024/3/29,37,邊界檢驗的幾種類型,邊界檢驗的幾種類型數(shù)字、字符、位置、重量、大小、速度、方位、尺寸、空間等。,2024/3/29,38,數(shù)值的邊界值檢驗,2024/3/29,39,字符的邊界值檢驗,2024/3/29,40,例子－檔案管理系統(tǒng)（同前）,有一個檔案管理系統(tǒng)，要求用戶輸入以年月表示的日期。假設(shè)日期限定在1990年1月2049年12月并規(guī)定日期由6位數(shù)字字符組成，前4位表示年，后2位表示月?，F(xiàn)用等價類劃分法設(shè)計測試用例，來測試程序的“日期檢查功能”。,2024/3/29,41,例子－檔案管理系統(tǒng),邊界值分析后的用例,2024/3/29,42,錯誤推測法,定義基于經(jīng)驗和直覺推測程序中所有可能存在的各種錯誤，從而有針對性的設(shè)計測試用例的方法。方法列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)他們選擇測試用例。,2024/3/29,43,例子,例如輸入數(shù)據(jù)和輸出數(shù)據(jù)為0的情況；輸入表格為空格或輸入表格只有一行。如前面的例子可補充的用例有輸入空格輸入中有字符輸入“999999”或“000000”輸入“2022”。。。,2024/3/29,44,因果圖法,定義因果圖法就是一種利用圖解法分析輸入的各種組合情況，生成判定表，從而設(shè)計測試用例的方法。優(yōu)點適合于檢查程序輸入條件的各種情況的組合?？梢詾檫壿嫍l件和相應(yīng)動作之間的關(guān)系提供簡潔的表示方法。,45,測試用例設(shè)計,下面我們學(xué)習－－白盒測試用例的設(shè)計為什么要進行白盒測試白盒測試用例設(shè)計方法邏輯覆蓋法基本路徑覆蓋法。。。,2024/3/29,46,為什么要進行白盒測試,假如有一個程序流程如圖所示,2024/3/29,47,為什么要進行白盒測試,如果測試組不知道代碼中有一個潛在的被0除的錯誤。測試組按照如下由藍色和綠色標記的路徑進行測試；顯然測試工作似乎非常完善，測試用例覆蓋了所有執(zhí)行語句，沒有被0除的錯誤發(fā)生。,2024/3/29,48,為什么要進行白盒測試,但是，當客戶在接到該產(chǎn)品并使用的過程中，執(zhí)行了如下紅色標記所示的路徑時，錯誤發(fā)生了。,2024/3/29,49,為什么要進行白盒測試,從本例可以看到，如果不對程序內(nèi)部的邏輯結(jié)構(gòu)做分析，則設(shè)計的測試用例可能無法發(fā)現(xiàn)內(nèi)部潛在的錯誤。,2024/3/29,50,白盒測試用例設(shè)計方法,邏輯覆蓋法基本路徑覆蓋法其它方法等價類劃分邊界值分析。。。,2024/3/29,51,邏輯覆蓋法,邏輯覆蓋是以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)的測試用例設(shè)計技術(shù)，這一方法要求測試人員對程序的邏輯結(jié)構(gòu)有清楚的了解。邏輯覆蓋可分為語句覆蓋判定覆蓋條件覆蓋判定條件覆蓋條件組合覆蓋,2024/3/29,52,邏輯覆蓋各種方法定義,語句覆蓋就是設(shè)計若干個測試用例，運行所測程序，使得每一可執(zhí)行語句至少執(zhí)行一次。判定覆蓋就是設(shè)計若干個測試用例，運行所測程序，使得程序中每個判斷的取真分支和取假分支至少經(jīng)歷一次。條件覆蓋就是設(shè)計若干個測試用例，運行所測程序，使得程序中每個判斷的每個條件的可能取值至少執(zhí)行一次。,2024/3/29,53,邏輯覆蓋各種方法定義,判定條件覆蓋就是設(shè)計足夠的測試用例，使得判斷中每個條件的所有可能取值至少執(zhí)行一次，同時每個判斷的所有可能判斷結(jié)果也至少執(zhí)行一次。條件組合覆蓋就是設(shè)計足夠的測試用例，運行所測程序，使得每個判斷的所有可能的條件取值組合至少執(zhí)行一次。,2024/3/29,54,基本路徑法,定義基本路徑測試法是在程序控制流圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計測試用例的方法?；韭窂椒ㄒ步歇毩⒙窂椒?。,2024/3/29,55,,流圖符號,2024/3/29,56,流程圖轉(zhuǎn)為流圖,,,2024/3/29,57,基本路徑,經(jīng)過分析后，基本路徑集合為路徑1111路徑21234510111路徑31236891011路徑412367910111為了覆蓋所有程序語句，必須設(shè)計至少4個測試用例使程序運行于這4條路徑。,2024/3/29,58,其它白盒測試用例設(shè)計方法,等價類劃分邊界值分析。。。,59,測試用例設(shè)計,下面我們學(xué)習－－自動化測試用例的設(shè)計自動化測試時用例的選擇數(shù)據(jù)的參數(shù)化,2024/3/29,60,自動化測試時用例的選擇,并不是所有的用例都會進行自動化測試；選擇用例來進行自動化測試時，需要考慮的因素有項目類型操作類型測試工具易實現(xiàn)性可維護性流程穩(wěn)定性。。。,2024/3/29,61,測試腳本的參數(shù)化,在實現(xiàn)自動化測試過程中，需要提交了數(shù)據(jù)。這些操作都被記錄到了腳本中。當多次運行腳本時，就會提交相同的記錄，這樣不符合實際的運行情況，而且有可能引起沖突。為了更加真實的模擬實際環(huán)境，需要各種各樣的輸入。腳本的參數(shù)化輸入是一種不錯的方法。,2024/3/29,62,腳本的參數(shù)化,腳本的數(shù)據(jù)參數(shù)化就是在腳本中將靜態(tài)值更換為值變量，以使腳本在執(zhí)行過程中，自動輸入不同數(shù)據(jù)的方法。（實現(xiàn)方法視工具而不同）數(shù)據(jù)參數(shù)化的好處可以使腳本的長度變短?？梢允褂貌煌臄?shù)值來測試你的腳本?？梢詫⒃O(shè)計的用例放置在數(shù)據(jù)源中一次執(zhí)行完成。數(shù)據(jù)參數(shù)化包含以下兩項任務(wù)在腳本中用參數(shù)取代常量值。設(shè)置參數(shù)的屬性以及數(shù)據(jù)源。,63,課程回顧,如何設(shè)計好測試用例設(shè)計測試用例的思路黑盒測試用例的設(shè)計白盒測試用例的設(shè)計自動化測試用例的設(shè)計,2024/3/29,64,對測試的誤解,有時間就多測試一些，來不及就少測試一些。軟件測試是測試人員的事，與開發(fā)人員無關(guān)。設(shè)計－實現(xiàn)－測試，軟件測試是開發(fā)后期的一個階段。,2024/3/29,65,測試格言,不要改變程序，使測試更容易（除非這個修改是永久的）。每個測試用例的一個必需的部分是對預(yù)期輸出的描述。避免不可重復(fù)的或無用的測試。既要寫有效輸入條件的測試用例，也要寫無效輸入條件的測試用例。,2024/3/29,66,QUESTION,THANKYOU,

簡介：軟件需求分析的任務(wù)和過程結(jié)構(gòu)化分析方法原型化方法動態(tài)分析方法數(shù)據(jù)及數(shù)據(jù)庫需求,軟件需求分析,軟件需求分析的任務(wù),深入描述軟件的功能和性能確定軟件設(shè)計的約束和軟件同其它系統(tǒng)元素的接口細節(jié)定義軟件的其它有效性需求,需求分析研究的對象是軟件項目的用戶要求準確地表達被接受的用戶要求確定被開發(fā)軟件系統(tǒng)的系統(tǒng)元素將功能和信息結(jié)構(gòu)分配到這些系統(tǒng)元素中,需求分析的任務(wù)就是借助于當前系統(tǒng)的邏輯模型導(dǎo)出目標系統(tǒng)的邏輯模型，解決目標系統(tǒng)的“做什么”的問題。,通常軟件開發(fā)項目是要實現(xiàn)目標系統(tǒng)的物理模型目標系統(tǒng)的具體物理模型是由它的邏輯模型經(jīng)實例化，即具體到某個業(yè)務(wù)領(lǐng)域而得到的,需求分析的過程,1問題識別從系統(tǒng)的角度來理解軟件并評審軟件范圍是否恰當確定對目標系統(tǒng)的綜合要求，即軟件的需求提出這些需求實現(xiàn)條件，以及需求應(yīng)達到的標準,軟件的需求包括,功能需求性能需求環(huán)境需求可靠性需求安全保密要求用戶界面需求,資源使用需求成本消耗需求開發(fā)進度需求預(yù)先估計以后系統(tǒng)可能達到的目標,問題識別的另一項工作是建立分析所需要的通信途徑，以保證能順利地對問題進行分析。,2分析與綜合從信息流和信息結(jié)構(gòu)出發(fā)，逐步細化所有的軟件功能，找出系統(tǒng)各元素之間的聯(lián)系、接口特性和設(shè)計上的約束，分析它們是否滿足功能要求，是否合理。剔除其不合理的部分，增加其需要部分。最終綜合成系統(tǒng)的解決方案，給出目標系統(tǒng)的詳細邏輯模型。,常用的分析方法,面向數(shù)據(jù)流的結(jié)構(gòu)化分析方法SA面向數(shù)據(jù)結(jié)構(gòu)的JACKSON方法JSD面向數(shù)據(jù)結(jié)構(gòu)的結(jié)構(gòu)化數(shù)據(jù)系統(tǒng)開發(fā)方法DSSD面向?qū)ο蟮姆治龇椒∣OA等,3編制需求分析階段的文檔軟件需求說明書數(shù)據(jù)要求說明書初步的用戶手冊修改、完善與確定軟件開發(fā)實施計劃,4需求分析評審,系統(tǒng)定義的目標是否與用戶的要求一致系統(tǒng)需求分析階段提供的文檔資料是否齊全文檔中的所有描述是否完整、清晰、準確反映用戶要求與所有其它系統(tǒng)成分的重要接口是否都已經(jīng)描述,被開發(fā)項目的數(shù)據(jù)流與數(shù)據(jù)結(jié)構(gòu)是否足夠，確定所有圖表是否清楚，在不補充說明時能否理解主要功能是否已包括在規(guī)定的軟件范圍之內(nèi)，是否都已充分說明設(shè)計的約束條件或限制條件是否符合實際開發(fā)的技術(shù)風險是什么,是否考慮過軟件需求的其它方案是否考慮過將來可能會提出的軟件需求是否詳細制定了檢驗標準，它們能否對系統(tǒng)定義是否成功進行確認,需求分析流程,軟件需求分析的原則,需要能夠表達和理解問題的信息域和功能域要能以層次化的方式對問題進行分解和不斷細化要給出系統(tǒng)的邏輯視圖和物理視圖,軟件需求規(guī)格說明的原則,從現(xiàn)實中分離功能，即描述要“做什么”而不是“怎樣實現(xiàn)”要求使用面向處理的規(guī)格說明語言（或稱系統(tǒng)定義語言）如果被開發(fā)軟件只是一個大系統(tǒng)中的一個元素，那么整個大系統(tǒng)也包括在規(guī)格說明的描述之中,規(guī)格說明必須包括系統(tǒng)運行環(huán)境規(guī)格說明必須是一個認識模型規(guī)格說明必須是可操作的規(guī)格說明必須容許不完備性并允許擴充規(guī)格說明必須局部化和松散耦合,軟件需求方法,需求分析方法由對軟件問題的信息域和功能域的系統(tǒng)分析過程及其表示方法組成大多數(shù)的需求分析方法是由信息驅(qū)動的信息域具有三種屬性信息流、信息內(nèi)容和信息結(jié)構(gòu)。,,結(jié)構(gòu)化分析方法,面向數(shù)據(jù)流進行需求分析的方法結(jié)構(gòu)化分析方法適合于數(shù)據(jù)處理類型軟件的需求分析具體來說，結(jié)構(gòu)化分析方法就是用抽象模型的概念，按照軟件內(nèi)部數(shù)據(jù)傳遞、變換的關(guān)系，自頂向下逐層分解，直到找到滿足功能要求的所有可實現(xiàn)的軟件為止,結(jié)構(gòu)化分析方法使用工具數(shù)據(jù)流圖數(shù)據(jù)詞典結(jié)構(gòu)化英語判定表與判定樹,數(shù)據(jù)流圖,數(shù)據(jù)流圖中的主要圖形元素,,數(shù)據(jù)加工數(shù)據(jù)變換,,數(shù)據(jù)源點或終點外部實體,,數(shù)據(jù)流,,,,,數(shù)據(jù)存儲文件,描述銀行取款過程的數(shù)據(jù)流圖,數(shù)據(jù)流與數(shù)據(jù)加工之間的關(guān)系,數(shù)據(jù)流圖的層次結(jié)構(gòu),為了表達數(shù)據(jù)處理過程的數(shù)據(jù)加工情況，需要采用層次結(jié)構(gòu)的數(shù)據(jù)流圖。按照系統(tǒng)的層次結(jié)構(gòu)進行逐步分解，并以分層的數(shù)據(jù)流圖反映這種結(jié)構(gòu)關(guān)系，能清楚地表達和容易理解整個系統(tǒng),分層的數(shù)據(jù)流圖,在多層數(shù)據(jù)流圖中，頂層流圖僅包含一個加工，它代表被開發(fā)系統(tǒng)。它的輸入流是該系統(tǒng)的輸入數(shù)據(jù)，輸出流是系統(tǒng)所輸出數(shù)據(jù)底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖，它處在最底層中間層流圖則表示對其上層父圖的細化。它的每一加工可能繼續(xù)細化，形成子圖。,結(jié)構(gòu)化分析方法步驟示例商店業(yè)務(wù)處理系統(tǒng),這個數(shù)據(jù)流圖只是一個高層的系統(tǒng)邏輯模型，它反映了目標系統(tǒng)要實現(xiàn)的功能數(shù)據(jù)流圖繪制步驟首先確定系統(tǒng)的輸入和輸出根據(jù)商店業(yè)務(wù)，畫出頂層數(shù)據(jù)流圖，以反映最主要業(yè)務(wù)處理流程,經(jīng)過分析，商店業(yè)務(wù)處理的主要功能應(yīng)當有銷售、采購、會計三大項。主要數(shù)據(jù)流輸入的源點和輸出終點是顧客和供應(yīng)商。然后從輸入端開始，根據(jù)商店業(yè)務(wù)工作流程，畫出數(shù)據(jù)流流經(jīng)的各加工框，逐步畫到輸出端，得到第一層數(shù)據(jù)流圖,第一層數(shù)據(jù)流圖,加細每一個加工框銷售細化,采購細化,檢查和修改數(shù)據(jù)流圖的原則,數(shù)據(jù)流圖上所有圖形符號只限于前述四種基本圖形元素數(shù)據(jù)流圖的主圖必須包括前述四種基本元素，缺一不可數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實體之間每個加工至少有一個輸入數(shù)據(jù)流和一個輸出數(shù)據(jù)流,在數(shù)據(jù)流圖中，需按層給加工框編號。編號表明該加工所處層次及上下層的親子關(guān)系規(guī)定任何一個數(shù)據(jù)流子圖必須與它上一層的一個加工對應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。此即父圖與子圖的平衡可以在數(shù)據(jù)流圖中加入物質(zhì)流，幫助用戶理解數(shù)據(jù)流圖,圖上每個元素都必須有名字數(shù)據(jù)流圖中不可夾帶控制流初畫時可以忽略瑣碎的細節(jié)，以集中精力于主要數(shù)據(jù)流,數(shù)據(jù)詞典,數(shù)據(jù)詞典與數(shù)據(jù)流圖配合，能清楚地表達數(shù)據(jù)處理的要求詞條描述對于在數(shù)據(jù)流圖中每一個被命名的圖形元素，均加以定義，其內(nèi)容有名字，別名或編號，分類，描述，定義，位置，其它，等,（1）數(shù)據(jù)流詞條描述,數(shù)據(jù)流名說明簡要介紹作用即它產(chǎn)生的原因和結(jié)果數(shù)據(jù)流來源來自何方數(shù)據(jù)流去向去向何處數(shù)據(jù)流組成數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)量流通量數(shù)據(jù)量，流通量,（2）數(shù)據(jù)元素詞條描述,數(shù)據(jù)元素名類型數(shù)字（離散值，連續(xù)值），文字（編碼類型）長度取值范圍相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu),（3）數(shù)據(jù)文件詞條描述,數(shù)據(jù)文件名簡述存放的是什么數(shù)據(jù)輸入數(shù)據(jù)輸出數(shù)據(jù)數(shù)據(jù)文件組成數(shù)據(jù)結(jié)構(gòu)存儲方式順序，直接，關(guān)鍵碼存取頻率,（4）加工邏輯詞條描述,加工名加工編號反映該加工的層次簡要描述加工邏輯及功能簡述輸入數(shù)據(jù)流輸出數(shù)據(jù)流加工邏輯簡述加工程序，加工順序,（5）源點及匯終點詞條描述,名稱外部實體名簡要描述什么外部實體有關(guān)數(shù)據(jù)流數(shù)目,數(shù)據(jù)結(jié)構(gòu)的描述,符號含義舉例＝被定義為＋與XA＋B,或|或XA,B，XA|B{}或M{}N重復(fù)X{A}，X3{A}8可選XA“”基本數(shù)據(jù)元素X“A”連結(jié)符X19,存折格式,存折＝戶名＋所號＋帳號＋開戶日＋性質(zhì)＋印密＋1{存取行}50戶名＝2{字母}24所號＝“001”“999”帳號＝“00000001”“99999999”開戶日＝年＋月＋日性質(zhì)＝“1”“6”注“1”表示普通戶，“5”表示工資戶等印密＝“0”注印密在存折上不顯示存取行＝日期＋（摘要）＋支出＋存入＋余額＋操作＋復(fù)核,,對數(shù)據(jù)流圖的每一個基本加工，必須有一個基本加工邏輯說明基本加工邏輯說明必須描述基本加工如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則加工邏輯說明必須描述實現(xiàn)加工的策略而不是實現(xiàn)加工的細節(jié)加工邏輯說明中包含的信息應(yīng)是充足的，完備的，有用的，無冗余的,基本加工邏輯說明,用于寫加工邏輯說明的工具,結(jié)構(gòu)化英語判定表判定樹,（1）結(jié)構(gòu)化英語,結(jié)構(gòu)化英語的詞匯表由英語命令動詞數(shù)據(jù)詞典中定義的名字有限的自定義詞邏輯關(guān)系詞IF_THEN_ELSE、CASE_OF、WHILE_DO、REPEAT_UNTIL等組成。,是一種介于自然語言和形式化語言之間的語言語言的正文用基本控制結(jié)構(gòu)進行分割，加工中的操作用自然語言短語來表示其基本控制結(jié)構(gòu)有三種簡單陳述句結(jié)構(gòu)避免復(fù)合語句；重復(fù)結(jié)構(gòu)WHILE_DO或REPEAT_UNTIL結(jié)構(gòu)。判定結(jié)構(gòu)IF_THEN_ELSE或CASE_OF結(jié)構(gòu)；,商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”,IF發(fā)貨單金額超過500THENIF欠款超過了60天THEN在償還欠款前不予批準ELSE（欠款未超期）發(fā)批準書，發(fā)貨單ELSE（發(fā)貨單金額未超過500）IF欠款超過60天THEN發(fā)批準書，發(fā)貨單及賒欠報告ELSE（欠款未超期）發(fā)批準書，發(fā)貨單,（2）判定表,如果數(shù)據(jù)流圖的加工需要依賴于多個邏輯條件的取值，使用判定表來描述比較合適,以“檢查發(fā)貨單”為例,（3）判定樹,判定樹也是用來表達加工邏輯的一種工具。有時侯它比判定表更直觀。,檢查發(fā)貨單,金額500,金額?500,欠款60天,,不發(fā)出批準書,欠款?60天,,發(fā)貨單,,,發(fā)出批準書、,欠款60天,,發(fā)出批準書、,發(fā)貨單及賒欠報告,欠款?60天,,發(fā)出批準書、,發(fā)貨單,,,,,,原型化方法,在開發(fā)初期，要想得到一個完整準確的規(guī)格說明不是一件容易的事。特別是對一些大型的軟件項目。用戶往往對系統(tǒng)只有一個模糊的想法，很難完全準確地表達對系統(tǒng)的全面要求。軟件開發(fā)者對于所要解決的應(yīng)用問題認識更是模糊不清,隨著開發(fā)工作向前推進，用戶可能會產(chǎn)生新的要求，或因環(huán)境變化，要求系統(tǒng)也能隨之變化；開發(fā)者又可能在設(shè)計與實現(xiàn)的過程中遇到些沒有預(yù)料到的實際困難，需要以改變需求來解脫困境。因此規(guī)格說明難以完善、需求的變更、以及通信中的模糊和誤解，都會成為軟件開發(fā)順利推進的障礙。為解決這些問題，逐漸形成了軟件系統(tǒng)的快速原型的概念。,軟件原型的分類,在軟件開發(fā)中，原型是軟件的一個早期可運行的版本，它反映最終系統(tǒng)的部分重要特性。探索型目的是要弄清對目標系統(tǒng)的要求，確定所希望的特性，并探討多種方案的可行性。,實驗型這種原型用于大規(guī)模開發(fā)和實現(xiàn)之前，考核方案是否合適，規(guī)格說明是否可靠。進化型這種原型的目的不在于改進規(guī)格說明，而是將系統(tǒng)建造得易于變化，在改進原型的過程中，逐步將原型進化成最終系統(tǒng)。,原型使用策略,廢棄策略追加策略,建立快速原型，進行系統(tǒng)的分析和構(gòu)造的好處,增進軟件者和用戶對系統(tǒng)服務(wù)需求的理解，使比較含糊的具有不確定性的軟件需求（主要是功能）明確化。軟件原型化方法提供了一種有力的學(xué)習手段。,使用原型化方法，可以容易地確定系統(tǒng)的性能，確認各項主要系統(tǒng)服務(wù)的可應(yīng)用性，確認系統(tǒng)設(shè)計的可行性，確認系統(tǒng)作為產(chǎn)品的結(jié)果。軟件原型的最終版本，有的可以原封不動地成為產(chǎn)品，有的略加修改就可以成為最終系統(tǒng)的一個組成部分，這樣有利于建成最終系統(tǒng)。,,原型開發(fā)技術(shù),可執(zhí)行規(guī)格說明基于腳本SCENARIO的設(shè)計自動程序設(shè)計專用語言可復(fù)用REUSABLE的軟件簡化假設(shè),,可執(zhí)行規(guī)格說明,可執(zhí)行規(guī)格說明是用于需求規(guī)格說明的一種自動化技術(shù)。使用這種方法，人們可以直接觀察他們用語言規(guī)定的任何系統(tǒng)性行為。包括代數(shù)規(guī)格說明有限狀態(tài)模型可執(zhí)行的數(shù)據(jù)流圖,?,（1）代數(shù)規(guī)格說明,代數(shù)規(guī)格說明使用集合、定義于這些集合上的函數(shù)和定義于這些函數(shù)上的方程來描述對象。規(guī)格說明的操作語義用這些方程表示。,,NEW_STACK→STACKPUSHSTACK，ELEMENT→STACKPOPSTACK→ELEMENT|UNDEFINEDPOPNEW_STACK＝UNDEFINEDPOPPUSHSTK，ELEM＝ELEM其中，前三行定義了操作的語法，后兩行把它們的語義定義為一些方程。,舉例定義一個無界的棧及其操作,?,（2）有限狀態(tài)模型,PARNAS提出的使用最廣泛的一種可執(zhí)行規(guī)格說明形式。從一個初始狀態(tài)開始接收輸入，到產(chǎn)生輸出，狀態(tài)在推移變化。施加在狀態(tài)元素上的約束確定了有效狀態(tài)的推移。,舉例建立用戶／程序?qū)υ??,（3）可執(zhí)行的數(shù)據(jù)流圖,數(shù)據(jù)流圖是基于結(jié)構(gòu)化開發(fā)方法的結(jié)構(gòu)化規(guī)格說明用一種可執(zhí)行的語言程序代替定義處理邏輯的結(jié)構(gòu)化英語，數(shù)據(jù)流圖就成為由可執(zhí)行語言程序模塊組成的網(wǎng)絡(luò)，在一定環(huán)境或工具的支持下就可成為一個可以執(zhí)行的原型系統(tǒng)。,?,基于腳本的設(shè)計,腳本是指用戶界面的原型。一個腳本用以模擬在系統(tǒng)運行期間用戶經(jīng)歷的事件。它提供了輸入─處理─輸出的屏幕格式和有關(guān)對話的模型。因此，軟件開發(fā)者能夠給用戶顯示系統(tǒng)的逼真的視圖，使用戶得以判斷是否符合他的意圖。,可在任一腳本中使用一套可復(fù)用的軟件模塊，以表達某一方面的要求?？墒褂靡环N原型語言來描述原型系統(tǒng)。原型開發(fā)過程中用這種語言來定義屏幕、數(shù)據(jù)項、及其相關(guān)的操作。從系統(tǒng)的外部描述開始，開發(fā)與數(shù)據(jù)庫的接口、錯誤處理和恢復(fù)過程等系統(tǒng)的與外部視圖一致的細節(jié)。,?,自動程序設(shè)計,自動程序設(shè)計是指在程序自動生成環(huán)境的支持下，利用計算機實現(xiàn)軟件的開發(fā)。它可以自動地或半自動地把用戶的非過程式問題規(guī)格說明轉(zhuǎn)換為某種高級語言程序演繹綜合手段基于數(shù)學(xué)推理的構(gòu)造式證明。,程序變換手段將一程序轉(zhuǎn)換成另一功能等價的程序，并保持其正確性不變。實例推廣手段從實例特征出發(fā)，將它推廣為待編程序的特征，最后得到程序。過程化手段研究甚高級語言的編譯和知識的過程化。,?,專用語言,專用語言是應(yīng)用領(lǐng)域的模型化語言。在原型開發(fā)中使用專用語言，可方便用戶和軟件開發(fā)者在計劃中的系統(tǒng)特性方面的交流。,?,軟件復(fù)用技術(shù),利用可復(fù)用的模塊，做出適當?shù)慕M合，就可得到快速構(gòu)造的原型系統(tǒng)。為了快速地構(gòu)造原型，這些模塊首先必須有簡單而清晰的界面；其次它們應(yīng)當盡量不依賴其它的模塊或數(shù)據(jù)結(jié)構(gòu)；第三，它們應(yīng)具有一些通用的功能。,?,簡化假設(shè),簡化假設(shè)是在開發(fā)過程中使設(shè)計者迅速得到一個簡化的系統(tǒng)所做的假設(shè)。盡管這些假設(shè)可能實際上并不能成立，但它們在原型開發(fā)過程中可以使開發(fā)者的注意力集中在一些主要的方面。,?,在修改一個文件時，可以假設(shè)這個文件確實存在在存取文件時，待存取的記錄總是存在一旦計劃中的系統(tǒng)滿足用戶所有的要求，就可以撤消這些假設(shè)，并追加一些細節(jié)。,,系統(tǒng)動態(tài)分析,系統(tǒng)的需求規(guī)格說明通常是用自然語言來敘述的，但是用自然語言描述往往會出現(xiàn)歧義性。為了直觀地分析系統(tǒng)的動作，從特定的視點出發(fā)描述系統(tǒng)的行為，需要采用動態(tài)分析的方法。,最常用的動態(tài)分析方法,狀態(tài)遷移圖時序圖PETRI網(wǎng),,狀態(tài)遷移圖,狀態(tài)遷移圖是描述系統(tǒng)的狀態(tài)如何相應(yīng)外部的信號進行推移的一種圖形表示。圓圈“○”表示可得到的系統(tǒng)狀態(tài)箭頭“→”表示從一種狀態(tài)向另一種狀態(tài)的遷移。,例如,當有多個申請占用CPU運行的進程時,有關(guān)CPU分配的進程的狀態(tài)遷移。,可得到的狀態(tài)＝就緒，運行，等待生成的事件＝T1，T2，T3，T4?T1─中斷事件?T2─中斷已處理?T3─分配CPU?T4─用完CPU時間,狀態(tài)遷移圖的優(yōu)點,狀態(tài)之間的關(guān)系能夠直觀地捕捉到由于狀態(tài)遷移圖的單純性，能夠機械地分析許多情況，可很容易地建立分析工具,,在系統(tǒng)分析中，用時序圖于對比在系統(tǒng)中處理事件的時序和相應(yīng)的處理時間。在右圖中,對于事件E,功能1～功能3的處理時間總計為T1＋T2＋T3）其中功能間切換時間0。,時序圖,采用擴充時序圖可表示進程間的通信流,用于分析幾個事件的交錯現(xiàn)象。，C1與C2，R1與R2是交錯的。因此，可以做如下分析“必須設(shè)計成,HOST1在等待C1的回答R1期間要能接收從HOST2發(fā)出的命令C2。”,,PETRI網(wǎng),PETRI網(wǎng)已廣泛地應(yīng)用于硬件與軟件系統(tǒng)的開發(fā)中，它適用于描述與分析相互獨立、協(xié)同操作的處理系統(tǒng)，也就是并發(fā)執(zhí)行的處理系統(tǒng)。,PETRI網(wǎng)簡稱PNGPETRINETGRAPH，它有兩種結(jié)點位置PLACE符號為“○”，它用來表示系統(tǒng)的狀態(tài)。轉(zhuǎn)移TRANSITION符號為“?”,它用來表示系統(tǒng)中的事件。圖中的有向邊表示對轉(zhuǎn)移的輸入，或由轉(zhuǎn)移的輸出,標記，或稱令牌TOKEN，是表明系統(tǒng)當前處于什么狀態(tài)的標志,處理兩個進程的同步問題,,數(shù)據(jù)及數(shù)據(jù)庫需求,在數(shù)據(jù)詞典中，強調(diào)對數(shù)據(jù)存儲結(jié)構(gòu)的邏輯設(shè)計，并用數(shù)據(jù)結(jié)構(gòu)表達數(shù)據(jù)項之間的邏輯關(guān)系。但任何一個軟件系統(tǒng)都可能有成千上萬個數(shù)據(jù)項，僅僅描述這些數(shù)據(jù)項是不夠的，更重要的是如何把它們以最優(yōu)的方式組織起來，以滿足系統(tǒng)對數(shù)據(jù)的要求。,有關(guān)數(shù)據(jù)庫的基本概念,在軟件系統(tǒng)中需要處理的數(shù)據(jù)是現(xiàn)實世界中存在的事物及其聯(lián)系的反映。人們通常將與數(shù)據(jù)處理有關(guān)的的領(lǐng)域分為三個世界現(xiàn)實世界信息世界數(shù)據(jù)世界,現(xiàn)實世界是存在于人們頭腦之外的客觀世界，現(xiàn)實世界中的事物可分成對象和性質(zhì)兩大類。對象可以是人、是物，還可以是實際的東西或概念的東西，例如，大學(xué)、城市等。對象還可以指事物與事物間的聯(lián)系。性質(zhì)則是指事物的性質(zhì)或特征。,信息世界也叫做觀念世界，是現(xiàn)實世界在人們頭腦中的反映?？陀^世界中的事物在信息世界中叫做實體，反映事物之間聯(lián)系的叫做實體模型。實體是由若干屬性的屬性值組成。屬性是實體某一方面的特征，相應(yīng)于事物的性質(zhì)。例如，一個學(xué)生實體是如下的一個5元組,951149,袁秋慧,女,19,軟件,5元組中每一元素是學(xué)生的某一屬性的屬性值。他們對應(yīng)的屬性集合是這些屬性集合表征了“學(xué)生”實體的類型，叫做實體型。同一類型的實體的集合叫做實體集。數(shù)據(jù)世界則是信息世界中信息的數(shù)據(jù)化，現(xiàn)實世界中的事物及其聯(lián)系在數(shù)據(jù)世界中用數(shù)據(jù)模型描述。,學(xué)號,姓名,性別,年齡,專業(yè),描述每一實體的數(shù)據(jù)稱為記錄，描述屬性的數(shù)據(jù)叫做數(shù)據(jù)項或字段。與實體集相對應(yīng)的稱為文件。例如，學(xué)生文件就由多個記錄組成，這些記錄放在一起構(gòu)成一個二維表。表中每一橫排叫做一個記錄或元組，每一縱列叫做一個屬性。,,記錄由數(shù)據(jù)項組成，正如實體由若干屬性的屬性值組成一樣。一般數(shù)據(jù)項沿用屬性名。用做屬性名時表示觀念信息，用做數(shù)據(jù)項名時表示數(shù)據(jù)信息。每個數(shù)據(jù)項包括兩個特征即數(shù)據(jù)類型和數(shù)據(jù)長度。若干同類型的記錄構(gòu)成文件。為了對文件中的記錄有效組織和存取，通常指定一個數(shù)據(jù)項進行區(qū)別，這個數(shù)據(jù)項叫做關(guān)鍵字。,ER方法ENTITYRELATIONSHIPAPPROACH和實體模型,在需求分析階段進行數(shù)據(jù)庫邏輯設(shè)計過程中，使用ER圖，可定義一個實體模型。實體模型是現(xiàn)實世界的純表示，它不涉及數(shù)據(jù)世界的數(shù)據(jù)結(jié)構(gòu)、存取路徑、存取效率等問題。因此，它可以轉(zhuǎn)換成數(shù)據(jù)庫中的數(shù)據(jù)模型。,數(shù)據(jù)可以按相應(yīng)數(shù)據(jù)模型進行組織。ER圖中表示實體聯(lián)系的符號如下,在ER圖中，每個方框表示實體型或?qū)傩裕娇蛑g的連線表示實體之間，或?qū)嶓w與屬性之間的聯(lián)系。出現(xiàn)在連線上的短豎線可以看成是“1”，而圓圈隱含表示“0”。例如，在教學(xué)管理中，一個教師可以教授零門、一門或多門課程，每位學(xué)生也需要學(xué)習幾門課程。因此，教學(xué)管理中涉及的對象（實體型）有學(xué)生、教師和課程。,用ER圖描述它們之間的聯(lián)系，得下圖。其中，學(xué)生與課程是多對多的聯(lián)系，而教師與課程的聯(lián)系是零、一對多。,進一步，要確定屬性。例如，學(xué)生具有學(xué)號、姓名、性別、年齡、專業(yè)（其它略）等屬性；課程具有課程號、課程名、學(xué)分、學(xué)時數(shù)等屬性；教師具有職工號、姓名、年齡、職稱等屬性。此外，學(xué)生通過學(xué)號、分數(shù)與課程發(fā)生聯(lián)系。如此可得教學(xué)實體模型。,教學(xué)實體模型,數(shù)據(jù)結(jié)構(gòu)的規(guī)范化,信息域分析需要確定數(shù)據(jù)的內(nèi)容，每個數(shù)據(jù)項要用表格列出，最后組織成文件的邏輯結(jié)構(gòu)，即面向應(yīng)用而不是面向存儲的結(jié)構(gòu)。為了便于數(shù)據(jù)庫的設(shè)計，常常要對這種結(jié)構(gòu)做一些簡化，其中最常見的一種方法就是規(guī)范化技術(shù)。,“規(guī)范化”將數(shù)據(jù)的邏輯結(jié)構(gòu)歸結(jié)為滿足一定條件的二維表（關(guān)系）。表格中每個信息項必須是一個不可分割的數(shù)據(jù)項，不可是組項。表格中每一列列表示屬性中所有信息項必須是同一類型，各列的名字屬性名互異，列的次序任意。表格中各行行表示元組互不相同，行的次序任意。,不滿足上述要求的二維表或關(guān)系，叫做非規(guī)范化關(guān)系。對于非規(guī)范化的關(guān)系，必須將它規(guī)范化，即利用更單純、更規(guī)則的關(guān)系來代替原來的關(guān)系。規(guī)范化的目的是消除數(shù)據(jù)冗余，即消除表格中數(shù)據(jù)的重復(fù)；消除多義性，使關(guān)系中的屬性含義清楚、單一；,使關(guān)系的“概念”單一化，讓每個數(shù)據(jù)項只是一個簡單的數(shù)或字符串，而不是一個組項或重復(fù)組；方便操作。使數(shù)據(jù)的插入、刪除與修改操作可行并方便；使關(guān)系模式更靈活，易于實現(xiàn)接近自然語言的查詢方式。,用教學(xué)管理例說明如何規(guī)范化,有三個實體型，即課程、學(xué)生和教師，用三個關(guān)系保存它們的信息學(xué)生學(xué)號，姓名，性別，年齡，專業(yè)，籍貫教師職工號，姓名，年齡，職稱，工資級別，工資課程課程號，課程名，學(xué)分，學(xué)時，課程類型,為表示實體型之間的聯(lián)系，又建立兩個關(guān)系選課學(xué)號，課程號，聽課出勤率，作業(yè)完成率，分數(shù)教課職工號，課程號這五個關(guān)系，組成了數(shù)據(jù)庫的模型。在每個關(guān)系中，屬性名下加下劃線）指明關(guān)鍵字。并規(guī)定關(guān)鍵字能唯一地標識一個元組。,關(guān)系規(guī)范化的程度，通常按屬性間的依賴程度來區(qū)分，并以范式NFNORMALFORM來表達。常用的范式分為第一范式（1NF）、第二范式（2NF）和第三范式（3NF）。設(shè)Ｒ是一個關(guān)系，Ｘ和Ｙ是Ｒ中的兩個屬性。若對于Ｘ的任一個值，Ｙ僅有一個值與之對應(yīng)，則稱Ｒ的屬性Ｙ函數(shù)依賴于屬性Ｘ。例如，,教師職工號,姓名,年齡,??其中，屬性“姓名”，“年齡”等都函數(shù)依賴于屬性“職工號”。屬性Ｘ可以是復(fù)合屬性，如選課學(xué)號,課程號,聽課出勤率,??,,,,,,,,,,,如果屬性Ｙ函數(shù)依賴于復(fù)合屬性Ｘ，而不與Ｘ的任何真子集函數(shù)依賴，則稱屬性Ｙ完全函數(shù)依賴于復(fù)合屬性Ｘ。例如在“選課”關(guān)系中，屬性“聽課出勤率”、“作業(yè)完成率”和“分數(shù)”等表示某個學(xué)生學(xué)習某門課程時的學(xué)習情況。只有同時指定“學(xué)號”和“課程號”，才能準確地說明是哪位學(xué)生學(xué)習哪門課程時的學(xué)習情況。,因此，“分數(shù)”等屬性完全函數(shù)依賴于“學(xué)號，課程號”。判斷規(guī)范化程度的條件是關(guān)系中所有屬性都是“單純域”，即不出現(xiàn)“表中有表”非主屬性完全函數(shù)依賴于關(guān)鍵字非主屬性相互獨立，即任何非主屬性間不存在函數(shù)依賴。如果一個關(guān)系連條件?都不滿足，則這個關(guān)系是非規(guī)范化的。,如果一個關(guān)系僅滿足條件?，則這個關(guān)系滿足第一范式1NF。如果一個關(guān)系滿足條件?、?，但不滿足?，則這個關(guān)系滿足第二范式2NF。如果一個關(guān)系同時滿足條件?、?和?，則這個關(guān)系表滿足第三范式3NF。當數(shù)據(jù)模型達到3NF，一般情況下就能滿足數(shù)據(jù)庫應(yīng)用的需要。,數(shù)據(jù)庫分析的過程,在需求分析階段進行數(shù)據(jù)庫分析的流程,為開發(fā)一個系統(tǒng)所使用的數(shù)據(jù)庫，在開始分析數(shù)據(jù)庫的需求前，分析員必須了解該系統(tǒng)的總目標和范圍。然后建立一個完整并高度細化的信息模型。此信息模型應(yīng)包括一個綜合的數(shù)據(jù)詞典，定義所有在開發(fā)數(shù)據(jù)庫時用到的數(shù)據(jù)項。接著數(shù)據(jù)庫分析定義數(shù)據(jù)庫的邏輯特性和物理特性。,以信息模型和系統(tǒng)規(guī)格說明為指導(dǎo)，定義數(shù)據(jù)庫的邏輯數(shù)據(jù)結(jié)構(gòu)。這種邏輯結(jié)構(gòu)必須適應(yīng)數(shù)據(jù)存取、修改、關(guān)聯(lián)性及其它相關(guān)需求。一旦邏輯數(shù)據(jù)結(jié)構(gòu)建立起來，就可以研制數(shù)據(jù)庫的物理結(jié)構(gòu)。物理數(shù)據(jù)庫結(jié)構(gòu)定義文件結(jié)構(gòu)、記錄格式、與硬件相關(guān)的處理方式以及數(shù)據(jù)庫管理系統(tǒng)的特性。,最后，要對模式和物理特性進行完全的評審。在數(shù)據(jù)庫分析過程中所考慮的因素間存在著復(fù)雜的相互聯(lián)系。改變其中的任何一個因素都會（潛在地）影響其它的因素。所以必須在各個因素之間進行折衷。這種折衷包括專用性和通用性的折衷，信息關(guān)聯(lián)程度、擴充潛力及操作特性等方面的折衷。,考慮信息關(guān)聯(lián)程度和擴充潛力（包括信息規(guī)模和信息內(nèi)容兩方面）主要基于需求分析和設(shè)計階段分派給數(shù)據(jù)庫的專用性程度。專用的數(shù)據(jù)庫要為系統(tǒng)特定的信息需求服務(wù)，因此信息結(jié)構(gòu)要設(shè)計得能適應(yīng)要求的關(guān)聯(lián)性和預(yù)計的擴充。通用的數(shù)據(jù)庫可以適應(yīng)更為廣泛的各種信息需求，但是為了獲得通用性要付出代價。,操作特性根據(jù)折衷的結(jié)果而定。數(shù)據(jù)庫的結(jié)構(gòu)、規(guī)模和邏輯設(shè)計都會對它的物理組織、硬件、存取方式以及性能產(chǎn)生重要的影響。,

簡介：軟件工程導(dǎo)論,INTRODUCTIONTOSOFTWAREENGINEERING,本講目標,軟件工程是計算機專業(yè)一門重要的專業(yè)課。目的在于培養(yǎng)學(xué)生用工程化的原理及方法開發(fā)軟件系統(tǒng)，把專業(yè)知識同實際項目結(jié)合起來，為將來從事計算機軟件的開發(fā)及應(yīng)用維護工作打下堅實的基礎(chǔ)。對于培養(yǎng)學(xué)生的軟件素質(zhì)，提高學(xué)生的軟件開發(fā)能力與軟件項目管理能力具有重要的意義。,成績評定,總目錄,第1章軟件工程學(xué)概述第2章可行性研究第3章需求分析第4章形式化說明技術(shù)第5章總體設(shè)計第6章詳細設(shè)計第7章實現(xiàn)第8章維護,第9章面向?qū)ο蠓椒▽W(xué)引論第10章面向?qū)ο蠓治龈戒汚C類庫管理系統(tǒng)的分析與設(shè)計附錄B一個漢字行編輯程序的設(shè)計,第1章軟件工程學(xué)概述,軟件工程是指導(dǎo)計算機軟件開發(fā)和維護的一門工程學(xué)科。采用工程的概念、原理、技術(shù)和方法來開發(fā)與維護軟件，把經(jīng)過時間考驗而證明正確的管理技術(shù)和當前能夠得到的最好的技術(shù)方法結(jié)合起來，以經(jīng)濟地開發(fā)出高質(zhì)量的軟件并有效地維護它，這就是軟件工程。,,,11軟件危機,計算機系統(tǒng)是指適當?shù)慕M織在一起的一系列系統(tǒng)元素的集合，這些系統(tǒng)元素互相配合、相互協(xié)作，通過對信息的處理而完成預(yù)先定義的目標。,,對軟件的認識1950程序1960程序文檔（不包括管理文檔）1970程序文檔數(shù)據(jù)1984軟件管理是過程管理，CMM10能力成熟度模型1996UML統(tǒng)一建模語言,,計算機系統(tǒng)4個不同的發(fā)展階段,,計算機軟件發(fā)展的4個階段,,,111軟件危機的介紹,軟件危機軟件蕭條、軟件困擾是指在計算機軟件的開發(fā)和維護過程中所遇到的一系列嚴重問題。實際上，幾乎所有軟件都不同程度地存在這些問題。軟件危機包含下述兩方面的問題如何開發(fā)軟件，滿足對軟件日益增長的需求；如何維護數(shù)量不斷膨脹的已有軟件。,,軟件危機的典型表現(xiàn)（1）對軟件開發(fā)成本和進度的估計常常很不準確；（2）用戶對“已完成的”軟件系統(tǒng)不滿意的現(xiàn)象經(jīng)常發(fā)生；（3）軟件產(chǎn)品的質(zhì)量往往靠不?。唬?）軟件常常是不可維護的；（5）軟件通常沒有適當?shù)奈臋n資料；（6）軟件成本在計算機系統(tǒng)總成本中所占的比例逐年上升；（7）軟件開發(fā)生產(chǎn)率提高的速度，遠遠跟不上計算機應(yīng)用迅速普及深入的趨勢。,112產(chǎn)生軟件危機的原因,（1）與軟件本身的特點有關(guān)軟件是邏輯部件。軟件不會被“用壞”，如果發(fā)現(xiàn)了錯誤，很可能是開發(fā)時期引入。軟件規(guī)模龐大，而且程序復(fù)雜性將隨著程序規(guī)模的增加而呈指數(shù)上升。,,（2）與軟件開發(fā)與維護的方法不正確有關(guān)忽視軟件需求分析的重要性。對用戶要求沒有完整準確的認識就匆忙著手編寫程序。越早開始寫程序，完成它所需要用的時間往往越長。認為軟件開發(fā)就是寫程序并設(shè)法使之運行。程序只是完整的軟件產(chǎn)品的一個組成部分。一個軟件產(chǎn)品必須由一個完整的配置組成，軟件配置主要包括程序、文檔和數(shù)據(jù)等成分。在軟件開發(fā)的不同階段進行修改需要付出的代價是很不相同的，見圖11。,圖11引入同一變動付出的代價隨時間變化的趨勢,,輕視軟件維護。維護是極端艱巨復(fù)雜的工作，需要花費很大代價。軟件維護的費用占軟件總費用的5570。軟件工程學(xué)的一個重要目標就是提高軟件的可維護性，減少軟件維護的代價。,113消除軟件危機的途徑,對計算機軟件有正確的認識。認識到軟件開發(fā)是一種組織良好、管理嚴密、各類人員協(xié)同配合、共同完成的工程項目。應(yīng)該推廣使用在實踐中總結(jié)出來的開發(fā)軟件的成功技術(shù)和方法，并繼續(xù)研究探索。應(yīng)該開發(fā)和使用更好的軟件工具。總之，為了解決軟件危機，既要有技術(shù)措施方法和工具，又要有必要的組織管理措施。,12軟件工程,121軟件工程的介紹軟件工程是指導(dǎo)計算機軟件開發(fā)和維護的一門工程學(xué)科。采用工程的概念、原理、技術(shù)和方法來開發(fā)與維護軟件，把經(jīng)過時間考驗而證明正確的管理技術(shù)和當前能夠得到的最好的技術(shù)方法結(jié)合起來，以經(jīng)濟地開發(fā)出高質(zhì)量的軟件并有效地維護它，這就是軟件工程。,,軟件工程的代表性定義FRITZBAUER軟件工程是為了經(jīng)濟地獲得可靠的和能在實際機器上高效運行的軟件而建立和使用的好的工程原則。IEEE軟件工程是（1）將系統(tǒng)化的、規(guī)范的、可度量的方法應(yīng)用于軟件的開發(fā)、運行和維護的過程，即將工程化應(yīng)用于軟件中；（2）（1）中所述方法的研究。計算機科學(xué)技術(shù)百科全書軟件工程是應(yīng)用計算機科學(xué)、數(shù)學(xué)及管理科學(xué)等原理，以工程化的原則和方法制作軟件的工程。,,軟件工程的劃代（無公認的定義）①1970年末之前，傳統(tǒng)軟件工程，瀑布模型。②1980年后，面向?qū)ο筌浖こ?，面向?qū)ο笳Z言以SMALLTALK80的出現(xiàn)為標志。③1984年后，軟件過程工程，掀起軟件過程運動，1991年出現(xiàn)的CMM是典型代表。④1990年后，構(gòu)件工程，基于構(gòu)件的軟件開發(fā)方法，可重用的構(gòu)件組裝成新系統(tǒng)。,,軟件工程的本質(zhì)特性軟件工程關(guān)注于大型程序的構(gòu)造軟件工程的中心課題是控制復(fù)雜性軟件經(jīng)常變化開發(fā)軟件的效率非常重要和諧地合作是開發(fā)軟件的關(guān)鍵軟件必須有效地支持它的用戶在軟件工程領(lǐng)域中是由具有一種文化背景的人替具有另一種文化背景的人創(chuàng)造產(chǎn)品,122軟件工程的基本原理,用分階段的生命周期計劃嚴格管理堅持進行階段評審實行嚴格的產(chǎn)品控制采用現(xiàn)代程序設(shè)計技術(shù)結(jié)果應(yīng)能清楚地審查開發(fā)小組的人員應(yīng)該少而精承認不斷改進軟件工程實踐的必要性,123軟件工程方法學(xué),軟件工程包括技術(shù)和管理兩方面的內(nèi)容。管理通過計劃、組織和控制等一系列活動，合理地配置和使用各種資源，以達到既定目標的過程。技術(shù)軟件工程方法學(xué)通常把在軟件生命周期全過程中使用的一整套技術(shù)方法的集合稱為方法學(xué)METHODOLOGY，也稱為范型PARADIGM。,,軟件工程方法學(xué)3要素方法是完成軟件開發(fā)的各項任務(wù)的技術(shù)方法，回答“怎樣做”的問題；工具是為運用方法而提供的自動的或半自動的軟件工程支撐環(huán)境；如，CASECOMPUTERAIDEDSOFTWAREENGINEERING工具過程需要完成的一系列任務(wù)的框架，它規(guī)定了完成各項任務(wù)的工作步驟。,,1傳統(tǒng)方法學(xué)生命周期方法學(xué)或結(jié)構(gòu)化范型強調(diào)自頂向下采用結(jié)構(gòu)化技術(shù)來完成軟件；劃分為若干個階段，然后順序地完成每個階段的任務(wù)；每個階段的任務(wù)相對獨立，而且比較簡單，降低了整個軟件開發(fā)工程的困難程度；前一個階段是后一個階段的前提和基礎(chǔ)，而后一階段提出的解法更具體，細節(jié)更多；每個階段結(jié)束前必須從技術(shù)和管理兩方面對這個階段的開發(fā)成果進行嚴格的檢查，通過之后這個階段才算結(jié)束；保證質(zhì)量，提高可維護性；當軟件規(guī)模龐大，或者的需求模糊或隨時間而變化時，傳統(tǒng)方法學(xué)往往不成功；維護起來仍然很困難。,,2面向?qū)ο蠓椒▽W(xué)強調(diào)主動地多次反復(fù)迭代面向?qū)ο蠓椒ò褦?shù)據(jù)和行為看成同等重要，它是一種以數(shù)據(jù)為主線，把數(shù)據(jù)和對數(shù)據(jù)的操作緊密地結(jié)合起來的方法。面向?qū)ο蠓椒▽W(xué)4個要點對象OBJECT融合了數(shù)據(jù)及在數(shù)據(jù)上的操作行為。類CLASS類是對具有相同數(shù)據(jù)和相同操作的一組相似對象的定義。繼承按照父類與子類的關(guān)系，把若干個相關(guān)類組成一個層次結(jié)構(gòu)的系統(tǒng)。消息對象彼此間僅能通過發(fā)送消息互相聯(lián)系。,,面向?qū)ο蠓椒▽W(xué)的優(yōu)點面向?qū)ο蠓椒▽W(xué)的盡量模擬人類習慣的思維方式，使開發(fā)軟件的方法與過程盡可能接近人類認識世界解決問題的方法與過程。面向?qū)ο蠓椒▽W(xué)開發(fā)軟件的過程，是一個主動地多次反復(fù)迭代的演化過程，保證了在各項開發(fā)活動之間的平滑過渡。促進了軟件重用。最終的軟件產(chǎn)品由許多較小的、基本上獨立的對象組成，每個對象相當于一個微型程序，而且大多數(shù)對象都與現(xiàn)實世界中的實體相對應(yīng)，降低了復(fù)雜性，提高了可理解性，簡化了開發(fā)和維護工作。,,軟件四化構(gòu)架平臺化組建業(yè)務(wù)化編碼自動化管理工廠化以面向?qū)ο蠹夹g(shù)為手段，以可重用軟件構(gòu)件化和體系架構(gòu)為基礎(chǔ)，以工業(yè)化生產(chǎn)方式和管理支撐體系為核心的軟件新變革。,13軟件生命周期,三個時期八個階段軟件生命周期由軟件定義、軟件開發(fā)和運行維護也稱為軟件維護三個時期組成，每個時期又進一步劃分成若干個階段。,,1問題定義任務(wù)問題是什么通過對客戶的訪問調(diào)查，系統(tǒng)分析員扼要地寫出關(guān)于問題性質(zhì)、工程目標和工程規(guī)模的書面報告。經(jīng)過討論和必要的修改之后這份報告應(yīng)該得到客戶的確認。結(jié)果關(guān)于系統(tǒng)規(guī)模和目標的報告書,,2可行性研究任務(wù)有可行的解嗎系統(tǒng)分析員需要進行一次大大壓縮和簡化了的系統(tǒng)分析和設(shè)計過程。研究問題的范圍，探索這個問題是否值得去解，是否有可行的解決辦法。結(jié)果系統(tǒng)的高層邏輯模型（數(shù)據(jù)流圖、成本效益分析）可行性論證報告（立即進行/推遲進行/不能或不值得進行）,,3需求分析任務(wù)必須做什么主要是確定目標系統(tǒng)必須具備哪些功能。系統(tǒng)分析員必須和用戶密切配合，充分交流信息，以得出經(jīng)過用戶確認的系統(tǒng)邏輯模型。結(jié)果系統(tǒng)的邏輯模型（數(shù)據(jù)流圖、數(shù)據(jù)字典、簡要的算法描述）用規(guī)格說明書準確地記錄對目標系統(tǒng)的需求,,4總體設(shè)計任務(wù)如何解決已提出的問題設(shè)計出實現(xiàn)目標系統(tǒng)的幾種可能的方案（低、中、高成本）。用適當?shù)谋磉_工具描述每種方案，分析優(yōu)缺點，推薦一個最佳方案，制定出實現(xiàn)最佳方案的詳細計劃。設(shè)計程序的體系結(jié)構(gòu)。結(jié)果可能的解法（系統(tǒng)流程圖、成本效益分析）推薦的系統(tǒng)體系結(jié)構(gòu)（層次圖或結(jié)構(gòu)圖）,,5詳細設(shè)計任務(wù)怎樣具體實現(xiàn)該系統(tǒng)詳細地設(shè)計每個模塊，確定實現(xiàn)模塊功能所需要的算法和數(shù)據(jù)結(jié)構(gòu)。結(jié)果每個模塊的算法和數(shù)據(jù)結(jié)構(gòu)程序流程圖、PAD圖、NS圖等。,,6編碼和單元測試任務(wù)得到正確的程序模塊選取一種適當?shù)母呒壋绦蛟O(shè)計語言必要時用匯編語言，把詳細設(shè)計的結(jié)果翻譯成用選定的語言書寫的程序；并且仔細測試編寫出的每一個模塊。結(jié)果代碼和測試報告,,7綜合測試任務(wù)得到符合要求的軟件通過集成測試、驗收測試、現(xiàn)場測試、平行運行等方法對目標系統(tǒng)進一步測試檢驗。通過對軟件測試結(jié)果的分析可以預(yù)測軟件的可靠性；反之，根據(jù)對軟件可靠性的要求，也可以決定測試和調(diào)試過程什么時候可以結(jié)束。結(jié)果測試計劃、詳細測試方案以及實際測試結(jié)果完整一致的軟件配置,,8軟件維護任務(wù)使系統(tǒng)持久地滿足用戶的需要改正性維護，診斷和改正在使用過程中發(fā)現(xiàn)的軟件錯誤；適應(yīng)性維護，修改軟件以適應(yīng)環(huán)境的變化；完善性維護，根據(jù)用戶的要求改進或擴充軟件；預(yù)防性維護，修改軟件為將來的維護活動做準備。每一項維護活動實質(zhì)上是經(jīng)歷了一次壓縮和簡化了的軟件定義和開發(fā)的全過程。結(jié)果完整準確的維護記錄,各類維護工作量所占比例,維護工作量在軟件生命周期所占比例,14軟件過程,軟件過程是為了獲得高質(zhì)量軟件所需要完成的一系列任務(wù)的框架，它規(guī)定了完成各項任務(wù)的工作步驟。過程定義了運用方法的順序、應(yīng)該交付的文檔資料、為保證軟件質(zhì)量和協(xié)調(diào)變化所需要采取的管理措施，以及標志軟件開發(fā)各個階段任務(wù)完成的里程碑。為獲得高質(zhì)量的軟件產(chǎn)品，軟件過程必須科學(xué)、有效。,傳統(tǒng)的瀑布模型,實際的瀑布模型,141瀑布模型,,瀑布模型的特點1階段間具有順序性和依賴性前一階段的工作完成之后，才能開始后一階段的工作；前一階段的輸出文檔就是后一階段的輸入文檔。2推遲實現(xiàn)的觀點對于規(guī)模較大的軟件項目來說，往往編碼開始得越早最終完成開發(fā)工作所需要的時間反而越長。3質(zhì)量保證的觀點每個階段都必須完成規(guī)定的文檔，是“文檔驅(qū)動”的模型；每個階段結(jié)束前都要對所完成的文檔進行評審，盡早發(fā)現(xiàn)問題，改正錯誤。,,瀑布模型的優(yōu)點可強迫開發(fā)人員采用規(guī)范的方法；嚴格地規(guī)定了每個階段必須提交的文檔；要求每個階段交出的所有產(chǎn)品都必須經(jīng)過質(zhì)量保證小組的仔細驗證。瀑布模型的缺點只能通過文檔了解產(chǎn)品，不經(jīng)過實踐的需求是不切實際的。瀑布模型適用于需求是預(yù)知的；軟件實現(xiàn)方法是成熟的；項目周期較短。,快速原型模型,142快速原型模型,快速原型是快速建立起來的可以在計算機上運行的程序，它所能完成的功能往往是最終產(chǎn)品能完成的功能的一個子集。,,快速原型模型的特點快速原型模型不帶反饋環(huán)，軟件產(chǎn)品的開發(fā)基本上是線性順序進行的?？焖僭偷谋举|(zhì)是“快速”。應(yīng)該盡可能快地建造出原型系統(tǒng)，以加速軟件開發(fā)過程，節(jié)約成本。,,根據(jù)原型的不同作用，有三類原型模型探索型原型用于開發(fā)的需求分析階段實驗型原型主要用于設(shè)計階段演化型原型用于及早向用戶提交一個原型系統(tǒng)快速原型模型的運用方式拋棄策略探索型和實驗型采用此策略附加策略演化型快速原型采用此策略,143增量模型,增量模型把軟件產(chǎn)品作為一系列的增量構(gòu)件來設(shè)計、編碼、集成和測試。每個構(gòu)件由多個相互作用的模塊構(gòu)成，并且能夠完成特定的功能。,增量模型,,增量模型的優(yōu)點人員分配靈活，剛開始不用投入大量人力資源。當配備的人員不能在設(shè)定的期限內(nèi)完成產(chǎn)品時，它提供了一種先推出核心產(chǎn)品的途徑。逐步增加產(chǎn)品功能可以使用戶有較充裕的時間學(xué)習和適應(yīng)新產(chǎn)品。增量模型的難點軟件體系結(jié)構(gòu)必須是開放的。模型本身是自相矛盾的。整體獨立構(gòu)件。不同的構(gòu)件并行地構(gòu)建有可能加快工程進度，但是冒無法集成到一起的風險。,,增量模型適用于適用于需求經(jīng)常改變的軟件開發(fā)過程。如果在項目既定的商業(yè)要求期限之前不可能找到足夠的開發(fā)人員，在這種情況下，增量模型顯得特別有用。,144螺旋模型,螺旋模型的基本思想使用原型及其他方法來盡量降低風險。把它看作在每個階段之前都增加了風險分析過程的快速原型模型。,簡化的螺旋模型,完整的螺旋模型,,螺旋模型的優(yōu)點主要優(yōu)勢在于它是風險驅(qū)動的。對可選方案和約束條件的強調(diào)有利于已有軟件的重用，也有助于把軟件質(zhì)量作為軟件開發(fā)的一個重要目標；減少了過多測試或測試不足所帶來的風險；維護只是模型的另一個周期，維護和開發(fā)之間沒有本質(zhì)區(qū)別。,,螺旋模型的缺點采用螺旋模型需要具有相當豐富的風險評估經(jīng)驗和專門知識，在風險較大的項目開發(fā)中，如果未能夠及時標識風險，勢必造成重大損失。過多的迭代次數(shù)會增加開發(fā)成本，延遲提交時間。螺旋模型適用于特別適用于龐大、復(fù)雜并具有高風險的系統(tǒng)。適用于內(nèi)部開發(fā)的大規(guī)模軟件項目。,145噴泉模型,噴泉模型是典型的面向?qū)ο笊芷谀Ｐ??！皣娙边@個詞體現(xiàn)了面向?qū)ο筌浖_發(fā)過程迭代和無縫的特性。為避免使用噴泉模型開發(fā)軟件時開發(fā)過程過分無序，應(yīng)該把一個線性過程例如，快速原型模型或圖中的中心垂線作為總目標。,,噴泉模型的優(yōu)點該模型的各個階段沒有明顯的界限，開發(fā)人員可以同步進行開發(fā)。多次反復(fù)地增加或明確目標系統(tǒng)，而不是本質(zhì)性的改動，降低錯誤的可能性。噴泉模型的缺點由于噴泉模型在各個開發(fā)階段是重疊的，因此在開發(fā)過程中需要大量的開發(fā)人員，不利于項目的管理。要求嚴格管理文檔，使得審核的難度加大，尤其是面對可能隨時加入各種信息、需求與資料的情況。噴泉模型適用于適用于面向?qū)ο蟮能浖_發(fā)過程。,,基于構(gòu)件的開發(fā)模型支持軟件復(fù)用。利用預(yù)先包裝好的軟件構(gòu)件來構(gòu)造應(yīng)用系統(tǒng)。,,形式化方法模型形式化方法是建立在嚴格數(shù)學(xué)基礎(chǔ)上的一種軟件開發(fā)方法。軟件開發(fā)的全過程中，從需求分析、規(guī)約、設(shè)計、編程、系統(tǒng)集成、測試、文檔生成、直至維護各個階段，凡是采用嚴格的數(shù)學(xué)語言，具有精確的數(shù)學(xué)語義的方法，都稱為形式化方法。,146RATIONAL統(tǒng)一過程,RATIONAL統(tǒng)一過程RATIONALUNIFIEDPROCESS,RUP是由RATIONAL軟件公司推出的一種完整而完美的軟件過程。RUP是一種迭代的，以架構(gòu)為中心的，用例驅(qū)動的軟件開發(fā)方法。RUP是一種具有明確定義和結(jié)構(gòu)的軟件工程過程。RUP還是一個過程產(chǎn)品，提供了可定制的軟件工程的過程框架。RUP被廣泛應(yīng)用在不同工業(yè)領(lǐng)域中的不同企業(yè)中。,,RUP總結(jié)了6條軟件開發(fā)經(jīng)驗最佳實踐迭代式開發(fā)管理需求使用基于構(gòu)件的體系結(jié)構(gòu)可視化建模驗證軟件質(zhì)量控制軟件變更,UML的用例圖,RUP軟件開發(fā)生命周期二維,,147敏捷過程與極限編程,敏捷軟件開發(fā)宣言價值觀聲明個體和交互勝過過程和工具可以工作的軟件勝過面面俱到的文檔客戶合作勝過合同談判響應(yīng)變化勝過遵循計劃根據(jù)上述價值觀聲明提出的軟件過程統(tǒng)稱為敏捷過程。,,極限編程EXTREMEPROGRAMMING,XP敏捷過程中最富盛名的一個廣泛適用于需求模糊且經(jīng)常改變的場合使得敏捷過程能夠較好地適應(yīng)商業(yè)競爭環(huán)境下對小型項目提出的有限資源和有限開發(fā)時間的約束,XP項目的整體開發(fā)過程,XP迭代開發(fā)過程,148微軟過程,微軟過程準則微軟軟件生命周期（1）規(guī)劃階段（2）設(shè)計階段（3）開發(fā)階段（4）穩(wěn)定階段（5）發(fā)布階段,,微軟過程模型每一個生命周期發(fā)布一個遞進的版本，各生命周期持續(xù)快速地迭代循環(huán)優(yōu)點綜合了RATIONAL統(tǒng)一過程和敏捷過程的優(yōu)點缺點對方法、工具和產(chǎn)品等方面不夠全面,課后習題及解答,15根據(jù)歷史數(shù)據(jù)可以做出如下的假設(shè)對計算機存儲容量的需求大致按下面公式描述的趨勢逐年增加M4080E028Y1960存儲器的價格按下面公式描述的趨勢逐年下降P103072Y1974美分/位如果計算機字長為16位，則存儲器價格下降的趨勢為P20048072Y1974美元/字在上列公式中Y代表年份，M是存儲容量字數(shù)，P1和P2代表價格。基于上述假設(shè)可以比較計算機硬件和軟件成本的變化趨勢。要求計算,課后習題及解答,1在1985年對計算機存儲容量的需求估計是多少如果字長為16位，這個存儲器的價格是多少2假設(shè)在1985年一名程序員每天可開發(fā)出10條指令，程序員的平均工資是每月4000美元。如果一條指令為一個字長，計算使存儲器裝滿程序所需用的成本。3假設(shè)在1995年存儲器字長為32位，一名程序員每天可開發(fā)出30條指令，程序員的月平均工資為6000美元，重復(fù)1、2題。,1在1985年對計算機存儲容量的需求，估計是如果字長為16位，則這個存儲器的價格是2如果一條指令的長度為一個字，則使存儲器裝滿程序共需4474263條指令。在1985年一名程序員每天可開發(fā)出10條指令，如果每月有20個工作日，則每人每月可開發(fā)出1020條指令。為了開發(fā)出4474263條指令以裝滿存儲器，需要的工作量是,課后習題及解答,,程序員的月平均工資是4000美元，開發(fā)出4474263條指令的成本是3在1995年對存儲容量的需求估計為如果字長為32位，則這個存儲器的價格是如果一條指令為一個字長，則為使存儲器裝滿程序共需73,577,679條指令。在1995年一名程序員每天可開發(fā)出30條指令，每月可開發(fā)出600條指令，為了開發(fā)出可裝滿整個存儲器的程序，需要的工作量為,課后習題及解答,,課后習題及解答,開發(fā)上述程序的成本為16什么是軟件過程它與軟件工程方法學(xué)有何關(guān)系軟件過程是為了開發(fā)出高質(zhì)量的軟件產(chǎn)品所需完成的一系列任務(wù)的框架，它規(guī)定了完成各項任務(wù)的工作步驟。軟件過程定義了運用技術(shù)方法的順序、應(yīng)該交付的文檔資料、為保證軟件質(zhì)量和協(xié)調(diào)軟件變化必須采取的管理措施，以及標志完成了相應(yīng)開發(fā)活動的里程碑。軟件過程是軟件工程方法學(xué)的3個重要組成部分之一。,總結(jié),軟件工程是計算機專業(yè)一門重要的專業(yè)課。目的在于培養(yǎng)學(xué)生用工程化的原理及方法開發(fā)軟件系統(tǒng)，把專業(yè)知識同實際項目結(jié)合起來，為將來從事計算機軟件的開發(fā)及應(yīng)用維護工作打下堅實的基礎(chǔ)。對于培養(yǎng)學(xué)生的軟件素質(zhì)，提高學(xué)生的軟件開發(fā)能力與軟件項目管理能力具有重要的意義。,謝謝,

簡介：軟件工程導(dǎo)論5軟件工程方法,盧軍JLUCUITEDUCNUVGELABCUITEDUCN,方法的作用,HTTP//BLOGCSDNNET/KERRYZHU,雖然沒有銀彈,本章內(nèi)容,51軟件方法論52用戶需求的獲取方法53軟件工程的分析方法54軟件工程的設(shè)計方法55軟件測試方法,HTTP//BLOGCSDNNET/KERRYZHU,本章內(nèi)容,51軟件方法論52用戶需求的獲取方法53軟件工程的分析方法54軟件工程的設(shè)計方法55軟件測試方法,HTTP//BLOGCSDNNET/KERRYZHU,什么是工程的方法,HTTP//BLOGCSDNNET/KERRYZHU,51軟件方法論,HTTP//BLOGCSDNNET/KERRYZHU,511系統(tǒng)工程方法論512軟系統(tǒng)方法論513軟件工程方法體系,系統(tǒng)工程方法論,系統(tǒng)工程方法論是針對復(fù)雜多變和不確定性的特點，綜合應(yīng)用運籌學(xué)、系統(tǒng)動力學(xué)、控制論、信息論等有關(guān)學(xué)科的理論和方法，將數(shù)理統(tǒng)計、概率論、線性代數(shù)、模糊數(shù)學(xué)等作為定性分析和定量分析的有效工具，深入地分析問題，尋求問題解決的最優(yōu)策略動態(tài)系統(tǒng)理論、自動機理論、霍爾三維結(jié)構(gòu)、系統(tǒng)分析法、成本效益分析、計劃協(xié)調(diào)技術(shù)、關(guān)鍵路線法等,HTTP//BLOGCSDNNET/KERRYZHU,,問題定義?確定目標?系統(tǒng)綜合?系統(tǒng)分析?系統(tǒng)評價?系統(tǒng)創(chuàng)建?系統(tǒng)實施,軟系統(tǒng)方法論,HTTP//BLOGCSDNNET/KERRYZHU,是一項運用系統(tǒng)思維方法解決非系統(tǒng)問題的定性研究的技術(shù)，目的是解決那些包含有大量社會的、政治的以及人為因素的問題,軟系統(tǒng)方法的邏輯,HTTP//BLOGCSDNNET/KERRYZHU,豐富圖的一個示例,HTTP//BLOGCSDNNET/KERRYZHU,,軟件工程方法體系,HTTP//BLOGCSDNNET/KERRYZHU,抽象原則給出軟件工程問題求解全過程的最基本原則體系規(guī)范原則是規(guī)范整體解題思路及解決方案的驗證局部規(guī)范原則是規(guī)范解決模塊、組件等局部問題的原則,發(fā)現(xiàn)現(xiàn)實問題?抽象?模型?解決問題,方法,HTTP//BLOGCSDNNET/KERRYZHU,結(jié)構(gòu)化程序設(shè)計方法面向?qū)ο蠓椒嫦驑?gòu)件方法面向服務(wù)方法基于凈室思想的方法基于敏捷思想的方法自適應(yīng)開發(fā)方法動態(tài)系統(tǒng)開發(fā)方法測試驅(qū)動方法,示例,本章內(nèi)容,51軟件方法論52用戶需求的獲取方法53軟件工程的分析方法54軟件工程的設(shè)計方法55軟件測試方法,HTTP//BLOGCSDNNET/KERRYZHU,需求訪談,哪些人將會使用這個軟件系統(tǒng)他們希望該軟件系統(tǒng)達到什么樣的效果以前使用過其它類似的軟件系統(tǒng)嗎,HTTP//BLOGCSDNNET/KERRYZHU,從一組語境無關(guān)的問題開始,然后，站在用戶的角度展開要詢問的問題，尋求更多的需求信息，挖掘用戶潛在的功能需求,便利的應(yīng)用規(guī)約技術(shù),HTTP//BLOGCSDNNET/KERRYZHU,在中立的地點舉行會議建立籌備和參與會議的規(guī)則建議一個議程，能夠覆蓋需求范圍所有的要點，但不鼓勵思維的任意流動一個“協(xié)調(diào)者控制會議使用一種“定義機制”目標是標識問題、提出解決方案的元素、評估不同的方法以及刻畫初步解決方案的需求集合,鼓勵建立客戶和開發(fā)者的聯(lián)合團隊，一起工作以標識問題、提出解決方案的元素、刻畫初步解決方案的需求集合,本章內(nèi)容,51軟件方法論52用戶需求的獲取方法53軟件工程的分析方法54軟件工程的設(shè)計方法55軟件測試方法,HTTP//BLOGCSDNNET/KERRYZHU,如何分析問題,HTTP//BLOGCSDNNET/KERRYZHU,53軟件工程的分析方法,531系統(tǒng)分析方法532問題分析方法533根本原因分析534決策分析,系統(tǒng)分析方法,整體分析結(jié)構(gòu)分析層次分析相關(guān)分析,HTTP//BLOGCSDNNET/KERRYZHU,問題分析方法,HTTP//BLOGCSDNNET/KERRYZHU,問題說明階段提出目標，確定評價指標和約束條件分析研究階段提出各種備選方案并預(yù)計一旦實施后可能產(chǎn)生的結(jié)果評估結(jié)果將各方案的評價比較結(jié)果提供給決策者，作為判斷抉擇的依據(jù),根本原因分析,HTTP//BLOGCSDNNET/KERRYZHU,在開發(fā)周期的每個階段實施根本原因分析，為有效開展缺陷預(yù)防活動提供依據(jù)應(yīng)用在解決各個方面的問題的過程中得到提倡，形成一種文化或一種機制，而對每個人應(yīng)形成一種處理問題的習慣,問題?根本原因?解決方案,決策分析,選擇決策技術(shù)和結(jié)構(gòu)層次，制訂決策分析與決定的計劃建立作為決策基礎(chǔ)的評價準則。建立并運用決策分析指導(dǎo)原則，確定推薦的候選方案。依據(jù)評價準則進行綜合分析、討論和審查，然后選擇相應(yīng)的評價方法，依據(jù)準則來評價候選方案。最終選擇的候選方案應(yīng)附有所選擇的技術(shù)、準則和作出選擇的依據(jù),HTTP//BLOGCSDNNET/KERRYZHU,本章內(nèi)容,51軟件方法論52用戶需求的獲取方法53軟件工程的分析方法54軟件工程的設(shè)計方法55軟件測試方法,HTTP//BLOGCSDNNET/KERRYZHU,設(shè)計中最關(guān)鍵的問題,HTTP//BLOGCSDNNET/KERRYZHU,軟件危機,541原型設(shè)計方法542結(jié)構(gòu)化方法543面向?qū)ο蠓椒?44面向構(gòu)件設(shè)計方法545面向服務(wù)方法546可視化方法,HTTP//BLOGCSDNNET/KERRYZHU,原型設(shè)計方法,在獲取基本的需求定義后，利用可視化的開發(fā)環(huán)境或工具，快速地建立一個目標系統(tǒng)的粗線條版本基于可視化原型，用戶更能清楚地表達自己的需求，提供反饋意見原型分為拋棄式原型和演化式原型拋棄式原型不作為最終產(chǎn)品，具有探索和實驗?zāi)康?，或只是作為需求確認的工具演化式原型，最終軟件系統(tǒng)是在原型的基礎(chǔ)上逐步形成、修改、完善和完成的,HTTP//BLOGCSDNNET/KERRYZHU,原型設(shè)計方法的實現(xiàn)過程,HTTP//BLOGCSDNNET/KERRYZHU,結(jié)構(gòu)化方法,HTTP//BLOGCSDNNET/KERRYZHU,面向數(shù)據(jù)結(jié)構(gòu)的軟件設(shè)計方法問題分析法系統(tǒng)關(guān)聯(lián)圖信息隱蔽方法,采用自頂向下、逐步求精設(shè)計過程，將系統(tǒng)分解為若干功能模塊，然后逐個實現(xiàn)每一個具體的功能模塊,問題分析法,HTTP//BLOGCSDNNET/KERRYZHU,先分解再合成，根據(jù)輸入、輸出數(shù)據(jù)結(jié)構(gòu)指導(dǎo)系統(tǒng)的分解，在系統(tǒng)分析指導(dǎo)下再逐步合成系統(tǒng),系統(tǒng)關(guān)聯(lián)圖,HTTP//BLOGCSDNNET/KERRYZHU,用于定義系統(tǒng)與系統(tǒng)外部實體間的界限和接口的簡單模型，可以明確外部實體和系統(tǒng)之間通過接口傳遞的數(shù)據(jù)流和信息流,面向?qū)ο蠓椒?HTTP//BLOGCSDNNET/KERRYZHU,面向?qū)ο蠓椒◤乃幚淼臄?shù)據(jù)入手，以數(shù)據(jù)為中心來描述系統(tǒng)充分挖掘了“關(guān)系”的表達方式，可以盡可能的將事物之間復(fù)雜的關(guān)系予以體現(xiàn)軟件的開發(fā)可以視為“類”的抽象及其關(guān)聯(lián)的建模過程軟件的運行是對象的實例化及其狀態(tài)的演變過程，對象與對象之間通過發(fā)送消息相互聯(lián)系,對象與類,HTTP//BLOGCSDNNET/KERRYZHU,對象的行為通過操作展示，外界不可以直接訪問其內(nèi)部屬性（封裝性），操作的實現(xiàn)對用戶透明類是對具有相同內(nèi)部狀態(tài)和外部行為對象結(jié)構(gòu)的描述，它定義了表示對象狀態(tài)的實例變量集和表示對象行為的方法集。子類可以繼承父類的實例變量和方法、重載父類的某個行為（虛函數(shù)），同時還可以定義新的變量和方法消息傳遞是對象間惟一的交互方式,示例,HTTP//BLOGCSDNNET/KERRYZHU,面向?qū)ο蠓治?HTTP//BLOGCSDNNET/KERRYZHU,分析是提取和整理用戶需求，并建立問題域精確模型的過程面向?qū)ο蠓治鲆话阈枰?個模型（功能模型、對象模型和動態(tài)模型）并定義相應(yīng)的服務(wù),面向?qū)ο笤O(shè)計,HTTP//BLOGCSDNNET/KERRYZHU,開閉原則單一職責原則里氏代換原則依賴倒轉(zhuǎn)原則接口隔離原則合成/聚合復(fù)用原則迪米特法則,把分析階段得到的需求轉(zhuǎn)變成符合成本和質(zhì)量要求的、抽象的系統(tǒng)實現(xiàn)方案的過程,面向構(gòu)件設(shè)計方法,就是用“構(gòu)件”取代“代碼”，構(gòu)件成為軟件產(chǎn)品或系統(tǒng)的基本結(jié)構(gòu)單元構(gòu)件可以完成一個或多個功能的特定服務(wù)，并為用戶提供標準接口系統(tǒng)構(gòu)件可以分為業(yè)務(wù)構(gòu)件、服務(wù)構(gòu)件、展現(xiàn)構(gòu)件、邏輯構(gòu)件、運算構(gòu)件等從傳統(tǒng)的關(guān)注點分離到構(gòu)件組裝業(yè)務(wù)構(gòu)件是軟件過程的主線索，并基于業(yè)務(wù)構(gòu)件來識別出服務(wù)構(gòu)件，然后就是業(yè)務(wù)構(gòu)件的實現(xiàn)、驗證和部署,HTTP//BLOGCSDNNET/KERRYZHU,構(gòu)件的層次,HTTP//BLOGCSDNNET/KERRYZHU,基于構(gòu)件的網(wǎng)狀結(jié)構(gòu),HTTP//BLOGCSDNNET/KERRYZHU,面向服務(wù)方法,HTTP//BLOGCSDNNET/KERRYZHU,SOA架構(gòu)模式,HTTP//BLOGCSDNNET/KERRYZHU,SOA模式在三個主要參與者“服務(wù)提供者、服務(wù)消費者和服務(wù)代理”之間定義了交互模型,SOA系統(tǒng)架構(gòu)的層次,HTTP//BLOGCSDNNET/KERRYZHU,SOA系統(tǒng)服務(wù)層實現(xiàn),HTTP//BLOGCSDNNET/KERRYZHU,SOD的建模和架構(gòu)方法,HTTP//BLOGCSDNNET/KERRYZHU,可視化方法,HTTP//BLOGCSDNNET/KERRYZHU,借助可視開發(fā)工具，直接在圖形用戶界面上來完成絕大部分的軟件設(shè)計和編程工作，可以自定義、修改和拖拽各項操作界面元素可視開發(fā)工具能實現(xiàn)程序代碼的自動生成,示例,HTTP//BLOGCSDNNET/KERRYZHU,可視化IDE,HTTP//BLOGCSDNNET/KERRYZHU,本章內(nèi)容,51軟件方法論52用戶需求的獲取方法53軟件工程的分析方法54軟件工程的設(shè)計方法55軟件測試方法,HTTP//BLOGCSDNNET/KERRYZHU,為什么要進行軟件測試,HTTP//BLOGCSDNNET/KERRYZHU,551白盒和黑盒的測試方法552靜態(tài)和動態(tài)的測試方法553ALAC測試和隨機測試554自動化測試方法,55軟件測試方法,黑盒方法和白盒方法,黑盒測試方法（BLAKEBOXTESTING），是把程序看作一個不能打開的黑盒子，不考慮程序內(nèi)部結(jié)構(gòu)和內(nèi)部特性，而是考察數(shù)據(jù)的輸入、條件限制和數(shù)據(jù)輸出，完成測試白盒測試方法（WHITEBOXTESTING），也稱結(jié)構(gòu)測試或邏輯驅(qū)動測試。白盒測試方法是根據(jù)模塊內(nèi)部結(jié)構(gòu)了解，基于內(nèi)部邏輯結(jié)構(gòu)，針對程序語句、路徑、變量狀態(tài)等來進行測試，檢驗程序中的各個分支條件是否得到滿足、每條執(zhí)行路徑是否按預(yù)定要求正確的工作。,黑盒測試VS白盒測試,功能測試數(shù)據(jù)驅(qū)動（DATADRIVEN）測試,結(jié)構(gòu)測試邏輯驅(qū)動（LOGICDRIVEN）測試,,需求,事件驅(qū)動,輸入,輸出,,方法,靜態(tài)測試和動態(tài)測試,靜態(tài)測試就是靜態(tài)分析，對模塊的源代碼進行研讀，查找錯誤或收集一些度量數(shù)據(jù)，并不需要對代碼進行編譯和仿真運行。靜態(tài)測試采用人工檢測和計算機輔助靜態(tài)分析手段進行檢測動態(tài)測試是通過觀察代碼運行時的動作，來提供執(zhí)行跟蹤、時間分析，以及測試覆蓋度方面的信息。動態(tài)測試通過真正運行程序發(fā)現(xiàn)錯誤。通過有效的測試用例，對應(yīng)的輸入/輸出關(guān)系來分析被測程序的運行情況,HTTP//BLOGCSDNNET/KERRYZHU,靜態(tài)測試VS動態(tài)測試,,運行程序,ALAC測試,ALAC（ACTLIKEACUSTOMER，象客戶那樣做）測試是基于客戶使用產(chǎn)品的知識而進行測試其出發(fā)點是著名的PARETO80/20規(guī)律,隨機測試,可以作為熟悉新開發(fā)產(chǎn)品的功能特性，完善軟件測試用例，獲得一舉兩得的效果為對計劃測試的補充，使測試人員不受已有測試用例的限制，無拘無束、思維活躍，能發(fā)現(xiàn)一些隱藏比較深的缺陷,自動化測試的特點,自動運行的速度快，是手工無法相比的。測試結(jié)果準確。例如搜索用時及時是033秒或024秒，系統(tǒng)都會發(fā)現(xiàn)問題，不會忽視任何差異高復(fù)用性。一旦完成所用的測試腳本，可以一勞永逸運行很多遍永不疲勞可靠獨特的能力,自動化測試帶來的好處,測試周期縮短更高質(zhì)量的產(chǎn)品軟件過程更規(guī)范高昂的團隊士氣節(jié)省人力資源，降低企業(yè)成本充分利用硬件資源，降低企業(yè)成本。,手工測試,發(fā)現(xiàn)缺陷率高容易實施創(chuàng)造性、靈活性覆蓋率量化困難重復(fù)測試效率低不一致性、可靠性低依賴人力資源,高效率（速度）高復(fù)用性覆蓋率容易度量準確、可靠不知疲勞激勵團隊士氣機械、難以發(fā)現(xiàn)缺陷一次性投入大,手工測試VS自動測試,,HTTP//BLOGCSDNNET/KERRYZHU,兩者相互補充,在系統(tǒng)功能邏輯測試、驗收測試、適用性測試、涉及交互性測試時，多采用手工測試方法；單元測試、集成測試、系統(tǒng)負載或性能、可靠性測試等比較適合采用TA；對那種不穩(wěn)定、開發(fā)周期短或一次性的軟件等不適合TA工具本身缺乏想象力和創(chuàng)造性，自動測試只能發(fā)現(xiàn)15的缺陷，而手工測試可以發(fā)現(xiàn)85的缺陷；,,QA,HTTP//BLOGCSDNNET/KERRYZHU,

簡介：軟件開發(fā)生命周期與統(tǒng)一建模語言UML,軟件人才培養(yǎng)與軟件產(chǎn)業(yè)發(fā)展,西安三元數(shù)碼軟件有限公司,演講人常亮,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,主要內(nèi)容什么是軟件軟件的特點。JAVA的發(fā)展史與應(yīng)用。學(xué)習JAVA需要掌握的知識。如何成為一名合格的軟件工程師。軟件行業(yè)就業(yè)方向與企業(yè)人才需求分析。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,一、什么是軟件軟件的特點。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,軟件及其特點,什么是軟件軟件≠程序計算機系統(tǒng)是通過運行程序來實現(xiàn)各種不同應(yīng)用功能的。各種不同功能的程序，包括用于特定目的的程序、支持這些程序運行的系統(tǒng)程序（如操作系統(tǒng)）、管理和控制計算機系統(tǒng)的資源的程序、檢查和診斷計算機系統(tǒng)的程序等，統(tǒng)稱為軟件。軟件是計算機系統(tǒng)中與硬件相對應(yīng)、又相互依存的另一部分，與硬件合二為一共同完成系統(tǒng)的功能。軟件是一種產(chǎn)品，作為一種產(chǎn)品，它表達了由計算機硬件體現(xiàn)的計算潛能。軟件程序數(shù)據(jù)文檔數(shù)據(jù)包括初始化數(shù)據(jù)、測試數(shù)據(jù)、研發(fā)數(shù)據(jù)、運行數(shù)據(jù)、維護數(shù)據(jù)，以及軟件企業(yè)積累的項目工程數(shù)據(jù)和項目管理數(shù)據(jù)。文檔是開發(fā)、使用和維護程序所需要的圖文資料。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,軟件及其特點,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,二、JAVA的發(fā)展史與應(yīng)用。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,軟件體系結(jié)構(gòu),軟件體系結(jié)構(gòu)是具有一定形式的結(jié)構(gòu)化元素，即構(gòu)件的集合，包括處理構(gòu)件、數(shù)據(jù)構(gòu)件和連接構(gòu)件。處理構(gòu)件負責對數(shù)據(jù)進行加工數(shù)據(jù)構(gòu)件是被加工的信息連接構(gòu)件把體系結(jié)構(gòu)的不同部分組組合連接起來。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,C/S（CLIENT/SERVER）結(jié)構(gòu)客戶機和服務(wù)器結(jié)構(gòu)。通過C/S可以充分利用兩端硬件環(huán)境的優(yōu)勢，將任務(wù)合理分配到CLIENT端和SERVER端來實現(xiàn)，降低了系統(tǒng)的通訊開銷。B/S（BROWSER/SERVER）結(jié)構(gòu)瀏覽器和服務(wù)器結(jié)構(gòu)。用戶工作界面通過瀏覽器來實現(xiàn)，極少部分事務(wù)邏輯在前端（BROWSER）實現(xiàn)，主要事務(wù)邏輯在服務(wù)器端（SERVER）實現(xiàn)。這樣就大大簡化了客戶端電腦載荷，減輕了系統(tǒng)維護與升級的成本和工作量，降低了用戶的總體成本）。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,C/S模式的優(yōu)點和缺點1C/S模式的優(yōu)點●由于客戶端實現(xiàn)與服務(wù)器的直接相連，沒有中間環(huán)節(jié)，因此響應(yīng)速度快?！癫僮鹘缑嫫痢⑿问蕉鄻?，可以充分滿足客戶自身的個性化要求?！馛/S結(jié)構(gòu)的管理信息系統(tǒng)具有較強的事務(wù)處理能力，能實現(xiàn)復(fù)雜的業(yè)務(wù)流程。2C/S模式的缺點●需要專門的客戶端安裝程序，分布功能弱，針對點多面廣且不具備網(wǎng)絡(luò)條件的用戶群體，不能夠?qū)崿F(xiàn)快速部署安裝和配置?！窦嫒菪圆?，對于不同的開發(fā)工具，具有較大的局限性。若采用不同工具，需要重新改寫程序。●開發(fā)成本較高，需要具有一定專業(yè)水準的技術(shù)人員才能完成。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,B/S模式的優(yōu)點和缺點1B/S模式的優(yōu)點●具有分布性特點，可以隨時隨地進行查詢、瀏覽等業(yè)務(wù)處理?！駱I(yè)務(wù)擴展簡單方便，通過增加網(wǎng)頁即可增加服務(wù)器功能。●維護簡單方便，只需要改變網(wǎng)頁，即可實現(xiàn)所有用戶的同步更新?！耖_發(fā)簡單，共享性強。2B/S模式的缺點●個性化特點明顯降低，無法實現(xiàn)具有個性化的功能要求。●操作是以鼠標為最基本的操作方式，無法滿足快速操作的要求。●頁面動態(tài)刷新，響應(yīng)速度明顯降低?！駸o法實現(xiàn)分頁顯示，給數(shù)據(jù)庫訪問造成較大的壓力?！窆δ苋趸?，難以實現(xiàn)傳統(tǒng)模式下的特殊功能要求。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,JAVA發(fā)展史,JAVA起初并非叫做JAVA，而是叫做OAK。早期是為了嵌入式系統(tǒng)而設(shè)計的一項產(chǎn)品。1990年12月，SUN公司以JAMESGOSLING為領(lǐng)導(dǎo)成立了一個叫做GREENTEAM的小組。其主要目標就是開發(fā)一種分布式系統(tǒng)架構(gòu)，使其能夠在智能化電子消費設(shè)備作業(yè)平臺上執(zhí)行。1992年，發(fā)表了一款名叫STARSEVEN（7）的機器，它有點像現(xiàn)在我們熟悉的PDA。1995年5月23日，SUN在SUNWORLD’95上正式發(fā)布JAVA和HOTJAVA瀏覽器。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,JAVA發(fā)展到今天，已從編程語言發(fā)展成為全球第一大通用開發(fā)平臺。JAVA技術(shù)已被計算機行業(yè)主要公司所采納。（J2ME）JAVA2PLATFORM,MICROEDITIONJAVA2平臺微型版。SUN公司將J2ME定義為一種以廣泛的消費性產(chǎn)品為目標、高度優(yōu)化的JAVA運行環(huán)境”。（J2SE）JAVA2PLATFORM,STANDARDEDITIONJAVA2平臺標準版，適用于桌面系統(tǒng)應(yīng)用程序的開發(fā)。（J2EE）JAVA2PLATFORM,ENTERPRISEEDITIONJ2EE是一種利用JAVA2平臺來簡化企業(yè)解決方案的開發(fā)、部署和管理等相關(guān)復(fù)雜問題的體系結(jié)構(gòu)。J2EE技術(shù)的核心就是JAVA2平臺的標準版，J2EE不僅鞏固了標準版的許多優(yōu)點，例如“一次編寫、隨處運行”的特性、方便存取數(shù)據(jù)庫的JDBCAPI、CORBA技術(shù)，以及能夠在INTERNET應(yīng)用中保護數(shù)據(jù)的安全模式等，同時還提供了對EJB（ENTERPRISEJAVABEANS）、JAVASERVLETSAPI、JSP（JAVASERVERPAGES），以及XML技術(shù)的全面支持。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,JAVA的應(yīng)用,JAVA的四大應(yīng)用領(lǐng)域1行業(yè)和企業(yè)信息化由于SUN、IBM、ORACLE、BEA等國際廠商相繼推出各種基于JAVA技術(shù)的應(yīng)用服務(wù)器以及各種應(yīng)用軟件，帶動了JAVA在金融、電信、制造等領(lǐng)域日益廣泛的應(yīng)用。如清華大學(xué)計算機系利用JAVA、XML和WEB技術(shù)研制開發(fā)了多個軟件平臺，東方科技的TONGWEB、金碟的APUSIC、中創(chuàng)的INFORWEB等J2EE應(yīng)用服務(wù)器及和佳ERP和寶信ERP等ERP產(chǎn)品，已在許多企業(yè)得到應(yīng)用。2電子政務(wù)及辦公自動化東方科技、金碟、中創(chuàng)等開發(fā)的J2EE應(yīng)用服務(wù)器在電子政務(wù)及辦公自動化中也得到應(yīng)用如金碟的APUSIC在民政部、廣東省市工商局應(yīng)用東軟電子政務(wù)架構(gòu)EAP平臺在社會保險、公檢法、稅務(wù)系統(tǒng)得到應(yīng)用中創(chuàng)的INFORWEB等INFOR系列中間件產(chǎn)品在國家海事局、山東省政府及中國建設(shè)銀行、民生銀行等金融系統(tǒng)應(yīng)用無錫永中科技基于JAVA平臺開發(fā)的國產(chǎn)化集成辦公軟件“永中OFFICE”也已在一些省市政府部門得到應(yīng)用。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,3嵌入式設(shè)備及消費類電子產(chǎn)品無線手持設(shè)備、通信終端、醫(yī)療設(shè)備、信息家電（如數(shù)字電視、機頂盒、電冰箱）、汽車電子設(shè)備等是今年以來比較熱門的JAVA應(yīng)用領(lǐng)域。4輔助教學(xué)東南大學(xué)與中興通訊公司開發(fā)了遠程教學(xué)系統(tǒng)，用于本地網(wǎng)上教學(xué)、課后學(xué)習和異地遠程教育。清華大學(xué)用JAVA進行了“計算機軟件基礎(chǔ)課”教學(xué)改革，分析研究JAVA教學(xué)軟件BLUEJ的漢化方案，電子科技大學(xué)應(yīng)用JAVARMI技術(shù)進行遠程教育，西安電力高等專科學(xué)校采用JAVA技術(shù)，開發(fā)了交互式電站仿真系統(tǒng)，實現(xiàn)電站鍋爐仿真、鍋爐膛火焰仿真，為實現(xiàn)網(wǎng)上仿真進行有益探索。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,三、學(xué)習JAVA需要掌握的知識。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,四、如何成為一個合格的軟件工程師。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,1建立良好的編程思想，如軟件工程、設(shè)計模式都是建立思想的。2選擇一門合適自己專業(yè)語言，多實踐，多交流，在實踐中體會編程思想。3養(yǎng)成良好的編程習慣，如代碼的縮進編排、變量命令規(guī)則的一致性、代碼的注釋等。在工作中如果對公司的開發(fā)規(guī)范有異議，要提前講出來，和相關(guān)人員討論，沒有取得一致意見的情況下只能無條件遵守公司的開發(fā)規(guī)范。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,4要有團隊協(xié)作精神，和團隊人員要多溝通交流。不能只考慮自己手頭的工作，而不和其他需要使用公用模塊的成員進行必要的溝通，造成自己和別人工作上的返工，延誤工期。5要從用戶的業(yè)務(wù)需求方面考慮問題，不能只局限在技術(shù)層面上。在沒有好的解決方案時，需要提前和用戶溝通，讓用戶參與進來，尋找其他好的解決方案。才能夠取得用戶的信任，提高用戶對公司和個人的滿意度。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,6要努力學(xué)習業(yè)務(wù)知識，技術(shù)是為業(yè)務(wù)服務(wù)的。很多程序員只愿意學(xué)習技術(shù)，忽視業(yè)務(wù)知識，個人綜合能力沒有得到提高，軟件行業(yè)最缺的就是具有專業(yè)背景知識的軟件人才。7工作中要有吃苦耐勞的精神，能者多勞，遇到困難時，要堅持到底，要相信是金子總能發(fā)光，總有一天會被發(fā)現(xiàn)的道理。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,8養(yǎng)成良好的工作習慣，在拿到工作任務(wù)的時候，不要急于動手，先做計劃，如果在規(guī)定交付日完成任務(wù)或在開發(fā)過程中發(fā)現(xiàn)不能按時完成任務(wù)，要盡早告知項目負責人，重新調(diào)整計劃或增加人員等，在沒有變更工作計劃的情況下，不能以任何理由推托沒有完成任務(wù)的責任，這樣才能夠保證項目進度，降低項目風險。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,五、軟件行業(yè)就業(yè)方向與企業(yè)人才需求分析。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,軟件就業(yè)方向,1目前中國軟件產(chǎn)業(yè)發(fā)展的幾條主要途徑行業(yè)軟件社會信息化的主力軍。嵌入式軟件軟硬結(jié)合，信息化帶動工業(yè)化的選擇。軟件定制與軟件出口（外包軟件）軟件業(yè)超常規(guī)發(fā)展的重要一環(huán)。娛樂類軟件動漫、網(wǎng)絡(luò)游戲。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,2009中國軟件產(chǎn)業(yè)發(fā)展態(tài)勢分析,,,市場規(guī)模,增長率,30％,0％,30億元,,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,軟件崗位分布,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,正常比例結(jié)構(gòu),,,,我國軟件人才結(jié)構(gòu),懂技術(shù)、管理溝通能力強的軟件高級人才,系統(tǒng)分析人員及設(shè)計人員,熟練程序設(shè)計人員,,,,,人才需求分析,管理、系統(tǒng)分析、軟件架構(gòu)等高級專業(yè)人才嚴重短缺，影響了軟件開發(fā)的先進性、合理性和規(guī)范性軟件編碼人員的短缺則會增加軟件開發(fā)的成本。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,,從企業(yè)的用人角度來說，當前的IT行業(yè)需要三種人才。中層的技術(shù)管理人員，也就是項目經(jīng)理。企業(yè)在招聘這類人才的時候，除了在技術(shù)知識方面有要求外，更著重于人員管理和溝通能力。軟件藍領(lǐng)。這類人才的需求量很大，要求從業(yè)人員有很好的語言能力、職業(yè)素養(yǎng)。這種職業(yè)素養(yǎng)包括自我角色認知、團隊合作能力、溝通能力、跨文化溝通能力等。技術(shù)人員。企業(yè)在招聘這類人才的時候，主要看中的是技術(shù)的專業(yè)性和快速學(xué)習的能力。,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,企業(yè)希望員工的綜合能力,持續(xù)學(xué)習的能力獨立解決問題的能力溝通能力職業(yè)道德和責任心參加過項目或者實習團隊合作意識具有靈活性和適應(yīng)能力具有自信心具有較高的工作主動性,軟件開發(fā)生命周期與統(tǒng)一建模語言UML,謝謝,

簡介：計算機軟件,計算機軟件是指為了充分發(fā)揮計算機硬件的效能和方便用戶使用計算機而設(shè)計的各種程序和數(shù)據(jù)的總和。計算機軟件分為系統(tǒng)軟件應(yīng)用軟件,1系統(tǒng)軟件系統(tǒng)軟件是計算機最靠近硬件的一層軟件，它與具體的應(yīng)用無關(guān)，是為所有其他軟件服務(wù)的。,1操作系統(tǒng)OPERATINGSYSTEM，有WINDOWS、UNIX、LINUX和DOS。2語言處理程序LANGUAGEPROCESSOR，有PASCAL、C、C、VISUALBASIC、JAVA等。目前比較流行的是可視化的、面向?qū)ο蟮恼Z言，如上述后三種語言。3編程工具PROGRAMMINGTOOL，它們是編寫、調(diào)試和運行程序的輔助工具，如文本編輯程序等。4數(shù)據(jù)庫管理系統(tǒng)DATABASEMANAGEMENTSYSTEM有FOX公司的FOXPRO、微軟公司的ACCESS與SQL、甲骨文公司的ORACLE、IBM公司的DB2等,,操作系統(tǒng)OPERATINGSYSTEM，它是管理硬件資源、控制程序執(zhí)行、改善人機界面和為其他軟件提供支持的軟件。它為系統(tǒng)資源的管理者提供硬件資源管理和程序控制功能，為使用者提供友好的人機界面，為應(yīng)用程序提供豐富的功能支持。,語言處理程序LANGUAGEPROCESSOR，即各種程序設(shè)計語言的翻譯程序，如匯編程序ASSEMBLER、編譯程序COMPILER、解釋程序INTERPRETIVEPROGRAM等。它們的作用都是把源程序翻譯成二進制代碼表示的機器語言，使計算機能夠識別和執(zhí)行。,編程工具PROGRAMMINGTOOL，它們是編寫、調(diào)試和運行程序的輔助工具，如文本編輯程序等。,數(shù)據(jù)庫管理系統(tǒng)DATABASEMANAGEMENTSYSTEM，用于建立、使用和維護數(shù)據(jù)庫的軟件。數(shù)據(jù)庫是長期儲存在計算機中的、有組織、可共享的數(shù)據(jù)集合。,是為完成某種應(yīng)用或解決某類問題而編制的專用程序。1文字處理軟件WPS、WORD2電子表格處理軟件EXCEL3看圖工具ACDSEE4多媒體制作和播放應(yīng)用軟件FLASH、PHOTOSHOP、WINAMP、千千靜聽、REALONEPLAYER、WINDOWSMEDIAPLAYER、超級解霸5網(wǎng)絡(luò)應(yīng)用軟件瀏覽器（IE、MYIE、騰訊TT）、郵件收發(fā)（OE、FOXMAIL）網(wǎng)頁制作（FRONTPAGE、DREAMWEAVER、FIREWORKS）6殺毒軟件瑞星、江民、金山毒霸、東方衛(wèi)士、諾頓、卡巴斯基、KILL98、KV30007游戲,2應(yīng)用軟件,當今社會，人們的工作和生活都越來越離不開計算機和計算機網(wǎng)絡(luò)以及各種管理信息系統(tǒng)和生產(chǎn)過程控制系統(tǒng)。確保計算機、計算機網(wǎng)絡(luò)和各類信息系統(tǒng)的安全，是擺在人類面前至關(guān)重要的問題。,計算機安全、隱私和道德規(guī)范,1計算機安全,計算機安全COMPUTERSECURITY是指防范與保護計算機系統(tǒng)及其信息資源在生存過程中免受蓄意攻擊、人為失誤和自然災(zāi)害等引起的損失和破壞。,計算機病毒信息垃圾“黑客”攻擊,計算機病毒是一種特殊的程序，有著與生物病毒極為相似的特點。寄生性，它們大多依附在別的程序上面。隱蔽性，它們是悄然進入系統(tǒng)的，人們很難察覺。潛伏性，它們通常是潛伏在計算機程序中，只在一定條件下才發(fā)作的。傳染性，它們能夠自我復(fù)制繁殖，通過傳輸媒介蔓延。破壞性，輕則占用一定數(shù)量的系統(tǒng)資源，重則破壞整個系統(tǒng)。,1計算機病毒,措施安裝防殺病毒軟件，開啟病毒防火墻；對外來的軟件和資料要進行嚴格的檢查和殺毒；防殺病毒軟件需要及時更新。操作系統(tǒng)應(yīng)及時打補丁。,NORTON諾頓,江民瑞星金山毒霸,KASPERSKY卡巴斯基,MCAFEE,常用防病毒軟件,2信息垃圾我們上網(wǎng)時，經(jīng)常會看到一些虛假的或不健康的信息，這是一種最常見的信息垃圾。另一類信息垃圾是垃圾郵件SPAM。當我們打開郵箱時，常常會發(fā)現(xiàn)許多不是你所希望的電子郵件，這就是垃圾郵件。如何防止垃圾郵件呢首先，不要輕易把電子郵件地址告訴別人。其次，不要回應(yīng)那些垃圾郵件。如果回應(yīng)了，就證明你的電子郵件地址是真實的。另外，有的郵件服務(wù)器提供拒收功能，你可以要求把垃圾郵件發(fā)送者列入拒收名單。,3“黑客”攻擊20世紀50、60年代，黑客HACKER曾是編程高手的代名詞。后來，黑客成為一個獨特的群體，他們通過各種渠道交流技藝，不少人以攻擊計算機及其網(wǎng)絡(luò)系統(tǒng)為樂趣。黑客的危害黑客對于窺視別人在網(wǎng)絡(luò)上的秘密有著特別的興趣，如政府和軍隊的機密、企業(yè)的商業(yè)秘密及個人隱私等均在他們的雙目注視之下。他們的所作所為常常讓人們?yōu)橹浚牐?990年4月1991年5月間，幾名荷蘭黑客自由進出美國國防部的34個站點如入無人之境，調(diào)出了所有包含“武器”、“導(dǎo)彈”等關(guān)鍵詞的信息。嚴重的是，而美國國防部當時竟一無所知。在1991年的海灣戰(zhàn)爭中，美國首次將信息戰(zhàn)用于實戰(zhàn)，但黑客很快就攻擊了美國軍方的網(wǎng)絡(luò)系統(tǒng)。同時。黑客們將竊取到的部分美軍機密文件提供給了伊拉克。1996年9月18日，美國中央情報局的網(wǎng)頁被一名黑客破壞，“中央情報局”被篡改成“中央愚蠢局”據(jù)今日美國報報道，黑客每年給全球電腦網(wǎng)絡(luò)帶來的損失估計高達上百億美元。為了打擊黑客的犯罪活動，美國政府計劃成立一個由聯(lián)邦調(diào)查局、中央情報局、司法局和商務(wù)部聯(lián)合組成的特別小組，來保護美國的重要電腦系統(tǒng)不受恐怖分子的攻擊。五角大樓籌劃組建一個國家安全情報交流小組，以防止發(fā)生“電子珍珠港事件”。,防止“黑客”攻擊，主要方法是加強安全措施，安裝防火墻。1、硬件防火墻它是一種計算機設(shè)備，它設(shè)置在內(nèi)部網(wǎng)絡(luò)與外部網(wǎng)絡(luò)之間，起一個隔離的作用，既可以阻止外部信息非法進入內(nèi)部系統(tǒng)，也可以阻止內(nèi)部人員非法訪問外部系統(tǒng)。,WINDOWS防火墻,2、軟件防火墻,天網(wǎng)防火墻個人版是個人電腦使用的網(wǎng)絡(luò)安全程序，根據(jù)管理者設(shè)定的安全規(guī)則把守網(wǎng)絡(luò)，提供強大的訪問控制、信息過濾等功能，幫你抵擋網(wǎng)絡(luò)入侵和攻擊，防止信息泄露。天網(wǎng)防火墻把網(wǎng)絡(luò)分為本地網(wǎng)和互聯(lián)網(wǎng)，可針對來自不同網(wǎng)絡(luò)的信息，來設(shè)置不同的安全方案，適合于任何方式上網(wǎng)的用戶。,天網(wǎng)防火墻個人版,隱私權(quán)隱私權(quán)表示對個人的一種尊重。每個人都有一些不愿意讓他人知道的事，例如，私人信件和日記等。在法治的社會里，尊重隱私權(quán)是每個公民的基本素質(zhì)。但在社會上，侵犯隱私權(quán)的事也時有發(fā)生。例如，私拆信件、偷窺、商場搜身等。有時，侵犯隱私權(quán)倒不一定是有意的。例如，在交談時不經(jīng)意地談及純粹是他人私人的信息。當然，保護隱私權(quán)不能用來保護罪犯，不能成為危害社會的犯罪行為免受法律的制裁的借口。所以，有些行為是侵犯了隱私權(quán)還是維護法制，是一定要分清楚的。,信息時代隱私權(quán)的法律保護中明確指出公民的通信、日記和其他私人文件（包括儲存于計算機內(nèi)的私人信息）不得非法刺探或公開?！半[私權(quán)的客體包括私人活動、個人信息和個人領(lǐng)域等不與公共利益、社會群體利益相關(guān)的活動等”個人信息包括計算機儲存的個人資料、域名、網(wǎng)名、電子郵件地址、QQ號碼等；個人居所、行李、公文包、學(xué)生書包、日記本、衣服口袋、個人通訊器材等也屬于私人空間。,1、保護自己的隱私2、不侵害別人的隱私權(quán),,使用計算機如何保護自己的隱私,1、清除上網(wǎng)記錄,每個月總有數(shù)以百萬計的人在下載試用軟件前，貿(mào)然同意了沒閱讀的「服務(wù)條款」和「隱私協(xié)議」，而即使他們想讀，可能也看不懂內(nèi)容。使用者往往事后發(fā)現(xiàn)他們收到大批廣告，上網(wǎng)行為被監(jiān)視，或是某些鮮為人知的公司自動找上門來，要替他們解決復(fù)雜的計算機問題。這些行為足以顯示無論是否被事先告知，許多計算機正遭受各式各樣入侵方式的威脅。「我同意」背后的陷阱廣告商和軟件銷售商經(jīng)常利用人們隨便按下「我同意」的習慣，消費者可能隨便按一下鼠標，就放棄了他們的權(quán)利。此外，垃圾郵件有時也會暗藏一些HTML連結(jié)，當使用者開信時，就會自動下載間諜軟件SPYWARE。還有另一種只要一瀏覽網(wǎng)頁就激活下載程序的「隨看隨下」“DRIVEBYDOWNLOADS“功能，采用的也是類似的運作原理。盡管「隨看隨下」通常會在下載前先請求許可，許多人卻可能以為這是網(wǎng)站的一般功能而不加思索地接受了。間諜軟件（或稱「偷襲軟件」，“SNEAKWARE“）未經(jīng)允許就進入使用者的計算機，監(jiān)錄其線上行為，或者「探勘」他的資料。這些軟件能夠竊取密碼、信用卡號或使用者的私密資料，因而形成安全和隱私的夢魘。就像1990年代開始泛濫的垃圾郵件問題，導(dǎo)致立法和行政部門采取行動，倡議以法律來規(guī)范濫寄郵件的行為。如今計算機專家開始呼吁大眾正視隱私權(quán)政策和使用條款的問題，廣告軟件ADWARE廠商為顧及自身形象，也努力試圖界定廣告軟件和間諜軟件的差別。,2、防范黑客、間諜軟件，屏蔽網(wǎng)絡(luò)插件,3、加密自己的文檔。,3道德規(guī)范因特網(wǎng)最大的特點是開放性和自主性。的確，在因特網(wǎng)上，非常自由，你想說什么就可以說什么，你想做什么就可以做什么。當然，這得有一定的限度，不僅不能侵犯國家的利益和大多數(shù)人的利益，也得與廣大網(wǎng)民們友好相處，受到大家的尊重。因此，除了制定各種法規(guī)之外，培養(yǎng)良好的道德規(guī)范是非常重要的。首先，在電子郵件和聊天室里的用詞和用語要講究禮貌，不要太粗俗，以免損害別人。其次，要尊重知識產(chǎn)權(quán)。對未經(jīng)容許復(fù)制和擴散的軟件和資料不要隨便復(fù)制和擴散。第三，初次進入聊天室或參加新聞組討論，不妨多聽一聽看一看。不同的場合可能有不同的規(guī)矩，不能想當然。如果你想發(fā)問，那最好查看一下，以前是否有人問過同樣的問題，只有在你不滿意先前的討論時才重新發(fā)問。第四，發(fā)表的信息應(yīng)該真實，不要欺騙別人，不能捏造虛假新聞，不傳播對社會和他人造成傷害的消息。當然，也不能上傳黃色的東西。第五，不要像某些膽大妄為的黑客那樣，肆意攻擊他人的網(wǎng)站，竄改他人的資料。年輕人好奇心強，遇事總想探個究竟，學(xué)了些知識，總想嘗試實踐。但是，這一切都應(yīng)有個限度，不能破壞社會公共道德和生活秩序，不能傷害他人利益。實際上，網(wǎng)上的道德規(guī)范與社會上沒有多大的區(qū)別。一個具有紳士風度的人，在生活中會受到人們的歡迎和尊重，在網(wǎng)絡(luò)上也會同樣受到歡迎和尊重。但是，也大可不必拘束。本來，在實際的生活中，由于社會環(huán)境的、家庭的和本人的各種各樣原因，每個人不一定都能夠展現(xiàn)自己本來的風貌，也不一定能夠有機會施展自己的才華。現(xiàn)在，因特網(wǎng)為人們提供了這樣的機會，每個人都可以自由施展才華。,

簡介：網(wǎng)上費用報銷平臺方案,用友軟件股份有限公司,,報賬平臺需求分析,1控制對象明確控制“費用”、控制資金、控制“費用”與資金,2集團管控模式集團管控模式，集中報賬、計劃報賬式,3預(yù)算控制模式事前控制、事中控制、事后控制；剛性控制、柔性控制；,是否累進；是否分組；定額控制、定率控制；,4支出類型與工作流有哪些支出類型，需要劃分多少種支出單據(jù)，不同類型支出單內(nèi)容規(guī)范，不同支出單的審批流程，原始憑證與費用不一致業(yè)務(wù),5預(yù)借款及備用金是否有預(yù)借款或備用金，預(yù)借款及備用金管理模式。,6網(wǎng)銀接口模式直接通過網(wǎng)銀付款，還是報賬系統(tǒng)生成網(wǎng)銀付款單，再通,過銀行網(wǎng)銀系統(tǒng)引入后批量支付。,7系統(tǒng)集成需要與哪些業(yè)務(wù)系統(tǒng)對接，是否需要與OA進行門戶集成,,,控制對象明確,控制“費用”、控制資金、控制“費用”與資金,控制對象明確不是所有的“費用”都需要控制，如折舊費，再如廣告費一次支出，多次攤銷入費用，控制費用沒有意義，所謂的費用控制是指有資金流出的費用；,費用概念明確是單純的“費用”，還是所有的資金流出都要控制，前者經(jīng)常不涉及到往來（如差旅費），后者往往涉及到往來（如貨款），后者的范圍超過前者，如投資付款。,,,集團管控模式,集中報賬、計劃報賬式,集中報賬式下屬公司到集團財務(wù)中心（可能有多個）統(tǒng)一報賬，現(xiàn)金由財務(wù)中心支出，集團控制力強，財務(wù)組織整體精簡。,計劃報賬式下屬公司向集團提出計劃，集團根據(jù)計劃撥款到下屬公司，下屬公司按預(yù)算進行報銷，支出現(xiàn)金。工作任務(wù)分散到各公司。,預(yù)算控制模式,事前控制事中控制事后控制,剛性控制柔性控制,是否累進,是否分組,費用類型、單據(jù)類型、工作流規(guī)范,有哪些支出類型,需要劃分多少種單據(jù),不同類型支出單內(nèi)容規(guī)范,不同單據(jù)的業(yè)務(wù)流程規(guī)范,支出類型與原始憑證不一致,預(yù)借款及備用金管理模式,是否有預(yù)借款、備用金管理,預(yù)借款按支出類型分別申請，發(fā)生時即受預(yù)算控制，報銷時抵沖預(yù)借款，多退少補。,備用金日常從備用金支出,報銷不抵沖備用金，報銷款補充備用金。,網(wǎng)銀應(yīng)用模式,銀企互聯(lián)直接通過銀企互聯(lián)系統(tǒng)網(wǎng)上付款，需要建設(shè)CA等安全認證體系,落地文件報賬系統(tǒng)生成網(wǎng)銀付款單落地文件，資金人員在銀行網(wǎng)銀系統(tǒng)導(dǎo)入落地文件，確認后付款，安全由銀行網(wǎng)銀系統(tǒng)保證。,系統(tǒng)集成,預(yù)算管理預(yù)算執(zhí)行控制,應(yīng)付管理款付出后與應(yīng)付款核銷財務(wù)系統(tǒng)憑證生成到總賬資金系統(tǒng)生成委托付款單OA系統(tǒng)門戶集成、消息集成銀行對賬銀行對賬其他推送報銷單,系統(tǒng)應(yīng)用部署模式,應(yīng)用價值,基礎(chǔ)數(shù)據(jù)統(tǒng)一與管理規(guī)范統(tǒng)一信息實時獲取便于分析決策方便內(nèi)部業(yè)務(wù)審計,管理模式的快速復(fù)制企業(yè)間業(yè)務(wù)高效協(xié)同,便于多系統(tǒng)集成與接口開發(fā)系統(tǒng)維護管理成本低,塑造集團多組織機構(gòu)最低層數(shù)據(jù)直接采集,整體應(yīng)用架構(gòu),預(yù)算、收支、財務(wù)集成應(yīng)用模型,收支項目,1、費用歸口口徑，預(yù)算指標2、預(yù)算控制可按控制,3、可作為會計核算判斷依據(jù),業(yè)務(wù)類型單據(jù)模板,同一業(yè)務(wù)按人員配置界面,預(yù)算事前控制_事前申請,收支屬性歸口管理,預(yù)算控制模式,預(yù)算事中控制預(yù)警,預(yù)算事后控制,,,,,實現(xiàn)業(yè)務(wù)協(xié)同審批審批流平臺,審批流平臺,?過程（PROCESS）?活動（ACTIVITY）,?轉(zhuǎn)移（TRANSITION）?參與者PARTICIPANT）?分支（SPLIT）?匯總JOIN）?搶占和會簽?可指派,?流程限定,工作流平臺－審批流,支持跨公司業(yè)務(wù)的集團審批流,審批流與郵件的整合應(yīng)用,基于郵件的審批流管理,審批流聯(lián)查,審批流管理,審批處理,審批聯(lián)查業(yè)務(wù)情況,簽字確認,個人報銷”合并支付,網(wǎng)上付款網(wǎng)銀適配器,1、網(wǎng)上自動匹配銀行完成支付；2、自動從網(wǎng)上下載賬戶余額到本地，,方便進行多銀行匯總查詢；3、自動下載銀行對賬單，自動進行銀行對賬,

簡介：,,,主講黑網(wǎng)達人,易信自動加好友營銷推廣方法,QQ446143183,201556,,今天給大家?guī)硪粋€新型的營銷推廣方法這種方法適合所有的營銷推廣人員正所謂，人多了，流量自然就大了有人氣，才能有好推廣,,今天給大家介紹的是一款新型的社交軟件易信是由網(wǎng)易和中國電信聯(lián)合開發(fā)的，一款能夠真正免費聊天的即時通訊軟件功能類似于微信,,易信的界面和微信的界面一樣同樣有朋友圈同樣可以做微營銷,,這其中牽涉到一個最關(guān)鍵的環(huán)節(jié)，那就是如何迅速加滿好友這里我給大家介紹一個易信全自動加好友的軟件這款軟件可以實現(xiàn)日加百人的效果，并且自動化，我想問，這樣的效果，你想要嗎,,下面我給大家演示一下效果,,軟件運行環(huán)境1需要一個安卓模擬器2這款自動加好友軟件,,易信與微信的差別1微信，傳統(tǒng)微營銷，目前市場已飽和2易信，新型社交軟件，營銷市場非常廣3微信，騰訊的產(chǎn)品，安全措施強，加好友難，有限制4易信，新產(chǎn)品，安全措施弱，有漏洞，加好友容易總結(jié)易信市場廣闊，非常適合微營銷加好友容易，錢途無限,,目前軟件剛剛開發(fā)完畢，需求量很大好多朋友都已經(jīng)開始做易信微營銷了你還在等待嗎如果大家對這款軟件感興趣，可以聯(lián)系我QQ446143183,