因为有错，所以容错

近日，有幸参加了全国容错计算学术会议，会议通过高质量的前沿技术报告、学术报告、专题讨论等形式，就容错计算技术的研究进展和发展趋势开展广泛、深入的学术交流。会议共有1篇主题报告、5篇大会报告、64篇论文报告和六个技术论坛，内容覆盖容错计算理论、硬件容错、软件容错、系统容错、网络容错、可信计算和硬件安全等多个方面。

大会主题报告是清华大学郑纬民教授做的高容错存储系统。本科就用郑教授编写的教材，当面聆听讲授还是第一次。不愧是全国教学名师，上台十分谦虚，和蔼可亲，讲起来知识渊博，条分缕析，把国际领先的技术成果介绍得浅显易懂，连我这种学术门外汉都基本听懂了。郑教授介绍了一种纠错码计算量消减方法，针对任意给定的纠删码配置参数，能够给出高效的生成矩阵和计算调度。郑教授年届七十，声音洪亮，讲到兴起时不用麦克风，三百人的大会堂，居然声音传遍各个角落。上月郑教授进入院士增选第二轮，祝老爷子好运。

大会报告里印象最深的是某实验室介绍了1.5亿固投资金的建设设想。不仅仅是1.5亿让人流口水，更重要的是用更长远的眼光、站在更高的层次，去思考实验室的发展路线，从软件质量、软件测评、软件工程等职能，从管理体系、基础能力等方面，完善覆盖全生命周期、从器件级到系统级到体系级无缝测评能力，形成故障检测-故障预测-健康管理的试验体系，最终实现软件测评-系统验证-产品认证的业务方向演化。

论文报告和论坛内容精彩纷呈，特别是软件场持续爆满，水泄不通。相对而言，我更喜欢工业界各位大咖的实践经验和思考探索。韩柯老师结合机载设备安全性要求场景标准CCAR25.1309标准讲述了场景设计的评价准则、层次；杨玲萍老师重点讲述了泛在网模式下信息系统软件的敏捷测试，无论测试思维怎么改变、技术怎么更新，依然要进行有效的测试分析和测试设计，要具有探索性的测试思维。惠战伟老师针对测试oracle问题，阐述了蜕变测试技术在装备软件测试中的应用，这是我跟踪蜕变测试四五年以来，首次看到在装备软件领域有如此深入的应用。刘畅老师一如既往的波澜不惊，其讲座十听不厌，还介绍了一个很好的公众号“星海征程”，里面的技术素材很多。刘奕宏老师讲述了依据IEC61508、EN50128标准进行软件功能安全的评估与验证的重点方面，邱枫老师介绍了航天领域高可靠软件测试验证的现状与发展思考。

正像郑纬民教授在大会主题报告中讲的一样，错误不可避免，那么容错措施就十分必要。我国容错计算研究一直按两条线发展：测试和容错。软件可靠性无论从容错计算、软件工程方面看，近二十年都受到极大关注，也取得了很多优秀的成果。