自动生成工具

作品数:85被引量:108H指数:6
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:张银明姜瑛周勇杨志斌王戟更多>>
相关机构:福建星瑞格软件有限公司清华大学国防科学技术大学哈尔滨工业大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划江苏省自然科学基金霍英东青年教师基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
泰国联锁数据自动生成工具的研究与实现被引量:1
《铁路通信信号工程技术》2024年第4期109-115,共7页柳新 
北京全路通信信号研究设计院集团有限公司科研项目(2300-K1210034.01)。
针对泰国联锁表格式复杂、人工配置数据效率低、配置过程依赖人员技术水平等问题,提出一种泰国计算机联锁数据自动生成方法。以泰国联锁表、闭塞表、道口表及站场图文件作为输入,定义各类数据模型,建立数据模型之间的拓扑关系,构建铁路...
关键词:泰国联锁数据 自动生成 分类解析 拓扑模型 
电力物资“电子封条”自动生成工具的研究
《中文科技期刊数据库(文摘版)工程技术》2024年第1期0068-0071,共4页史慧 
本论文来源于广东电网有限责任公司职工技术创新项目;项目名称:具有广泛适用性的“电子封条”自动生成工具GDZGCX2023003。
电力物资抽检工作目前存在抽检信息填写繁琐、容易出错,以及抽样信息模糊等问题,研究一种既能提高抽样封样人员工作效率和准确性又能防止封条信息模糊的“电子封条”生成工具具有重要意义。该工具可针对每周的抽检计划中信息自动分类出...
关键词:电力物资 抽检 电子封条 效益分析 
城轨CBTC联锁表自动生成工具的研究与开发被引量:2
《铁路通信信号工程技术》2022年第8期86-91,共6页胡旭 
通号城市轨道交通技术有限公司科研项目(5100-K1200002)。
联锁表是信号系统工程设计中的重要资料。介绍一种站场数据建模的新方法,构建抽象的数据结构信息,通过改进的深度优先搜索算法,完成联锁表中进路、保护进路、接近区段等相关信息的自动生成。目前该工具已在实际的工程项目中得到较好的...
关键词:城轨CBTC 联锁表 自动生成工具 
一种半监督学习的代码自动生成性能评估方法被引量:3
《小型微型计算机系统》2021年第3期647-654,共8页张晓江 姜瑛 
国家重点研发计划项目(2018YFB1003904)资助;国家自然科学基金项目(61462049,61063006,60703116)资助;云南省应用基础研究计划重点项目(2017FA033)资助;云南省教育厅科学研究基金项目(2020Y0087)资助。
为了提高软件开发的质量和效率,代码自动生成是当前的研究热点,代码自动生成的性能是其中的重要问题.现有代码自动生成的性能分析方法较简单,难以评估代码自动生成过程中程序员与代码自动生成工具各自的特征.本文综合考虑了代码自动生...
关键词:代码自动生成 性能评估 半监督学习 性能类别 程序员 代码自动生成工具 
基于FPGA的有色Petri网仿真系统设计被引量:1
《电子器件》2021年第1期236-241,共6页陈成官 张小军 周韬略 张德学 郭华 
山东省自然科学基金联合基金项目(ZR2019ZLH001);山东省重点研发计划项目(2019GGX101066);山东省高等学校青创科技计划项目(2019KJN024,2019KJN020)。
为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基...
关键词:有色PETRI网 自动生成工具 FPGA Verilog HDL 仿真系统 
性能测试配置生成工具设计与实现
《电子技术与软件工程》2020年第17期57-60,共4页陈晓轩 乔艳茹 
本文选用Python语言设计开发了性能测试配置准备工具,文中阐述了设计思想和框架、实现要点以及优点分析,并在项目中得到应用,有效推动性能测试活动的开展,较好的提高测试效率和节约人力成本。
关键词:性能测试 配置自动生成工具 数据准备 
面向对象单元测试用例自动生成工具对比分析被引量:1
《电脑知识与技术》2020年第5期53-54,60,共3页付玉珍 
主要阐述了随机测试和搜索测试的两种单元测试用例生成技术的研究现状,通过经典测试程序,对JET、Randoop、Evosuite工具分别在分支覆盖率、产生测试用例数、所需时间三项指标进行了对比分析,总结了各自的特点及进一步的研究方向。
关键词:自动单元测试工具 JAVA 随机测试 搜索测试 分支覆盖 
一种同步语言多线程代码自动生成工具被引量:13
《软件学报》2019年第7期1980-2002,共23页杨志斌 袁胜浩 谢健 周勇 陈哲 薛垒 Jean-Paul BODEVEIX Mamoun FILALI 
国家自然科学基金(61502231);国家重点研发计划(2016YFB1000802);GF基础科研重点项目(JCKY2016203B011);江苏省自然科学基金(BK20150753);中央高校基本科研业务费专项资金(NP2017205);国家自然科学基金委员会-中国民航局民航联合研究基金(U1533130);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181603)~~
随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模...
关键词:同步语言 同步多时钟卫式动作 多线程代码生成 
面向限定自然语言需求的AADL自动生成工具被引量:9
《小型微型计算机系统》2019年第5期984-995,共12页刘承威 杨志斌 周勇 袁胜浩 许金淼 薛垒 
国家自然科学基金项目(61502231)资助;国家重点研发计划项目(2016YFB1000802)资助;GF基础科研重点项目(JCKY2016203B011)资助;江苏省自然科学基金项目(BK20150753)资助;航空科学基金项目(2015ZC52027)资助
在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何保障这类软件的可靠性和安全性一直是学术界和工业界共同面临的难题.近年来,形式化模型驱动的安全关键软...
关键词:安全关键软件 AADL 限定自然语言 组合验证 
基于VBA技术提升GJB5000A软件测试效率的方法
《电子技术与软件工程》2019年第4期48-50,共3页孙龑 胡玉露 
GJB5000A体系下软件测试过程中需要整理的数据量大、数据种类多,而人工整理数据效率很低。通过对GJB5000A中所需的测试数据进行研究,对相关联的数据建立数学模型,利用Excel VBA技术编写数据自动生成工具实现数据模型,并对该数学模型添...
关键词:GJB5000A 软件测试 数据自动生成工具Excel VBA 
检索报告 对象比较 聚类工具 使用帮助 返回顶部