软件自动化

作品数：289被引量：654H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐家福张家重刘斌殷永峰郁涵更多>>
相关机构：南京大学北京航空航天大学复旦大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
2023年《计算机研究与发展》专题(正刊)征文通知--生成式AI与软件自动化
《计算机研究与发展》2023年第7期1638-1638,共1页
生成式AI在2023年所取得的进展,无疑引起了极具颠覆性的行业海啸.OpenAI发布的ChatGPT引爆科技领域.而在ChatGPT之后不到4个月,OpenAI又推出多模态预训练大模型GPT-4;仅一天后,百度旗下人工智能“文心一言”面世;紧随GPT-4重磅发布的步...
关键词：软件自动化 人工智能 OPEN 预训练 AI 多模态 GPT 生成式 
一种基于约束的变异测试数据生成方法被引量：11
《计算机研究与发展》2011年第4期617-626,共10页刘新忠 徐高潮 胡亮 付晓东 董玉双 
国家"八六三"高技术研究发展计划基金项目(2007AA01Z123)
作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面...
关键词：变异测试 约束系统 软件自动化测试 测试数据生成 面向路径测试 
需求工程研究新进展被引量：21
《计算机研究与发展》1998年第1期1-5,共5页张家重 徐家福 
国家杰出青年科学基金
需求工程研究进展日渐显著，它可归结为需求工程的对象化、形式化和自动化三个主要方面．文中在讨论了需求工程有关的基本问题之后，围绕着上述三方面总结了其代表性工作、研究现状和发展趋势，并简要介绍了作者近期在面向对象需求工程...
关键词：需求工程 面向对象 软件自动化 软件开发 
基于Tableau方法的程序综合系统──DTPS
《计算机研究与发展》1997年第8期577-581,共5页赵莹 全炳哲 金淳兆 
"863"计划和国家自然科学基金
本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约...
关键词：TABLEAU方法 程序综合系统 DTPS 软件自动化 
工程产品CAD软件开发环境NDCADSAS
《计算机研究与发展》1997年第4期307-311,共5页王命延 钟伯刚 
本文介绍了产品ＣＡＤ软件开发环境ＮＤＣＡＤＳＡＳ，利用这个环境，工程设计人员可以方便地开发产品ＣＡＤ系统．同时，该文也讨论了产品设计模型、产品ＣＡＤ系统模型以及ＮＤＣＡＤＳＡＳ总体模型．最后。
关键词：产品CAD 软件自动化 开发环境 程序生成 CAD 
基于算法构架的软件自动产生被引量：1
《计算机研究与发展》1992年第6期1-6,共6页张家重 费宗铭 
该课题研究系国家863高技术资助项目
算法构架作用机制——基于算法构架的软件自动产生,是自学习软件自动化系统NDSAIL的一个组成部分.本文通过实例,介绍了算法构架作用机制的基本过程,以期反映算法构架用于软件自动产生的效用.
关键词：软件自动化 算法构架 
基于问题求解的归纳程序综合
《计算机研究与发展》1991年第6期20-25,共6页王志坚 章骏 徐家福 
归纳程序综合是软件自动化的一种重要途径。本文把程序综合看作一种问题求解过程,通过归纳推理综合出能覆盖所给实例的一般程序。文章从方法、理论和实现上对这种途径作了探讨。
关键词：问题求解 归纳程序综合 软件自动化 
算法自动化系统NDADAS被引量：5
《计算机研究与发展》1990年第2期1-5,14,共6页徐家福 戴敏 吕建 
本文给出了在Sun-3工作站上实现的算法设计自动化系统NDADAS的设计背景和设计原理。该系统在实验性软件自动化系统NDAUTO的基础上实现了从用FGSPEC书写的非算法性软件功能规格说明到算法性设计规格说明的自动或半自动生成,提供了级别较...
关键词：软件自动化 算法 自动化系统 
领域知识和自动编程被引量：1
《计算机研究与发展》1989年第10期34-37,共4页王志坚 
程序设计过程涉及到各类知识,包括编程知识、数学知识、目标结构和目标语言知识,以及领域知识等.领域知识是提高自动编程系统实用性的关键.本文讨论了领域知识在自动编程系统中的作用,介绍了我们的工作,并明确了今后的研究方向.
关键词：领域知识 程序设计 软件自动化 
基于软件自动化的开发环境被引量：2
《计算机研究与发展》1989年第9期21-26,共6页费宗铭 肖宁 
本文在讨论传统软件开发模型及开发环境的基础上,论述了基于软件自动化的开发模型及开发环境,介绍了我们在开发环境方面的工作,阐明了该环境的一些特点.
关键词：软件开发 软件自动化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部