2005年6月30日下午, YOCSEF长沙在长沙国防科技大学计算机学院学术报告厅举行主题为“软件可靠性与测试”的报告会，这是YOCSEF长沙2005年举行的第一次活动。长沙地区的委员以及对该主题感兴趣的老师和同学济济一堂，整个学术报告厅爆满。会议邀请了美国University of Texas at Dallas副教授Eric Wong 博士、北京航空航天大学长江特聘教授蔡开元博士和国防科技大学长江特聘教授朱鸿博士进行特邀演讲，国防科技大学教授、CCF软件工程专委会副主任、YOCSEF长沙学术委员会委员王戟博士和国防科技大学教授、YOCSEF长沙学术委员会主席王意洁博士担任会议的主持。

王戟博士首先向大家介绍Eric Wong 博士，随后Eric Wong 博士做了题为“软件设计规约的测试与诊断”（Testing and Diagnosis of Software Design Specifications）的报告，报告重点介绍了其近几年的主要研究方向，并且探讨了相关领域的一些细节问题，主要内容是：统计数据表明：在软件开发过程早期发现故障，能够显著减少费用。另外，为了改进从体系结构设计规格说明出发自动生成代码这一技术，更需要从一开始就具备一个高度可靠的系统设计。为此，必须尽早预测并改善系统质量。本次报告着重于如何将基于源代码的技术扩展到软件设计规格说明层，以达到更加有效的规格说明验证和维护。另外还将讨论一种新方法，用于从设计模型中构建一个小的有效测试序列集，以满足某些结构覆盖要求。这些方法不仅可以用于强调规格说明和实现之间一致性的测试，还可用于验证设计规格说明本身。

蔡开元博士做了题为“软件可靠性实验研究”的报告，报告介绍了他最近三年的主要研究工作以及研究工作中面临的问题和困惑，蔡博士严谨的工作作风和科学的研究精神得到了与会者的掌声。蔡博士最后针对自己面临的困惑，结合亲身经历发出了“现有科学方法适用于软件吗？”、“软件规律蕴涵于大量的软件观测数据吗？”、“如何证明软件行为的随机性？”以及“软件可靠性研究是个正确的发展方向吗？”等问题。国防科技大学的文职将军齐治昌教授以及与会的学生与其进行了科学实验的随机性和传统科学研究方法普适性方面的讨论。

最后，朱鸿博士作了题为“构件化软件集成测试”的报告，在报告之后的自由提问期间，有一位与会代表提出的关于“公理测试的套路”和“测试效率”方面的问题被朱鸿博士评价为“very good questions”，朱鸿博士给出了极为细致和谦虚的解答。总之各位专家不仅在其专业领域的研究工作和进展给大家很大的启发，他们严谨的科学研究态度同样令人折服。

会议结束后，YOCSEF长沙的主席王意洁博士代表YOCSEF向特邀报告专家赠送了纪念品。 

（周婧供稿2005.7.1）