如何在编程中更好地验证程序？

[quote][url=forum.php?mod=redirect&goto=findpost&pid=5562&ptid=2798]vacumm 发表于 2013-12-10 20:42[/url]
使用断言！！[/quote]

什么是断言呢？能不能犟详细点，怎么用啊？

本帖最后由 vacumm 于 2013-12-10 20:45 编辑

[quote][url=forum.php?mod=redirect&goto=findpost&pid=5562&ptid=2798]vacumm 发表于 2013-12-10 20:42[/url]
使用断言！！[/quote]

在STM32的固件库和提供的例程中，到处都可以见到assert_param()的使用。如果打开任何一个例程中的stm32f10x_conf.h文件，就可以看到实际上assert_param是一个宏定义；在固件库中，它的作用就是检测传递给函数的参数是否是有效的参数。

所谓有效的参数是指满足规定范围的参数，比如某个参数的取值范围只能是小于3的正整数，如果给出的参数大于3，则这个assert_param()可以在运行的程序调用到这个函数时报告错误，使程序员可以及时发现错误，而不必等到程序运行结果的错误而大费周折。

这是一种常见的软件技术，可以在调试阶段帮助程序员快速地排除那些明显的错误。

它确实在程序的运行上牺牲了效率(但只是在调试阶段)，但在项目的开发上却帮助你提高了效率。

当你的项目开发成功，使用release模式编译之后，或在stm32f10x_conf.h文件中注释掉对USE_FULL_ASSERT的宏定义，所有的assert_param()检验都消失了，不会影响最终程序的运行效率。




在执行assert_param()的检验时，如果发现参数出错，它会调用函数assert_failed()向程序员报告错误，在任何一个例程中的main.c中都有这个函数的模板，如下：

void assert_failed(uint8_t* file, uint32_t line)
{
  /* User can add his own implementation to report the file name and line number,
     ex: printf("Wrong parameters value: file %s on line %d\r\n", file, line) */

  while (1)
  {}
}

你可以按照自己使用的环境需求，添加适当的语句输出错误的信息提示，或修改这个函数做出适当的错误处理。
如果你没有空闲的串口，可以用LED啊，这样就能判断程序的状态

目前觉得最好的放方法，串口打印。

[quote][url=forum.php?mod=redirect&goto=findpost&pid=5566&ptid=2798]AOC 发表于 2013-12-10 20:51[/url]
目前觉得最好的放方法，串口打印。[/quote]

前提已经给出了，没有串口可用！

使用断言！！