在安全攸关系统中，如自动驾驶控制系统、航空航天控制系统、核反应堆控制系统、电力设备控制系统，这些系统中的软件功能或性能问题可能导致灾难性后果，软件测试验证也被广泛应用于这类系统的分析，保证系统的正确性。然而，传统的软件测试验证研究大多聚焦在应用软件的分析上，忽视了底层系统软件的建模和分析。系统软件为应用提供必要的运行基础，包含操作系统、中间件、数据库管理系统、协议、容器等，具有重要的支撑作用。系统软件的运行机制复杂、代码规模庞大，传统的测试验证方法，在系统软件上，对性能和功能等缺陷的分析效率和效果受到极大制约。
本专刊“系统软件测试验证”针对操作系统、数据库、协议、容器等系统软件的功能、性能等问题，关注系统软件分析、测试、验证和演化等过程的技术方法，针对学术和产业面临的难题、挑战和瓶颈，征集国内外研究人员在软件测试验证等方面，取得的理论、技术方法突破和具有创新性、影响力的高水平研究成果，实现系统软件多维度多手段的深度分析，为相关研究者和实践者提供发表最新成果的学术交流平台。
通过第一轮评审的论文作者需要参加ChinaSoft2023会议并到会进行论文报告，之后特约编辑和编辑部根据复审情况和会议报告情况决定文章的最终结果，专刊将在2024年出版。欢迎相关领域的专家学者及科研人员踊跃投稿。
一、征文范围
包括但不限于以下主题：
1. 系统软件测试和验证
2. 系统软件分析、调试和理解
3. 系统软件漏洞挖掘
4. 系统软件的故障定位和修复
5. 系统软件维护和演化
6. 系统软件配置
7. 系统软件质量保障的评测集、工具和实证研究
8. 复杂软件系统质量评估模型和技术
9. 复杂软件系统质量的智能化增强
二、投稿要求
稿件类型：
（1）原创性研究论文
（2）高质量综述论文
投稿要求：
（1）投稿方式：首先要向中国软件大会ChinaSoft2023投稿，具体查看《计算机学报》的投稿要求，投稿网站请见https://easychair.org/conferences/?conf=chinasoft2023，选择“系统软件测试验证”专刊。
（2）投稿格式：论文格式符合《计算机学报》的要求(http://cjc.ict.ac.cn)。
（3）来稿内容应属于作者的科研成果，数据真实、可靠，未公开发表过；引用他人成果已注明出处；署名无争议；是有创新学术见解的研究成果的完整论述，对该学术领域的发展有积极意义。
（4）论文语言流畅，可读性强，表述清楚、条理，无逻辑、语法错误，审稿人审理时无阅读、理解障碍。论文语言流畅，可读性强，表述清楚、条理，无逻辑、语法错误，审稿人审理时无阅读、理解障碍。
（5）通过第一轮评审的论文作者，需要在ChinaSoft2023上进行论文报告。根据论文修改情况和会议报告情况，确定是否推荐至《计算机学报》进行第二轮评审。通过《计算机学报》评审的论文将在该期刊发表。
三、重要日期
第一阶段：ChinaSoft会议投稿
ChinaSoft截稿时间：2023年9月1日（延期到2023年9月15日）
结果通知日期：2023年10月20日
修改稿提交时间：2023年11月10日
ChinaSoft 2023会议时间：2023年12月1-3日
会议报告后修改稿提交时间：2023年12月20日
第二阶段：期刊推荐
推荐稿提交时间：2023年12月30日
审稿结果通知时间：待定
出版期次：2024年（期数待定）
四、特约编辑
田聪，西安电子科技大学，ctian@mail.xidian.edu.cn
卜磊，南京大学，bulei@nju.edu.cn
李姗姗，国防科技大学，shanshanli@nudt.edu.cn
姜宇，清华大学，jiangyu198964@126.com