程序分析方法

1. 程序靜態分析的形式化方法

程序分析中的形式化方法一般指利用純粹嚴格的數學方法對軟體、硬體進行分析的理論及技術。這些數學方法包括符號語義、公理語義、操作語義和抽象解釋。
1952年提出的Rice定理指出，任何關於程序分析的問題都是不可判定的。因此，不存在任何一種機械化的方法能夠證明程序的完全正確性。然而，針對大多數的不可判定問題，仍然可以試圖找到它們的一些近似解。
形式化靜態分析中用到的實現技術有：
模型檢查假設系統是有限狀態的、或者可以通過抽象歸結為有限狀態。
抽象解釋將每條語句的影響模型化為一個抽象機器的狀態。相比實際系統，抽象機器更簡單更容易分析，但其代價是喪失了分析的完備性（並不是原始系統中的每種性質在抽象機器中都是保留的）。抽象解釋當且僅當抽象機器中的每一個性質都能與原始系統中的性質正確映射時，才被稱作可靠（sound）的。
斷言在霍恩邏輯中首次被提出。目前存在一些針對特定程序設計語言的工具，例如ESC/JAVA和ESC/JAVA2中分別使用的SPARK語言和JML語言。

2. 程序分析的技巧

掌握了記錄符號和記錄技術後，下一步是應用分析技術對記錄的全部事實進行分析。程序分析的技巧具體包括的內容是「一個不忘，四大原則，五個方面和六大提問技術」。分別為：
一個不忘——不忘動作經濟原則； 四大原則——取消、合並、重排、簡化； 五個方面——操作、運輸、儲存、檢驗、等待； 六大提問技術——對目的、方法、人物、時間、地點和原因進行提問。 1、分析時的動作經濟原則
動作經濟原則在程序分析時有極大的作用，應根據動作經濟原則建立新方法並不斷加以 改進。應用動作經濟原則，可在同樣或更少的花費下獲得更多的產值。
2、分析時的「ECRS」四大原則
對現行的方案進行嚴格考核與分析的目的是為了建立新方法。在建立新方法時，要靈活運用下列四大原則。
1) E(Eliminate)——取消。在進行「完成了什麼」、「是否必要」及「為什麼」等問題的提問中不能有滿意答復者都屬於不必要的，要給予取消，取消是改進的最佳方式。取消不必要的工序、操作或動作是不需要投資的一種改進，是改進的最高原則。
2) C(Combine)——合並。對於無法取消而又必要者，看是否能合並，以達到省時簡化的目的。如可合並一些工序或動作，或將由多人於不同地點從事的不同操作，改為由一人或一台設備完成。
3) R(Rearrange)——重排。經過取消、合並後，可再根據「何人、何處、何時」三種提問進行重排，使其能有最佳的順序，除去重復，辦事有序。
4) S(Simple)——簡化。經過取消、合並、重排後的必要工作，就可考慮能否採用最簡單的方法及設備，以節省人力、時間和費用。
程序分析時通過「ECRS」四大原則，首先考慮取消不必要的工序、動作、操作；其次將某些工序或動作合並，以減少處理的手續；再次，是將工作台、機器以及儲運處的布置重新調整，以減少搬運的距離。有時也許要變更操作或檢驗的順序，以避免重復。最後是用最簡單的設備、工具替代復雜的設備、工具，或用較簡便、省力、省時的動作代替繁重的動作。
3、分析時的五個方面
由於記錄是從操作、搬運、檢驗、儲存和等待等五個方面進行的，所以分析也可以從這五個方面著手。
1)操作分析。這是最重要的分析。它涉及到產品的設計。如產品設計有微小變動時，就很有可能改變整個製造過程；或通過操作分析省去某些工序，減少某些搬運；或合並某一工序；或將兩處工序合二而一等。
2)搬運分析。搬運問題需要考慮搬運的重量、距離及消耗時間。而運輸問題應考慮運輸方法和工具，這樣可以減輕搬運工人的勞動強度和消耗的時間；合理安排廠區、車間或設備的位置，可以大大縮短運輸的距離和時間。
3)檢驗分析。檢驗的目的是剔除不合格的產品，應根據產品的功能和精度要求，選擇合理適宜的檢驗方法及決定是否需要設計更好的工夾量具等。
4)儲存分析。應著重對倉庫管理、物資供應計劃和作業速度等進行檢查分析。以保證材料及零件的及時供應，避免不必要的物料的積壓。
5)等待分析。等待應減至最低限度，要分析引起等待的原因，如等待是由設備造成的，則應從改進設備入手。
實際分析時，應對以上五個方面按照提問技術逐一進行分析。然後採用「ECRS」四大原則進行處理，以尋求最佳、最經濟合理的方法。
4、分析時的六大提問
為了使分析能得到最多的意見，而不致有任何遺漏，需要採用提問技術(即六大提問技術)依次進行提問。 考察點 第一次提問 第二次提問 第三次提問 目的 做了什麼What 是否必要 有無其他更合適的對象 原因 為何做Why 為什麼要這樣做 是否不需要做 時間 何時做When 為何需要此時做 有無其他更合適的時間 地點 何處做Where 為何需要此處做 有無其他更合適的地點 人員 何人做Who 為何需要此人做 有無其他更合適的人 方法 如何做How 為何需要這樣做 有無其他更合適的方法與工具 這種提問技術在國外又稱6W技術，或5W1H技術。當進行程序分析時，以上問題必須有系統的一一詢問，這種有系統的提問技巧仍是程序分析成功的基礎，切不可有任何疏漏。上述的第一、第二次提問的目的在於弄清問題的現狀，第三次提問在於研究和探討改進的可能性。
上述分析技巧，特別是「5W1H」技術、「ECRS」四大原則和動作經濟原則，可在任何發現問題的場所使用。

