0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看威廉希尔官方网站 视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

如何正确使用断言八个技巧

GReq_mcu168 来源:未知 作者:胡薇 2018-05-10 10:19 次阅读

技巧1:记住ASSERT的定义

对许多开发人员来说,断言是一个令人困惑的话题,因为它们的许多使用方式与其设计初衷背道而驰。我见到的最清晰的断言定义是这样的:

“断言是在程序某个特定点的一个布尔表达式,除非程序中有缺陷(Bug),否则它的值将为真。”

想要理解上述断言定义的开发人员应该留意下面三个要点:

·断言会评估一个表达式是真还是假

·断言是在代码中的某个点对系统状态的一种假设

·断言会验证系统假设,如果不为真,就表明代码中有一个缺陷

技巧2:使用ASSERT验证函数的先决条件

断言非常适合契约式设计环境,在这种环境中,开发人员非常清晰地定义了某个函数的先决条件。断言可以用来检查该函数的输入是否满足先决条件。就拿图1所示的代码片段为例:

图1:函数的先决条件

函数的State输入应该在定义的系统状态范围内。如果State不是有效的状态值,那么它就不是错误,而是缺陷!断言可以用来验证State是有效的假设,如图2所示:

图2:对函数先决条件应用断言

在State不小于最大值的事件中,断言表达式将被评估为假,程序于是将停止执行。停止程序执行可以让开发人员很容易马上看到哪里的代码出错,而不是过段时间以后才知道。

技巧3:使用ASSERT验证函数的后置条件

断言也能用来验证契约式设计环境中对某个函数输出的假设。例如,如果前面定义的System_StateSet函数返回SystemState变量,开发人员可以预计它也在期望的范围之内。断言可以用来对缺陷进行监视,如图3所示。

图3:对函数后置条件应用断言

开发人员在查看上述代码后可能会感到这些检查毫无意义。刚刚才设置好的SystemState怎么就会出现大于SYSTEM_STATE_MAX的值呢?答案是这确实不应该出现,然而有时候会莫名其妙地发生改变,也许是通过中断或并行线程,此时断言可以立即标志出这个缺陷。

技巧4:不要把ASSERT用于错误处理

在记住断言定义之后,开发人员应该切记:断言是用于检测缺陷的,不能用于错误处理。错误处理是设计用于响应错误的用户输入和意外的事件顺序的软件。错误在系统中预料是会发生的,但仅仅是因为有无效的输入而并不意味着代码中有缺陷。错误处理应该与缺陷寻找分开来。错误使用断言的一个典型例子是,在试图打开一个文件用于读取时去检查文件的指针,如图4所示。

图4:ASSERT的不当使用

读者可以清楚地看到,试图打开文件的结果与文件系统的状态和用户数据有关,而与代码中的缺陷一点关系也没有。开发人员应该编写错误处理程序,而不是用断言,以便在文件不存在时,错误处理程序可以用一些默认可用数据来创建它,以便后续代码继续操作。

技巧5:ASSERT仅对开发有意义,不能用于生产

开发ASSERT宏的原始意图是在开发过程中启用它,在后面生产时要禁用。可以用NDEBUG宏激活和禁用ASSERT。正确实施的断言在被禁用后应该对嵌入式系统基本没有影响。

问题是,如果测试是在断言启用的情况下进行的(为了捕捉任何缺陷,应该这样做),那么现在禁用断言将导致交付的产品与测试的产品处于不同的状态。断言确实会占用一些代码空间,但更重要的是,它们需要占用少量的时钟周期来评估它们的布尔表达式。禁用ASSERT可能对具有有限资源的裸机系统的执行时序产生很大影响,从而导致在生产系统中产生新的缺陷。开发团队需要判断是否值得冒关闭断言的风险。

一种替代方案是保留断言在激活状态,而将它们的输出重定向到一个系统日志。这样可以确保任何挥之不去的缺陷很容易被识别,而且能避免中止系统的运行,而中止系统可不是明智之举。

技巧6:不允许断言有副作用

ASSERT的默认实现允许开发人员包含一段可执行代码作为布尔表达式的一部分。举例来说,一个状态变量可以被实现为表达式的一部分并传递给ASSERT。但如果传递给ASSERT的表达式有副作用,也就是说,它会改变嵌入式系统的状态,那么禁用断言将改变系统的行为。开发人员应该确保他们的表达式没有副作用,否则他们需要冒险在系统中增加只针对产品代码唤醒的休眠时间缺陷。

