首页> 外文OA文献 >Programme for automatic verification of algorithms written in C++ programming language
【2h】

Programme for automatic verification of algorithms written in C++ programming language

机译:用于自动验证以C ++编程语言编写的算法的程序

摘要

Testing plays a very important role in the process of software development. Accuracy of the correctly functioning algorithm must be checked, regardless of the developing software process we use. In my thesis I wanted to upgrade or more precisely – to expand ALGator system, so that it would not only verify the accuracy of algorithms functionality written in JAVA programming language, but to also check the functionality of algorithms written in C++ programming language. Our approach is based on a already existing system – ALGator, but we would like to enable equal experience while working on ALGatorC - expanded version of the programme. We would also like to check the same parameters in C++ and JAVA programming languages, so we could be able to compare given results.ud
机译:测试在软件开发过程中起着非常重要的作用。无论我们使用的是开发软件的过程如何,都必须检查功能正确的算法的准确性。在我的论文中,我想进行升级或更精确地讲-扩展ALGator系统,以便它不仅可以验证用JAVA编程语言编写的算法功能的准确性,而且可以检查用C ++编程语言编写的算法的功能。我们的方法基于已经存在的系统-ALGator,但我们希望在开发ALGatorC(程序的扩展版本)时获得平等的经验。我们还希望在C ++和JAVA编程语言中检查相同的参数,因此我们可以比较给定的结果。 ud

著录项

  • 作者

    Golobič Tadej;

  • 作者单位
  • 年度 2015
  • 总页数
  • 原文格式 PDF
  • 正文语种
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号