抽象机

作品数：56被引量：67H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王鼎兴王海晨赵磊徐士华伦立军更多>>
相关机构：清华大学太原理工大学哈尔滨师范大学浙江大学更多>>
相关期刊：《计算机研究与发展》《软件学报》《计算机工程》《计算机光盘软件与应用》更多>>
相关基金：国家自然科学基金黑龙江省教育厅科学技术研究项目国防科技技术预先研究基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可微分抽象机混合编程系统被引量：1
《软件学报》2019年第5期1224-1242,共19页周鹏 武延军 赵琛 
中国科学院战略性先导科技专项(Y8XD373105)~~
自动化编程是智能软件的核心挑战之一,使用程序执行轨迹或输入输出样例学习程序,是自动化编程的典型研究方法.这些方法无法弥合常规程序元素与神经网络组件间的隔阂,不能吸收经验信息输入、缺乏编程控制能力.给出了一种可无缝结合高级...
关键词：智能软件 可微分编程 可微分抽象机 混合编程 人工智能 
针对SECD抽象机的基于踪迹的即时编译技术
《计算机工程与设计》2015年第2期384-391,共8页于成龙 廖湖声 武辰之 苏航 
北京市自然科学基金项目(4122011);国家自然科学基金青年基金项目(61202074)
为提高程序的整体执行效率,提出一种基于踪迹(trace-based)的通用即时编译技术。在SECD抽象机指令序列的解释执行中,将执行频率高的程序片段识别为踪迹,并编译成Java字节码,由Java虚拟机执行。任何用SECD抽象机实现的编程语言都可以使...
关键词：即时编译 抽象机 字节码 踪迹 环境切换 
基于CHAM的软件连接件形式化模型
《信息与电脑（理论版）》2013年第9期82-83,共2页张淑娟 
软件技术目前来看是日新月异,各种手段方法纷纷而至,但是随之到来的是其中存在的问题,大小问题比比皆是,下面就针对这一问题展开讨论,讨论的内容包括对化学抽象机CHAM的概述、基于CHAM的形式化模型的描述以及对存在的问题进行简要分析,...
关键词：CHAM 形式化模型 软件体系结构 连接件 抽象机 构件系统 系统构件 集成测试 软件系统 测试覆盖 
一种自动机学习和符号化执行的软件自动测试方法被引量：1
《计算机科学》2013年第8期161-164,共4页陈曙 叶俊民 张帆 
中央高校自主科研基金(CCNU11A01012;CCNU11A02007);湖北省自然科学基金(2010CDB04001)资助
针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同...
关键词：自动机 自动测试 符号化执行 抽象机 
基于多智能体的虚拟油料保障系统求解研究
《中国储运》2012年第12期130-132,共3页程飞 丁国勤 刘雄 
在基于Multi-agent的虚拟油料保障系统问题求解研究中,组织是一种有效的求解方法,笔者首次将演算和化学抽象机运用到军队油料保障系统中,利用化学抽象机的运行过程对MAS组织结构进行设计,最后进行了具体应用,该求解方法对基于Multi-agen...
关键词：MULTI-AGENT 组织结构 Π演算 化学抽象机 油料保障 
一种软件体系结构级基本路径覆盖方法
《计算机工程》2012年第10期60-62,66,共4页赵磊 吕莉媛 赵国生 
教育部青年基金资助项目(10YJC870025);黑龙江省科技攻关基金资助项目(GZ09A109);黑龙江省教育厅科技基金资助项目(12521150)
软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基...
关键词：化学抽象机 软件体系结构 有向无环图 测试覆盖准则 基本路径覆盖 
应用基于抽象机的动态翻译设计Java处理器被引量：1
《微电子学与计算机》2012年第7期1-3,7,共4页王海晨 赵祥模 
国家自然科学基金项目(50978030)
本文提出了一种基于硬件抽象机的动态翻译技术,它可用于实现Java处理器.该技术采用了硬件抽象机的"模糊执行"(HAM)方法,通过分析Java程序之间的相关性,动态地将Java字节码转换成基于标签的类RISC指令.然后,将堆栈折叠与动态翻译相结合...
关键词：二进制翻译 抽象机 JAVA处理器 多线程 
基于扩展CHAM的SA级路径覆盖方法
《微电子学与计算机》2011年第9期22-26,共5页徐士华 吕莉媛 赵磊 
教育部项目(10YJC870025)
化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件...
关键词：测试路径 标号迁移系统 测试覆盖准则 化学抽象机 
CHAM在面向对象类测试中的应用
《电脑开发与应用》2011年第6期48-49,52,共3页赵艳军 崔冬华 
UML已经成为当前面向对象软件测试研究的重要方向。面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试。CHAM具有良好的动态特性可以很好地描述类状态的动态变换。LTS作为多种形式化语言的语义模型可以表达出类的...
关键词：化学抽象机 标号迁移系统 UML状态图 软件测试 
抽象机在Java微处理器中的应用研究
《计算机技术与发展》2011年第6期242-245,共4页王海晨 赵祥模 
国家自然科学基金(50978030);中央高校基本科研业务费专项资金(CHD2009JC125);长安大学基础研究支持计划专项基金;陕西省工程研究中心重点实验室开放基金(CHD2009JC125)
抽象机通常用在软件程序编译器中。提出了一个基于硬件抽象机的处理器设计方法,使用该方法设计了一个Java微处理器,并且利用硬件抽象机增强了处理器的指令级并行能力,提高了微处理器性能。描述了用于Java处理器的硬件抽象机设计方法,阐...
关键词：指令级并行 JAVA 微处理器 抽象机 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部