weixin_45754699的博客

原创 模型学习笔记

软件系统的质量，尤其是安全和任务关键型系统的正确运行受到极大关注，需要有效的方法来补充现有测试和验证技术的不足。模型学习是一种高效、新兴且前景广阔的技术，可以通过自动化提供黑盒系统的学习模型来补充现有的测试和验证技术。尽管如此，该领域仍处于早期发展阶段，也面临着一些挑战。例如，随着互联网和通信技术的发展，网络协议变得越来越复杂。模型学习技术需要支持更加复杂的协议模式：现实世界的许多场景涉及多个参与方，模型学习技术需要解决多方参与导致更加繁琐复杂的通信和交互情况。