• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems(TestCom 2005); 20050531-0602; Montreal(CA) >The Epistemology of Validation and Verification Testing
【24h】

The Epistemology of Validation and Verification Testing

机译：验证与验证测试的认识论

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We wish to be able to give formal definitions (in the sense of science or engineering) for concepts like requirements validation and for the relationship between a requirements specification and an abstract design of the intended system. Ditto validation of designs and the final executable application with respect to the original "application concept", on the one hand, and the requirement specification, on the other. We have been developing a framework based on the work of the logical empiricists and other analytic philosophers over the last 80 years to support our understanding of software engineering concepts. Recent developments (dating from the 80s)in the area of "confirmation" (of a hypothesis concerning a theory by some (experimental) evidence) promises to illuminate some of these problematic concepts. In this talk we address the problem of establishing the very relation between requirement specifications and scenarios, as used, for example, in UML. The same framework can also be applied to the problem of testing implementations against designs, so called verification testing.
机译：我们希望能够为诸如需求验证之类的概念以及需求规范与预期系统的抽象设计之间的关系给出正式定义（从科学或工程意义上来说）。一方面针对原始“应用程序概念”，另一方面针对需求规范，对设计和最终可执行应用程序进行同等验证。在过去的80年中，我们一直在基于逻辑经验主义者和其他分析哲学家的工作来开发框架，以支持我们对软件工程概念的理解。 （从80年代开始）在“确认”（一些（实验）证据关于理论的假设）领域的最新发展有望阐明其中一些有问题的概念。在本次演讲中，我们解决了在需求规范和场景之间建立真正联系的问题，例如在UML中使用的。相同的框架也可以应用于针对设计测试实现的问题，即所谓的验证测试。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号