The Scientific Method and Software Testing Integrated into the Same Lesson

机译：科学方法和软件测试集成到同一课中

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In our poster, we propose a hands-on activity intended to educate students to the notion that neither the claim that a software application is free of a certain bug, nor a scientific hypothesis can be proven. Yet, we can increase our confidence in either's validity by genuine attempts of falsification.

机译：在我们的海报中，我们提出了一项动手活动，旨在教育学生的概念，既不声称软件申请没有某种错误，也可以证明科学假设。然而，我们可以通过真正的伪造企图来增加我们对任何有效性的信心。

著录项

来源
《ACM conference on innovation and technology in computer science education》|2012年||共1页
会议地点
作者
Hanania T. Salzer; Bruria Haberman; Cecile Yehezkel;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算机化教学;
关键词
Software testing; the scientific method; falsification;

机译：软件测试;科学方法;伪造;

相似文献

外文文献
中文文献
专利

1. Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component [J] . Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Software Quality Journal . 2014,第2期

机译：使用基于代码的测试生成器进行软件测试：从带有工业软件组件的案例研究中学到的数据和经验教训
2. Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component [J] . Elliot Jaffe Computing reviews . 2014,第10期

机译：使用基于代码的测试生成器进行软件测试：从带有工业软件组件的案例研究中学到的数据和经验教训
3. A theory-driven testing methodology for developing scientific software [J] . Peter C.R. Laneab* and Fernand Gobet Journal of Experimental & Theoretical Artificial Intelligence . 2012,第4期

机译：理论驱动的科学软件开发测试方法
4. The Scientific Method and Software Testing Integrated into the Same Lesson [C] . Hanania T. Salzer, Bruria Haberman, Cecile Yehezkel Proceedings of the ACM conference on innovation and technology in computer science education . 2012

机译：科学方法和软件测试集成在同一个课程中
5. A Framework for Testing Scientific Software: A Case Study of Testing Amsterdam Discrete Dipole Approximation Software. [D] . Shao, Hongbing. 2016

机译：测试科学软件的框架：测试阿姆斯特丹离散偶极近似软件的案例研究。
6. Book III: Scientific and Research Applications in Medical Care: Software Development Methodologies and the User Software Engineering Methodology [O] . Anthony I. Wasserman 1982

机译：第三本书：医疗领域的科学研究应用：软件开发方法论和用户软件工程方法论
7. A Theory-Driven Testing Methodology for Developing Scientific Software [O] . Peter C. R. Lane 2012

机译：开发科学软件的理论驱动测试方法
8. Scientific Data Management Integrated Software Infrastructure Center (SDM/ISIC): Scientific Process Automation (SPA). Final Report. [R] . Ludascher, B., Altintas, I. 2007

机译：科学数据管理集成软件基础设施中心（sDm / IsIC）：科学过程自动化（spa）。最终报告。

The Scientific Method and Software Testing Integrated into the Same Lesson

摘要

著录项

相似文献

相关主题

期刊订阅