程序分析方法

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、当使用分析程序比细节测试能更有效地将认定层次的检查风险降至可接受的水平时，分析程序可以用作实质性程序。

在针对评估的重大错报风险实施进一步审计程序时，注册会计师可以将分析程序作为实质性程序的一种，单独或结合其他细节测试，收集充分、适当的审计证据。

以上内容参考：网络-分析程序