5月30日上午，应学科建设与发展规划处、365英国上市网站官网和安徽省认知行为智能计算与应用工程研究中心的邀请，常州工学院马艳芳教授在工科楼B307学术研讨室做了题为“构件化软件可信度量研究进展与未来趋势”的报告。报告会由计算机科学与技术学院副院长葛方振教授主持，学院相关领域教师及研究生参加了报告会。

马艳芳教授围绕“构件化软件可信度量研究进展与未来趋势”展开深入讲解。报告从当前可信软件的研究现状出发，介绍了可信度从产品与过程两个维度的度量方法。随后，报告聚焦构件化软件的发展问题，指出在构件定义不统一、依赖复杂的背景下，构件可信性面临诸多挑战。针对这一问题，研究提出了基于源码的构件可信性规范模型与度量优化工具模型，为从源代码层面提升软件系统的可信性提供了技术路径。

报告会后，马艳芳教授与现场师生进行了深入交流，对提出的问题进行了详细的解答。通过此次报告会，参会师生对构件化软件可信度量研究有了更深入的了解，现场气氛活跃，交流充分，大家受益良多。

（文图：段亚西 /审核：肖建于/审校：葛方振/终审：王晶 肖建于）

报告人简介：马艳芳，中共党员，博士，教授，硕士生导师，研究方向为软件理论与可信人工智能。现为中国计算机学会嵌入式系统专委会委员、形式化方法专委会委员，中国人工智能学会离散智能计算专委会委员、人工智能逻辑专委会委员。主持完成国家自然科学基金项目一项、省自然科学基金项目3项、省高校自然科学研究重点项目2项。在《计算机学报》、《计算机研究与发展》、JCST等国内外期刊公开发表论文40余篇，授权发明专利3项。