如何查找PCB设计过程中的软件缺陷
0 2022-09-27

本文将介绍如何避免那些隐蔽然而常见的错误,并介绍的几个技巧帮助工程师发现软件中隐藏的错误。大部分软件开发项目依靠结合代码检查、结构和功能测试来识别软件缺陷。尽管这些传统技术非常重要,而且能发现大多数软件问题,但它们无法检查出当今复杂系统中的许多共性错误。

结构测试或白盒测试能有效地发现代码中的逻辑、控制流、计算和数据错误。这项测试要求对软件的内部工作能够一览无遗(因此称为\“白盒\”或\“玻璃盒\”),以便了解软件结构的详细情况。它检查每个条件表达式、数学操作、输入和输出。由于需要测试的细节众多,结构测试每次检查一个软件单元,通常为一个函数或类。

代码审查也使用与实现缺陷和潜在问题查找同样复杂的技术。与白盒测试一样,审查通常针对软件的各个单元进行,因为一个有效的审查过程要求的是集中而详尽的检查。

与审查和白盒测试不同,功能测试或黑盒测试假设对软件的实现一无所知,它测试由受控输入所驱动的输出。功能测试由测试人员或开发人员所编写的测试过程组成,它们规定了一组特定程序输入对应的预期程序输出。测试运行之后,测试人员将实际输出与预期输出进行比较,查找问题。黑盒测试可以有效地找出未能实现的需求、问题、性能问题和程序最常用功能中的错误。

虽然将这些技术结合起来可以找出隐藏在一个特定软件程序中的大部分错误,但它们也有局限。代码审查和白盒测试每次只针对一小部分代码,忽视了系统的其它部分。黑盒测试通常将系统作为一个整体来处理,忽视了实现的细节。一些重要的问题只有在集中考察它们在整个系统内相互作用时的细节才能被发现;传统的方法无法可靠地找出这些问题。必须整体地检查软件系统,查找具体问题的特定原因。由于详尽彻底地分析程序中的每个细节和它与代码中所有其它部分之间的相互作用通常是不大可能的,因此分析应该针对程序中已经知道可能导致问题的特定方面。

如何查找PCB设计过程中的软件缺陷

本文将探讨其中三个潜在的问题领域:

* 堆栈溢出

* 竞争条件

* 死

读者可在网上阅读本文的第二部分,它将探讨下列问题:

* 时序问题

* 可重入条件

在采用多任务实时设计技术的系统中,以上所有问题都相当普遍。

堆栈溢出

处理器使用堆栈来临时变量、向被调函数传递参数、保存线程“状态”,等等。如果系统不使用虚拟内存(换句话说,它不能将内存页面转移到磁盘上以释放内存空间供其它用途),堆栈将固定为产品出厂时的大小。如果由于某种原因堆栈越出了编程人员所分配的数量范围,程序将变得不确定。这种不稳定可能导致系统发生严重故障。因此,确保系统在最坏情况下能够分配到足够的堆栈至关重要。

确保永不发生堆栈溢出的唯一途径就是分析代码,确定程序在各种可能情况下的最大堆栈用量,然后检查是否分配了足够的堆栈。测试不大可能触发特定的瞬时输入组合进而导致系统出现最坏情况。

堆栈深度分析的概念比较简单:

1. 为每个独立的线程建立一棵调用树。

2. 确定调用树中每个函数的堆栈用量。

3. 检查每棵调用树,确定从树根到外部“树叶”的哪条调用路径需要使用的堆栈最多。

4. 将每个独立线程调用树的最大堆栈用量相加。

5. 确定每个中断优先级内各中断服务程序(ISR)的最大堆栈用量并计算其总和。但是,如果ISR本身没有堆栈而使用被中断线程的堆栈,则应将ISR使用的最大堆栈数加到各线程堆栈之上。

6. 对于每个优先级,加上中断发生时用来保存处理器状态的堆栈数。

7.如果使用,则加上RTOS自身内部用途需要的最大堆栈数(与应用代码引发的系统调用不同,后者已包含在步骤2中)。

