您的位置： 专家智库 > >

任珊虹

作品数：2 被引量：8H指数：1
供职机构：北京航天指挥控制中心更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇指令集
  • 1篇中间语言
  • 1篇软件测试
  • 1篇软件工程
  • 1篇高级语言
  • 1篇编译器
  • 1篇RTL
  • 1篇GCC

机构

  • 1篇国防科技大学
  • 1篇北京航天指挥...

作者

  • 2篇任珊虹
  • 1篇赵克佳
  • 1篇赵雄芳
  • 1篇李小榕

传媒

  • 1篇计算机工程与...
  • 1篇质量与可靠性

年份

  • 1篇1998
  • 1篇1995
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
GCC的中间语言及后端信息的转换被引量：7
1995年
ＧＣＣ是一个成功地支持多种高级语言和多种机器平台的系统，分析其中间语言ＲＴＬ是扩充其前端和移植ＧＣＣ的前提。ＧＣＣ的后端信息ＭＤ使用ＲＴＬ的外部形式书写，主要用于定义机器的指令集、功能部件、延迟特性等。ＧＣＣ提供一套ＭＤ的转换程序ｇｅｎ＊来生成一套Ｃ文件ｉｎｓｎ－＊，供编译体更有效地获取与机器有关的信息；可以把ｇｅｎ＊看作是ＭＤ的编译器。
任珊虹赵克佳赵雄芳
关键词：GCC中间语言编译器指令集高级语言RTL
软件测试的计划与管理被引量：1
1998年
本文基于一个大型实时软件系统中软件测试的实践,从计划和管理的角度进一步分析软件测试的本质、软件静态分析的作用、软件测试的质量和软件测试的可信度。
任珊虹李小榕
关键词：软件测试软件工程
全选 清除 导出
共1页<1>
聚类工具0