搜索结果: 1-15 共查到“计算机软件 自动生成”相关记录33条 . 查询时间(0.248 秒)
中国科学院软件研究所等提出代码审查意见自动生成新方法(图)
代码审查意见 自动生成 预训练模型
2022/6/22
中国科学院软件研究所提出代码审查意见自动生成新方法
代码审查 意见 自动生成
2022/6/21
中国科学院软件所提出代码审查意见自动生成新方法(图)
代码审查 训练模型 软件开发
2022/6/21
2022年6月21日,软件所软件发展研究部智能化软件系统工程团队在代码审查意见自动生成方法研究方面取得进展。该研究提出了基于代码审查标记和预训练模型的代码审查意见自动生成方法,能够高效地对代码片段自动生成有意义的代码审查意见,帮助开发人员提高代码质量,缓解现有软件开发过程中严重依赖少数高水平程序员进行代码审查的难题,为提升软件开发过程中代码审查自动化能力起到重要支撑作用。
支持界面自动生成的模型研究
用户界面模型 任务 模型转换
2010/1/20
为支持界面工程化设计,提出一种基于模型驱动思想的支持界面自动生成的ADS模型。ADS模型由分析模型、会话模型和显示模型构成。分析模型完成对界面功能和数据信息的建模,依据给定的转换规则,由会话模型生成界面的抽象视图,通过显示模型处理抽象视图的可视化和布局问题,并用UsiXML界面描述语言加以描述,组合UsiXML片段成XML文件,由框架解析XML文件生成用户界面。
改进的SAMPSO的软件测试数据自动生成
测试数据生成 简化的自适应变异 粒子群算法
2009/12/10
针对软件测试数据的自动生成提出了一种简化的自适应变异的粒子群算法(SAMPSO)。该算法在运行过程中根据群体适应度方差以及当前最优解的大小来确定当前最佳粒子的变异概率,变异操作增强了粒子群优化算法前期全局搜索能力,去掉了粒子群优化(PSO)算法中进化方程的粒子速度项,仅由粒子位置控制进化过程,避免了由粒子速度项引起的粒子发散而导致后期收敛变慢和精度低问题。实验结果表明该算法在测试数据的自动生成上优...
面向安全需求的测试用例自动生成技术研究
UML顺序图 安全因子 测试用例自动生成
2009/10/10
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。
非线性循环不变式的自动生成
程序验证 循环不变式 变迁系统
2009/9/21
提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的生成问题转变成一个约束求解问题,这个约束求解问题的每个解对应于一个循环不变式,如果约束求解问题仅有零解,则说明不存在该参数多项式形式的循环不变式。该算法在Maple中得到了实现,并通过一些实例说明了该算法的有效性。
AADL模型的代码自动生成及集成技术
嵌入式软件 模型驱动体系结构 转换规则
2009/8/19
体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。
Quattor模板自动生成系统
Quattor软件 PAN语言 模板
2009/8/11
Quattor软件启动节点机的PXE网卡远程安装节点机,根据节点机的环境和要安装的软件包、服务等来实现自动安装节点机,并通过用PAN语言编写以后缀名tpl结尾的模板文件来描述上述信息。针对一些Quattor系统管理员不熟悉模板编写的问题,该文设计Quattor模板自动生成系统,该系统能在远程使用支持 HTTPS (SSL 上的 HTTP)协议的 Web 浏览器,通过 Web 界面使Quattor自...
基于受限自然语言和模块组合的代码自动生成
自然语言理解 IMM算法 模块组合
2009/8/6
针对界面层自然语言理解的应用,该文设计一个基于受限自然语言和模块组合的代码自动生成系统。该系统允许用户输入,格式比较随意的中文需求语句,,把用户的输入转换为标准的C程序,再返回给用户。提出一种IMM分词算法,改进原有MM法在局部的最大匹配,减少错误切分句子的数量,提高分词的精度。
交换机人机界面代码自动生成软件的设计
人机界面 代码自动生成软件 交换机
2009/8/5
总结控制台交换机人机界面代码的规律,提出用Excel表格描述人机界面的思想,设计用于描述人机界面参数的“三段描述规则”及交换机人机界面代码自动生成软件,解决人机界面及其参数的描述难题。“话务统计”人机界面的运行结果表明,该软件能节省开发时间,提高开发效率。
分布内存系统中流水并行代码的自动生成
流水并行 数据依赖关系图 流水关系图
2009/7/31
并行循环分为DOALL和DOACROSS。DOACROSS循环携带数据依赖,在并行执行时需要通信支持,对于可以精确分析依赖关系的DOACROSS循环可通过流水并行方式提高性能。该文针对流水并行代码的自动生成进行讨论,包括数据依赖关系图和流水关系图的建立、流水并行判别准则和流水代码的自动生成等。实验证明流水并行后能获得较好的加速比。
一种层次状态图的自动生成方法
逆向工程 状态图 语法分析
2009/6/4
提出了一种基于状态图语法分析的方法自动生成层次状态图.该方法搜索简单状态图上具有异或关系的状态,将这些状态聚类得到层次状态图,达到减少状态转移数量和高层状态数目,提高抽象层次的目的.通过系统的实验研究,验证了该方法的有效性.