3. 分析程序軟體您覺得通過哪些方式有幾種辦法可以實現

方法通過靜態分析方式和動態分析方式相結合,實現應用程序行為分析檢測。靜態分析通過Android的靜態反匯編和反編譯獲取應用程序的源代碼和資源配置文件,然後通過檢測源代碼中是否包含敏感行為特徵,實現靜態行為分析檢測。動態分析結合沙箱系統,實現程序的動態運行並輸出行為日誌,然後對輸出的行為日誌分析,實現對應用程序動態行為分析檢測。靜態分析由於某些程序精心構造,無法對一些未將特徵編碼在代碼文件中行為進行分析,在檢測時無法獲取潛在的應用程序行為;動態分析由於自動運行行為的隨機性,不能完全觸發應用程序操作。兩種方式都存在這不足,所以本課題在實現分析系統時採取了動靜態分析相結合方式,以更全面的實現Android應用程序的行為分析檢測,為安全分析提供依據。

4. 程序分析

第二題：
（1）程序功能：計算1到10的累加和
（2）sum變為10+9+8+7+6+5+4+3+2+1=？（自己算下）
（3）循環次數：CX從10減到1，也就是10次

5. 什麼是程序分析

6. 怎麼分析程序

for i循環：首先注意循環幾次？4次，每次循環i的取值多少？分別是1，2，3，4。為什麼要關心i的取值呢？因為循環體內有用到i做計算的內容，比如for ( j=1;j<=i;j++ )。
循環體內有兩個循環和一個printf語句，它們都要執行4次。
for j循環：循環次數是i次，每循環一次輸出一個空格，那麼4次i循環會分別輸出1個、2個、3個、4個空格，printf的格式字元串"%c"中沒有出現換行，那麼這些空格是緊挨著的
輸出完空格，就要執行for k循環了
for k循環：循環次數是6次，固定的，每次循環輸出一個星號，這6個型號組成一串
然後輸出換行
這樣從這個程序整體分析來說會輸出一個由6個星號一排組成的平行四邊形，第1行星號前面空一個格，第2行空2個格，...

7. 程序結構分析的內容有哪些分析方法

你沒有獨立思考搞清楚邏輯，看書最好能多看幾遍然後最重要的是你要自己脫離書本獨立寫，不要看一句寫一句，還有C二級注重概念，特別是數組指針之類的，編程不是很難，買本題目多看多編多學習如何解決error就好了，不要慌，更不能水，扎扎實實一定能過的~

8. 程序分析怎麼寫

1. 引言

1.1編寫目的:編寫此文檔的目的是進一步定製軟體開發的細節問題,便於用戶與開發商協調工作.本文檔面向的讀者主要是項目委託單位的管理人員.希望能使本軟體開發工作更具體.

1.2項目背景

1.2.1項目委託單位:****公司

1.2.2開發單位:***公司

1.3定義

1.4參考資料

2. 任務概述

2.1目標:

決策支持:根據公司的要求及時提供所需報表及文件,並在適當時候對各部門領導給予銷售及進貨等方面的提示

