报告主题：组合测试中的若干离散构型
时间：2023年3月17日13:00-13:45
地点：五教117 /腾讯会议-会议号：984 1292 8754 密码：6666
报告人：史册
报告内容简介：软件系统作为一个复杂逻辑系统，其很多因素都可能会影响它的正常运行。组合测试可以使用较少的测试用例来有效地检测软件系统中各个因素以及他们之间的相互作用对系统产生的影响。近年来，组合测试在软件测试实践中作为一种高效的测试方法得到了组合数学领域和软件工程领域的学者们的广泛重视和关注。本报告介绍组合测试中的几类离散构型，讨论它们的最优性、构造以及存在性结果，并给出进一步的研究问题。
主讲人简介：
史册，男，博士，教授，研究方向为组合数学、试验设计和软件故障诊断。主持完成国家自然科学基金青年项目和上海市自然科学基金面上项目各一项，参与国家级项目2项。校序伦“青年学者”。在统计学《Annals of Statistics》等期刊发表论文27篇，其中SCI检索19篇，EI检索7篇。上海市科学技术奖通讯评审专家，《美国数学评论》评论员，International Association of Engineers（国际工程师协会）会员，出版英文教材一本。