首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  完全免费   1篇
  自动化技术   9篇
  2017年   1篇
  2011年   1篇
  2009年   1篇
  2007年   2篇
  2005年   1篇
  2004年   2篇
  2003年   1篇
排序方式: 共有9条查询结果,搜索用时 31 毫秒
1
1.
μC/OS—Ⅱ内核在80C51系列单片机上的移植   总被引:1,自引:0,他引:1  
介绍了一种实时操作系统—μC/OS-Ⅱ的内核结构,分析了它的移植技术;讨论了将其移植到80c51系列单片孽孳件平台上的关键技术,并详细描述了此移植的实现过程,分析了移植测试实验情况;针对keilCx51编译器环境下的一些特殊情况进行了说明,并总结了移植的一般方法。  相似文献
2.
介绍了一种实时操作系统——uC/OS-II的内核结构,分析了它的移植技术;讨论了将其移植到80C51系列单片机硬件平台上的关键技术,并详细描述了此移植的实现过程,分析了移植测试实验情况;针对keil Cx51编译器环境下的一些特殊情况进行了说明,并总结了移植的一般方法。  相似文献
3.
何群  陈英  周激流 《计算机工程》2005,31(14):99-101,166
提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C 编译器测试用例自动生成的手段和方法,阐述了。O_OCTT设计与实现过程中的关键技术。  相似文献
4.
何群 《计算机工程》2004,30(20):95-97
软件测试自动化是为了提高测试效率,缩短软件开发周期,降低测试成本。Ctcgen对比验证测试模式使测试更加全面且容易实现测试过程自动化,用随机的思想和算法,代替“穷举”方法解决证明正确性的问题。  相似文献
5.
针对面向对象语言编译器测试工具(O_OCTT)顶层设计的方法进行研究。O_OCTT的主要功能是测试用例的生成,由于当前的O_OCTT不具有可移植性和可复用性,增加了O_O编译器的开发成本。论文基于构件组装技术,提出了采用O_O方法解决O_OCTT自动生成测试用例的软件复用问题,描述了测试用例的覆盖准则,并重点讨论了采用O_O技术的测试用例构件化,以及使用状态机动态地进行构件组装完成测试用例的自动生成。  相似文献
6.
耿言  陈英  史晋 《计算机仿真》2003,20(10):139-142
该文涉及的C编译器仿真自动测试的主要思想是在自动生成c编译器测试用例的设计中引入随机的思想和算法。一方面,用“任何测试点都可能测到”的思想代替“每个测试点都必须测到”的思想,从而在测试用例的数量达到一定规模时,在满足应用的条件下实现对编译器产品的正确性评估;另一方面,完全排除了人为因素对测试的影响。其另一关键思想是引入一个实践证明的成熟编译器作为参考编译器,让被测编译器和参考编译器在同样环境下运行同一组测试用例。然后对比运行结果,如有不同,即证明被测编译器有错误,这种模式,有效排除了预先给定运行结果的测试模式中人为因素对测试结果的影响。  相似文献
7.
8.
近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高. LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.  相似文献
9.
郭德贵  王冠成  吕帅  刘磊 《软件学报》2017,28(5):1221-1232
部分求值技术在程序优化及软件自动生成等方面,有着极为重要的作用.本文将部分求值技术应用到编译器测试中.为此,设计了一个C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,本文的方法可以检测出大部分之前的其它的方法发现的GCC、LLVM编译器中的错误,此外还发现了其它方法不能发现的错误,表明将部分求值技术应用到编译器测试中是有效的.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号