Scholarlink

System verificationVerification is used to check that the system has been built in accordance with its requirements. In executing a verification strategyVerification strategy, each verificationVerification activity produces certain information artifacts that are then used as evidence in the assessment of the compliance of the system against its requirements. The process of reasoning through verificationVerification artifacts is cognitive and subjective, as the engineer combines their knowledge and expertise along with the information available in the evidence collected through verificationVerification activities. Through an experimental study, this paper shows that engineering students, when formally articulating the justification to declare the compliance of a system, do not explicitly express some key information in their mental model to justify compliance.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Hidden Beliefs in Verification Decisions: An Experimental Study with Aerospace Engineering Students

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Joanna Joseph,
  • Alejandro Salado

摘要

System verificationVerification is used to check that the system has been built in accordance with its requirements. In executing a verification strategyVerification strategy, each verificationVerification activity produces certain information artifacts that are then used as evidence in the assessment of the compliance of the system against its requirements. The process of reasoning through verificationVerification artifacts is cognitive and subjective, as the engineer combines their knowledge and expertise along with the information available in the evidence collected through verificationVerification activities. Through an experimental study, this paper shows that engineering students, when formally articulating the justification to declare the compliance of a system, do not explicitly express some key information in their mental model to justify compliance.