除此之外,还有两个重要事项需要考虑。首先,仅仅从高级语言源代码建立的调用树很可能并不完善。大部分编译器采用运行时库(run-me library)来优化常用计算任务,如大值整数的乘除、浮点运算等,这些调用只在编译器产生的汇编语言中才可见。运行时库函数本身可能使用大量的堆栈空间,在分析时必须将它们包括进去。如果使用的是语言,则以下所有类型的函数(方法)也都必须包含到调用树内:结构器、析构器、重载运算符、复制结构器和转换函数。所有的函数指针也都必须进行解析,并且将它们调用的函数包含进分析之中。

声明: 本文转载自其它媒体或授权刊载,目的在于信息传递,并不代表本站赞同其观点和对其真实性负责,如有新闻稿件和图片作品的内容、版权以及其它问题的,请联系我们及时删除。(联系我们,邮箱:evan.li@aspencore.com )
0
评论
  • 相关技术文库
  • PCB
  • pads
  • protel
  • Altium
  • 石英晶振在电脑主板中的作用

    石英晶振在电脑主板中的作用晶振一般叫做晶体谐振器,是石英晶体振荡器(Quartz Crystal Oscillator)的简称。主要用于稳定和选择频率。晶振和时

    前天
  • 晶振要如何焊接

    晶振有哪些因素会致使其损坏1:生产过程种有摔落现象,意思是只晶振造成外界的过大冲击力,因为晶振晶片比较薄,需要轻拿轻放。2:晶振焊接到线路板上时候可能焊接温度过

    前天
  • 电路板上二极管上的型号如何确定

    作为电路板上的二极管可以有四种方法确定它们的型号。第一种方法是看拆下二极管上的标识型号一般二极管在出厂时都会在其表面上印有其型号或者名称,比如有的二极管标有IN

    11-28
  • PCB设计中要不要去死铜?

    class="markdown_viewsprism-kimbie-light">PCB死铜也叫PCB孤岛,是指在PCB中孤立无连接的铜箔,一般都是在铺铜

    11-24
  • PCB线路与基材平齐制作工艺开发

    常规PCB的线路是突起于基材的,但也有些客户要求线路与基材介质尽可能平齐,降低线路突出裸露的程度。这类产品的特点通常为厚铜,且线宽线距都较大,需要对线路进行介质

    11-24
  • Altium designer实践总结

    这几天都在帮学姐画一块编码器的板子,完整的完成了一次从原理图到送制版PCB的过程。在此记录几个遇到的问题和一些操作的记录,真的是记不住,用一次查一次,以后回这里

    11-24
  • 双联电位器接线方法

    双联电位器双联电位器简单来说就是有两个三脚电位器构成,电位器是具有三个引出端、阻值可按某种变化规律调节的电阻元件。双联电位器接线方法1、首先一般电位器接线操作首

    11-23
  • PCB的不得不说的设计经验

    [导读]1、如果设计的电路系统中包含FPGA器件,则在绘制原理图前必需使用Quartus II软件对管脚分配进行验证。(FPGA中某些特殊的管脚是不能用作普通I

    11-22
  • 解析PCB多层板层压的品质工艺技术

    由于电子技术的飞速发展,促使了印制电路技术的不断发展。PCB板经由单面-双面一多层发展,并且多层板的比重在逐年增加。多层板表现在向高*精*密*细*大和小二个极端

    11-22
  • Allegro软件中怎么指定封装库路径及其代表的含义

     一般我们会在Allegro软件中指定这几个与封装库有关的路径。第一步,点击Allegro软件的Setup命令的最后一项UserPreferences...,如

    11-22
  • orcad软件中,按页面的方式有规律的对器件位号进行编排?

    第一步,选中整个原理图的根目录,然后执行菜单Tools-Annotate,如图3-56所示,进行原理图选项的编辑;图3-56 原理图进行编译示意图第二步,然后对

    11-22
下载排行榜
更多
广告