研究：人工智能与软件验证/确认
我是吉尔赫尔梅·博尔费，最近开始攻读软件工程硕士学位。
我正在进行一项研究，旨在了解人工智能（AI）和语言模型（LLMs）如何被用于支持软件验证与确认（V&V）活动——无论是在工业界还是学术界的概念验证中。
* 如果您从事软件开发、测试、质量保证或相关领域的工作，您的经验将极大帮助我们绘制以下内容：
* 已在使用的工具
* 感知的好处（生产力、质量、节省时间等）
* 遇到的挑战和局限性
* 您对AI在V&V领域未来的看法
这项调查很简短（5-10分钟），完全匿名，您的回答将被保密：
[参与调查] https://forms.gle/XCxpzt6Par4XHR37A
非常感谢您的时间和帮助！请随意与同行分享——这将产生巨大的影响！
查看原文
I’m Guilherme Bolfe, and I recently started my Master’s in Software Engineering.<p>I’m conducting a research study to understand how Artificial Intelligence (AI) and Language Models (LLMs) are being used to support software Verification and Validation (V&V) activities — both in industry and in academic proof-of-concepts.<p>* If you work in software development, testing, quality assurance, or related fields, your experience could greatly help us map:<p>* Tools already in use<p>* Perceived benefits (productivity, quality, time savings, etc.)<p>* Challenges and limitations encountered<p>* How you see the future of AI in V&V<p>The survey is quick (5–10 min), completely anonymous, and your answers are confidential:<p>[Take the survey] https://forms.gle/XCxpzt6Par4XHR37A<p>I really appreciate your time and help
Feel free to share this with colleagues in the field — it makes a huge difference!