助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   代码合成 的翻译结果: 查询用时:0.02秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

代码合成
相关语句
  code synthesis
     State Test Data Generation Based on State Machine Code Synthesis
     基于状态机代码合成技术的状态测试数据生成
短句来源
  相似匹配句对
     Coumarin fluorescent dyes such as C.
     合成了C.
短句来源
     N,N,N?
     合成了 N,N,N?
短句来源
     NET source codes.
     NET代码.
短句来源
     EMT CODES
     EMT代码
短句来源
查询“代码合成”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  code synthesis
We present the static analysis of the SPDF model and an implementation technique for memory efficient code synthesis.
      
Fractional Rate Dataflow Model for Efficient Code Synthesis
      
Automatic code synthesis from dataflow program graphs is a promising high-level design methodology for rapid prototyping of multimedia embedded systems.
      
Memory efficient code synthesis from dataflow models has been an active research subject to reduce the gap in terms of memory requirements between the synthesized code and the hand-optimized code.
      
Even though they use formal models, the tool does not focus on the efficient code synthesis as of now.
      
更多          


At present, the research of software test based on state machine mainly rocuses on tne generation of fest sequence, nowever, me characterization of state machine determines that test sequence is not independent on test data that is to say the execution of a test sequence is restraint by the test data belong to the sequence. This paper proposes a method of code synthesis to simulate the action of state machine so it transforms state machine into an executable specification based on which the paper adopts GA to...

At present, the research of software test based on state machine mainly rocuses on tne generation of fest sequence, nowever, me characterization of state machine determines that test sequence is not independent on test data that is to say the execution of a test sequence is restraint by the test data belong to the sequence. This paper proposes a method of code synthesis to simulate the action of state machine so it transforms state machine into an executable specification based on which the paper adopts GA to generate test data. It provides a feasible way for generating test data of state machine.

目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据,为解决状态机测试数据的生成提供了一种可行的方法。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关代码合成的内容
在知识搜索中查有关代码合成的内容
在数字搜索中查有关代码合成的内容
在概念知识元中查有关代码合成的内容
在学术趋势中查有关代码合成的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社