提高效率:利用軟體進行管理,避免人工管理的失誤以及 延遲性,從而實現高效率的管理.

2.2運行環境:

硬體方面:Pentium級處理晶元
1兆顯存的兼容顯卡
256色,800*600的兼容顯示器
標准兼容列印機

軟體方面: WIN95操作系統

2.3條件與限制:

編程用計算機一台
完成期限2000/7/1
無資金供給

3. 數據概述

數據流程圖如下:

3.1靜態數據:包括系統登錄密碼,各資料庫所在位置,系統分析原始數據

3.2 動態數據:包括各資料庫內各項顯示數據,用戶登錄信息,系統時間

3.3資料庫描述:

人事管理資料庫:公司內人員的個人詳細信息,包括檔案信息
銷售管理資料庫:當日銷售記錄及以前的銷售統計,用於銷售分析
財務管理資料庫:公司內部賬目及收支情況詳表
技術管理資料庫:公司所需各技術檔案的詳細記錄(包括文檔)

3.4 數據字典:

數據流詞條描述:

1.數據流名:登錄信息
來源:用戶的輸入
去向:系統內部檢驗部分
組成:用戶名,密碼
流通量:每次登錄輸入一次

2.數據流名:登錄結果
來源:系統
去向:用戶
組成:返回信息
流通量:每次登錄返回一次

3.數據流名:輸入修改信息
來源:用戶
去向:系統判斷部分
組成:根據各資料庫內容而不同
流通量:依用戶輸入而定

4.數據流名:反饋信息
來源:系統判斷部分
去向:用戶
組成:系統經判斷後發回的字元數據
流通量: 依系統當前信息而定

5.數據流名:識別信息
來源:系統內部檢驗部分
去向:系統判斷部分
組成:系統各資料庫的標識信息
流通量:用戶每次輸入流通一次

6.數據流名:處理信息
來源:系統判斷部分
去向:各資料庫處理部分
組成:讀取/修改標識,讀取/修改的變數名稱
流通量:用戶每次輸入流通一次

7.數據流名:讀取修改
來源:系統判斷部分
去向:系統各資料庫
組成:讀取/修改標識,讀取/修改內容
流通量: 用戶每次輸入流通一次

數據文件詞條描述:

1.數據文件名:人事數據
簡述:存儲人員信息
數據文件組成:人員的各項信息(以CString類型為主)

2.數據文件名:銷售數據
簡述:存儲當日及從前的銷售記錄
數據文件組成:銷售的各項信息

3.數據文件名:財務數據
簡述:存儲財務管理信息
數據文件組成:財務管理的各項記錄

4.數據文件名:技術數據
簡述:存儲公司內部使用的技術檔案信息
數據文件組成:技術檔案名稱,內容

加工邏輯詞條描述:

1.加工名:檢驗
簡要描述:判斷用戶的許可性
輸入數據流:登錄信息
輸出數據流:登錄結果
加工邏輯:判斷是否與系統內部用戶信息相符合

2.加工名:判斷
簡要描述:判斷用戶的操作並進行相應的讀取/存儲工作
輸入數據流:輸入修改信息
輸出數據流:反饋信息
加工邏輯:判斷用戶的操作->調用資料庫->讀取/修改->反饋

3.加工名:人事檔案管理
簡要描述:對人事資料庫進行相應要求的操作,並與判斷部分交互
輸入數據流:處理信息,讀取修改
輸出數據流: 讀取修改, 處理信息
加工邏輯:判斷用戶要讀取/修改的內容->反饋用戶所需信息

4.加工名:銷售統計
簡要描述:對銷售資料庫進行相應要求的操作,並與判斷部分交互
輸入數據流:處理信息,讀取修改
輸出數據流: 讀取修改, 處理信息
加工邏輯:判斷用戶要讀取/修改的內容->反饋用戶所需信息

5.加工名:財務統計
簡要描述:對財務資料庫進行相應要求的操作,並與判斷部分交互
輸入數據流:處理信息,讀取修改
輸出數據流: 讀取修改, 處理信息
加工邏輯:判斷用戶要讀取/修改的內容->反饋用戶所需信息

6.加工名:技術管理
簡要描述:對技術統計資料庫進行相應要求的操作,並與判斷部分交互信息
輸入數據流:處理信息,讀取修改
輸出數據流: 讀取修改, 處理信息
加工邏輯:判斷用戶要讀取/修改的內容->反饋用戶所需信息