技巧7:断言应该占代码的1%至3%

每个开发人员对于代码库(Code Base)中应该有多少个断言都有自己的主见。大家一致同意的一个数字是,代码库中的断言占比应该大于0。断言为开发人员提供了一种在代码库中发生缺陷的时刻发现它的好方法。调试是在开发嵌入式系统中最浪费时间并令人沮丧的事情之一。不管开发人员认可的占比是1%、3%还是5%,使用断言肯定对你有利,并会使开发嵌入式软件变得多少有些趣味。

技巧8:将断言用作可执行代码注释

断言可以生成极好的注释!编写出色的表达式可以确切地告诉开发人员在代码的某个给定点应该预料发生什么事情。开发人员应该做好他们断言的架构,帮助人们更清楚地理解系统中发生的事情,进而帮助减少缺陷。

小结

断言是一种出色的工具,但有太多的嵌入式软件开发人员忽视了这一工具。本文讨论的八个技巧只是如何正确使用断言的冰山一角。接下来读者就可以在测试平台中建立和开始使用断言,并研究它们在实际的嵌入式系统中是如何工作的。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 断言
    +关注

    关注

    0

    文章

    8

    浏览量

    6691
  • ASSERT
    +关注

    关注

    0

    文章

    17

    浏览量

    7240

原文标题:在C语言中用ASSERT调试的八个技巧

文章出处:【微信号:mcu168,微信公众号:硬件攻城狮】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    PLC梯形图编程八个必须步骤

    文章将向您简单介绍PLC梯形图编程八个必须步骤。
    发表于 03-24 10:23 7964次阅读

    USB的八个问题和答案

    本帖最后由 eehome 于 2013-1-5 09:45 编辑 USB的八个问题和答案
    发表于 07-27 10:57

    24L01八个引脚的怎么识别

    24L01八个引脚的怎么识别?????????????
    发表于 02-17 15:38

    labview八个项目

    下面的资料会丝毫不缺的给大家发到邮箱资料一:资料二:下面的八个项目都会给大家带上的我们的工具包,全部支持我们的2012版软件下面的例程都会给大家带上的需要的话 qq:271604202
    发表于 03-17 14:48

    verilog串并转换,串行输入八个12位的数据,请问如何将这八个12位的数据并行输出?

    串行输入八个12位的数据,请问如何将这八个12位的数据并行输出?
    发表于 04-01 12:41

    八个智能家居的设计资料,错过绝对后悔

    八个智能家居的设计资料,错过绝对后悔
    发表于 12-23 07:36

    有关域名知识八个问题

    有关域名知识八个问题 什么是域名?    Internet域名是Internet网络上的一服务器或一网络系统的名字,在全世界,没有重
    发表于 01-27 10:07 584次阅读

    有关域名的不可不t知的八个问题

    有关域名的不可不t知的八个问题 了解域名的相关知识,下面有关域名的八个经典问题,将会有助于你了解域名相关问题。  
    发表于 02-23 13:50 738次阅读

    轻松高效地设置PCB设计约束的八个步骤

    轻松高效地设置 PCB 设计约束的八个步骤
    发表于 01-06 14:49 0次下载

    确保PCB设计成功的八个步骤

    确保——PCB的设计成功的必要的八个步骤
    发表于 01-06 14:46 0次下载

    确保 PCB 设计成功的八个步骤

    设计过程中,确保 PCB 设计成功的八个步骤
    发表于 05-24 17:12 0次下载

    轻松高效地设置PCB设计约束的八个步骤

    轻松高效地设置 PCB 设计约束的八个步骤
    发表于 05-11 16:44 0次下载

    PCB布线的八个经典问答

    PCB布线的八个经典问答,学习资料,感兴趣的可以看看。
    发表于 10-26 15:28 0次下载

    可设置八个闹时的智能时钟

    可设置八个闹时的智能时钟
    发表于 01-08 14:14 5次下载

    八个开关 输入输出只有Proteus图

    Proteus八个开关输入输出
    发表于 12-30 16:50 0次下载