研究：人工智能与软件验证/确认
1 分•作者: bolfe11•8 个月前
我是 Guilherme Bolfe，最近开始攻读软件工程硕士学位。
我正在进行一项研究，旨在了解人工智能 (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!