王珏
- 作品数：6 被引量：4H指数：1
- 供职机构：计算机软件新技术国家重点实验室更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件体系结构描述语言
- 目前描述软件体系结构的语言有很多,但是描述方法不尽相同.本文介绍了软件体系结构和体系结构描述语言的概念,在建模系结构的基础上,讨论了常见的几种体系结构描述语言的异同之处.
- 张国宁南京大学计算机软件新技术国家重点实验室(南京)胡学钢郭骏王珏
- 关键词：软件体系结构体系结构描述语言组件连接件端口
- 文献传递
- SPUML过程定义方法与原型系统的探讨
- 作为软件过程技术研究的一个重要方面,软件过程定义有着其特殊的意义.以UML为基础,对UML进行扩展,使之能够更好地适应软件工程定义的需要,提出了SPUML作为软件过程定义的新方法,并且给出SPUML的语义模型以及相应的表...
- 袁兆山王珏张国宁李宏芒李心科
- 关键词：软件工程
- 文献传递
- Android应用测试输入自动生成技术被引量：3
- 2019年
- 软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有效性.由于Android应用独有的特性,自动为其生成测试输入存在独特的挑战.为了应对这一挑战,已有许多Android应用测试输入自动生成技术被提出.本文提出Android应用测试输入自动生成技术的描述框架,包括测试输入自动生成技术的3个维度(分别为搜索空间的表示、候选输入的生成、候选输入的评估),并讨论了测试输入自动生成技术在这3个维度采用策略的两个评价指标(即充分性与高效性).借助这一全新描述框架,本文对已有技术进行分析和总结,讨论现有技术的长处和不足,并对未来可能的研究方向给予展望.
- 王珏蒋炎岩许畅许畅马晓星
- 关键词：ANDROID智能手机
- 基于CMM的过程定义方法及支撑环境的研究
- 目前软件开发已经进入到以过程为中心的时代,作为软件过程技术研究的一个重要方面,软件过程定义有着其特定的意义.因此,该文提出以CMM模型为基本框架,以SPUML定义方法来进行软件过程的定义.首先,该文综合考察了软件过程理论...
- 王珏
- 关键词：CMM
- 文献传递
- Delphi中的数据库连接方式及其注意事项
- 文章讨论了Delphi中的4种数据库连接方式,说明了他们的各自特点.并以目前在Windows平台下最为常用的ADO连接方式为例.指出了数据库连接中的技巧与注意事项.并详细阐明了这些注意事项对于应用程序性能的影响,并给出恰...
- 王珏南京大学计算机软件新技术国家重点实验室(南京)齐明超袁晓靖张艳明
- 关键词：DELPHIBDEADOIBX数据库连接方式
- 文献传递
- SPUML过程定义方法与原型系统的探讨
- 作为软件过程技术研究的一个重要方面,软件过程定义有着其特殊的意义.以UML为基础,对UML进行扩展,使之能够更好地适应软件工程定义的需要,提出了SPUML作为软件过程定义的新方法,并且给出SPUML的语义模型以及相应的表...
- 王珏张国宁李宏芒李心科
- 关键词：软件工程
- 文献传递网络资源链接
