软件工程 静态测试的主要方法有哪些

（1）人工检测：是指不依靠计算机而是靠人工审查程序或评审软件，包括代码检查、静态结构分析和代码质量度量等；

（2）计算机辅助静态分析：利用静态分析工具对被测试程序进行特性分析，从程序中提取一些信息，以便检查程序逻辑的各种缺陷和可疑的程序构造。

静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。

扩展资料：

代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。

在实际使用中，代码检查比动态测试更有效率，能快速找到缺陷，发现30%～70%的逻辑设计和编码缺陷；代码检查看到的是问题本身而非征兆。但是代码检查非常耗费时间，而且代码检查需要知识和经验的积累。

代码检查应在编译和动态测试之前进行，在检查前，应准备好需求描述文档、程序设计文档、程序的源代码清单、代码编码标准和代码缺陷检查表等。静态测试具有的发现缺陷早、降低返工成本、覆盖重点和发现缺陷的概率高的优点以及耗时长、不能测试依赖和技术能力要求高的缺点。

第一步，用编辑程序把编制的源程序按照一定的书写格式送到计算机中，编辑程序会根据使用人员的意图对源程序进行增、删或修改。

第二步，把送入的源程序翻译成机器语言，即用编译程序对源程序进行语法检查并将符合语法规则的源程序语句翻译成计算机能识别的“语言”。如果经编译程序检查，发现有语法错误，那就必须用编辑程序来修改源程序中的语法错误，然后再编译，直至没有语法错误为止。

第三步，使用计算机中的连接程序，把翻译好的计算机语言程序连接起来，并扶植成一个计算机能真正运行的程序。在连接过程中，一般不会出现连接错误，如果出现了连接错误，说明源程序中存在子程序的调用混乱或参数传递错误等问题。这时又要用编辑程序对源程序进行修改，再进行编译和连接，如此反复进行，直至没有连接错误为止。

第四步，将修改后的程序进行试算，这时可以假设几个模拟数据去试运行，并把输出结果与手工处理的正确结果相比较。如有差异，就表明计算机的程序存在有逻辑错误。如果程序不大，可以用人工方法去模拟计算机对源程序的这几个数据进行修改处理；如果程序比较大，人工模拟显然行不通，这时只能将计算机设置成单步执行的方式，一步步跟踪程序的运行。一旦找到问题所在，仍然要用编辑程序来修改源程序，接着仍要编译、连接和执行，直至无逻辑错误为止。也可以在完成后再进行编译。

protected void onProgressUpdate(Integer progress) {

// setProgressPercent(progress[0]);

}

protected void onPostExecute(Long result) {

// showDialog("Downloaded " + result + " bytes");

}

}

以上就是关于软件工程 静态测试的主要方法有哪些全部的内容，包括:软件工程 静态测试的主要方法有哪些、程序调试的步骤、fortran怎么检查abaqus子程序语法等相关内容解答，如果想了解更多相关内容，可以关注我们，你们的支持是我们更新的动力！