精彩导读

《软件工程》期刊始终以反映软件工程理论、方法和技术创新成果，传播软件知识，推广软件应用为己任，期望可以为促进中国软件工程学科和软件产业发展略尽绵薄之力。

★本期重点推荐论文

无人机本身是一个复杂的机电系统，它是机械、电子、通讯、控制、信息等技术的高度融合体，如何模拟无人机单元是这些系统开发的一个重要课题。本期发表的论文《基于半实物仿真平台的通用无人机系统模拟器设计》提出了基于半实物仿真平台的通用无人机模拟方案，该模拟方案比传统数学模型或数据驱动模型更接近真实系统，更容易模拟各种故障，同时也更容易与真实系统替换，方便系统整体的开发、测试与运行。文中提出的模拟器方案是基于单元模拟的，通过对无人机系统内各个单元的数据交互和通讯协议进行抽象，以真实的接口实现单元之间的数据交互，将无人机飞行模型仿真单元嵌入系统中，实现最大程度接近真机的模拟。结果表明，该模拟方案不但可以用于总体系统的开发和调试，而且对无人机自身的研制、测试等也能起到关键作用。

★优秀期刊及其论文推荐

IEEE Transactions on Software Engineering，简称TSE，中文译为《IEEE软件工程学报》，网址为https：//www.computer.org/csdl/journal/ts，1975年创刊（月刊），由IEEE COMPUTER SOCIETY出版，其2019年的影响因子为6.112，排在计算机科学软件工程领域前列，并被收入《科学引文索引扩展版》（SCIE）。

《IEEE软件工程学报》关注定义明确的理论结果和经验研究，以及这些结果和研究对软件构建、分析或管理的潜在影响，范围从制定原则的机制到将这些原则应用于特定的环境，对软件工程研究或实践者都是很有价值的。

《IEEE软件工程学报》重点主题包括开发和维护方法及模型、评估方法、软件项目管理、工具和环境、系统问题等。它涵盖了软件系统的规范、设计和实现的技术与原则，包括符号和过程模型，软件测试和验证、可靠性模型，生产率因素、成本模型，特定工具、集成工具环境，硬件和软件权衡，等等。

2021年5月发表的“Reusing Solutions Modulo Theories”一文提出了一种复用公式解决方案的方法，它可以减少可满足性模理论（SMT）求解器对符号程序分析可扩展性的影响。SMT求解器虽可以有效地处理相关逻辑理论中的大量表达式，但仍是符号分析（如符号执行和符号模型检查）可扩展性的主要瓶颈。重用以前分析会话中求解公式的证明可以减少SMT求解器的调用量，从而减轻SMT求解器对符号程序分析的影响。早期，重用公式解决方案利用了结构相似公式间的等价关系和包含关系，并严格受限于特定的目标逻辑。作者提出了一种原始方法，该方法重用了许多公式间共享的可满足性和不可满足性证明，而不仅仅是等价的或含义相关的公式。这种方法可以直接跨多种逻辑进行概括。作者通过SMT求解器对五种较为流行逻辑理论的900多万个公式进行实验，结果证明，该方法是有效的，且具有通用性。

《软件工程》期刊会持续为广大读者提供软件工程领域方面的最新学术讯息，欢迎大家繼续支持我刊，我们共同关注软件工程领域的发展动向，努力做好学术研究和交流工作。