云运维自动化技术实践
在云运维团队担任应用科学实习生期间，Margarida Ferreira探索了程序生成方法，旨在简化DevOps工程师的工作流程。DevOps工程师负责在某中心云平台上配置、操作和管理应用程序，包括部署升级、监控安全性和确保云资源始终处于最佳运行状态。
约束编程实现重复任务自动化
Ferreira采用了一种创新方法简化云系统管理，将程序合成与约束编程相结合来自动化常见任务。程序合成是指从期望行为描述中自动生成编程语言计算机程序的任务，无需程序员手动编码。这种方法旨在通过弥合人类可读术语描述与实现解决方案的实际计算机代码之间的差距，将计算能力带给更广泛的受众。
约束编程技术可以基于特定限制条件自动生成程序脚本。这些脚本通常基于对常见手动任务日志文件的分析，可用于自动化未来任务，例如创建和设置弹性计算云实例。该过程本质上是通过示例或演示来教导计算机自我编程。
程序合成的准确性保证
运维工程师可以从自动化中受益，但他们也需要能够信任任务在后台的加速执行方式。通过使用手动任务的日志文件作为约束条件，程序合成可以创建"自动化运行手册"——一种能够创建程序来自动化云管理任务的脚本，并具有准确性保证。
程序合成以数学证明的形式提供正式保证，逐步展示所创建程序正在执行要求的操作。这种约束编程方法保证运行手册能够提供答案，但仅提供满足约束条件的答案。
研究环境与行业影响
在某中心的科学研究实习鼓励进行可发表的研究工作，这与软件工程实习有所不同。研究过程更类似于学术界，由问题陈述、假设和普遍好奇心驱动。
云运维实习项目的目标是使客户无需编程即可使用某中心产品，通过教导计算机自我编程来实现。程序生成技术的应用有望为数百万日常用户带来实际影响，使计算产品尽可能易于使用。