源點及匯點詞條描述:

名稱:用戶
簡要描述:既是源點又是匯點,發出動作信息給"檢驗"和"判斷"加工,通過交互界面接受反饋信息有關數據流:登錄結果,登錄信息,輸入修改信息,反饋信息
數目:一個

4. 功能需求

4.1功能劃分

可細分為四部分:人事管理,銷售管理,財務管理,技術檔案管理

4.2功能描述

人事功能:

(1)能對公司內部的所有人員有關檔案詳細資料記錄並保存。
(2)能對資料庫內人事檔案的數據進行查閱和修改。
(3)能按部門或姓名檢索人員。
(4)當某員工的僱用期限達到整年時，按時提醒。

銷售統計功能

(1)按日對公司的銷售情況進行統計,包括銷售額\銷售數量\各地區銷售比例\不同銷售方式的銷售量比例以及銷售毛利潤情況
(2)制定銷售情況的月報表\季報表以及年報表對銷售情況進行分析,對不同銷售人員的業績進行評定

財務管理功能

(1)協助財務人員進行計算機管理,對庫存情況\進貨情況\銷貨進行登錄和輸出
(2) 根據預設的庫存情況提醒進貨
(3) 對收款情況進行統計,在應收帳款達到預設值時進行提示

技術管理功能

(1)對技術資料進行登錄
(2)對維修記錄進行登錄和統計,按不同型號的機器進行故障整體分析,並作出分析報告
(3)對維修配件的需求進行管理並及時提示備貨

5. 性能需求

5.1數據精確度:因為此數據為公司內部數據,所以要求不能有誤差

5.2時間特性:當日銷售統計要求有即時性,馬上能反應出存貨的問題;同時財務管理數據計算當前存貨情況,並對進貨情況進行估算

5.3 適應性:此軟體只在公司內部管理人員的機器上使用,因此不考慮適應性

6. 運行需求

6.1用戶界面:

屏幕格式:

(1)要求有菜單及工具欄以方便操作
(2)各資料庫信息可在屏幕上直接修改
(3)各數據統計結果可在屏幕上顯示
(4)進行系統分析後的結果在另一窗口中顯示

報表格式:

(1)人事管理報表只要求有個人的普通數據
(2)銷售統計報表要求可分別列印當日統計或之前的統計
(3)財務統計報表要求列印出存貨及公司帳務詳表
(4)技術管理報表要求可以分別列印技術檔案總表和任一技術檔案文檔內容菜單格式:要求菜單項大致與WIN95標准相同,另外附加的功能做到新的單項中輸入輸出時間:年份以4位數字表示

6.2硬體介面:需要標准列印機介面進行報表列印

6.3 軟體介面:Windows標准介面

7. 其他需求

可使用性:要求容易使用,界面友好

安全保密性:因本數據屬於公司內部管理用關鍵數據,因此除公司管理人員外,其他人員不得訪問.要求設有登錄密碼檢驗功能,並且此密碼可以在以後進行修改

可維護性:要求本軟體的維護文檔齊全,便於維護

9. 說明四種程序分析方法的作用和優缺點

摘要 https://wk..com/view/ 請您粘貼到瀏覽器進行查看 由於太多字發不出去

10. 審計程序中分析程序是什麼

注冊會計師在審計時，除運用審計抽樣的方法進行符合性測試和實質性測試獲取審計證據外，還可以運用抽查、監盤、觀察、查詢及函證、計算、分析性復核等方法，以獲取充分、適當的審計證據。

注冊會計師通過研究不同財務數據之間以及財務數據與非財務數據之間的內在關系，對財務信息作出評價。分析程序還包括調查識別出的、與其他相關信息不一致或與預期數據嚴重偏離的波動和關系。

目的

1、用作風險評估程序，以了解被審計單位及其環境。

注冊會計師實施風險評估程序的目的在於了解被審計單位及其環境並評估財務報表層次和認定層次的重大錯報風險。在風險評估過程中使用分析程序也服務於這一目的。

2、當使用分析程序比細節測試能更有效地將認定層次的檢查風險降至可接受的水平時，分析程序可以用作實質性程序。

在針對評估的重大錯報風險實施進一步審計程序時，注冊會計師可以將分析程序作為實質性程序的一種，單獨或結合其他細節測試，收集充分、適當的審計證據。

以上內容參考：網路-分析程序