周晓宇
- 作品数：32 被引量：380H指数：10
- 供职机构：东南大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 使用程序静态分析技术识别Web程序中的用例结构
- 2014年
- 本文利用程序静态分析技术对Web程序中的用例识别进行了深入研究。对Web页面的用户行为进行了深入分析并建模,从行为模型中提取出描述整个系统中用户行为的事件流图,结合采用现有的从目的成功语句出发、以必经结点为基础的用例识别方法,从各个Web页面中提取的独立控制流图,形成全局控制流图,进行全局用例识别。与以前已有工作相比,本文考虑了Web程序的特点,尤其是前端程序如何实现用户行为,并在前端程序中进行精确的用例识别。本文采用目前使用较为广泛的JSP程序进行了实验,结果表明该方法能够有效识别JSP程序中的用例结构。
- 王泽雨周晓宇
- 关键词：程序静态分析WEB程序
- TPython:一种扩充的Python语言被引量：1
- 2009年
- Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。
- 余超周天琳周晓宇陈林徐宝文
- 关键词：PYTHON解释器动态语言
- 数据挖掘技术初探被引量：42
- 2002年
- 数据挖掘技术已成为机器学习、数据库系统、人工智能等领域内热门的研究方向 .本文将讨论数据挖掘的基本概念 ,并在此基础上介绍、分析挖掘关联规则技术、决策树、聚类分析。
- 周晓宇李慎之戚晓芳徐宝文
- 关键词：数据挖掘关联规则决策树聚类数据管道数据库
- 一种组合式基于调用栈的程序切片方法被引量：1
- 2011年
- 通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片方法进行切片计算.组合式程序切片方法以子程序为依赖性分析单位,程序依赖图由相互独立的子程序依赖图组合而成,子程序对外接口由参数间依赖关系实现,通过实参和形参之间的映射实现子程序间的分析.对3个不同规模的程序进行实验,相关子程序平均数为总子程序数的0.03%～17.1%,表明该方法可有效减少分析时间,提高调试响应速度.
- 戚晓芳周晓宇徐晓晶张迎周
- 关键词：程序切片
- C程序单元级依赖性分析被引量：5
- 2004年
- 程序依赖性分析是软件分析的一个基本内容 ,目前的相关工作大多集中在语句级的分析方面。人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架。本文针对C程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析 ,并提出单元依赖图表达这些关系。基于此图 ,本文采用基于信息论的方法度量了单元间的耦合性。单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性。相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件。
- 周晓宇黄文伟史亮徐宝文
- 关键词：函数调用内聚性
- 基于惩罚函数的演化测试优化方法研究
- 2009年
- 演化测试是一种有效的测试用例自动生成技术。它将测试用例的生成的过程转化为一个利用遗传算法进行数值优化的问题,可以自动生成高质量的测试用例。目前,演化测试技术已经在许多测试领域被广泛地研究。研究发现,演化测试过程中无效解和局部最优解的存在扰乱了演化正常进行,降低了演化测试的性能。针对演化测试中存在的问题,提出基于惩罚函数的适应值函数F(x),对无效解和局部最优解进行惩罚,有助于演化过程中根据适应值选择更合适的个体进行遗传操作,提高演化测试的性能。实验结果表明,F(x)有效降低了无效解和局部最优解的适应值,提高了演化测试的性能。
- 张楠周晓宇陈林
- 关键词：惩罚函数
- 程序分析与测试技术研究
- 徐宝文史亮陈振强聂长海黄曙萍周毓明周晓宇陈林卢红敏左赋斌曹景屈波钱巨章晓芳吴重强
- “程序分析与测试技术研究”课题组提出了一种并发程序切片算法，较好地解决了并发程序依赖性的不可传递性问题，在多项式时间内获得了比较精确的切片。从多个方面研究了内聚性和复杂性。提出了三种新的两两组合测试用例集生成算法，其生成...
- 关键词：
- 关键词：程序切片软件测试
- 基于AST的克隆序列与克隆类识别被引量：3
- 2008年
- 为了减少代码冗余,改善程序结构,提出一种新的基于抽象语法的代码克隆识别方法,归纳出常见的代码克隆形式并给出相应的重构技术.用二叉树表示源程序的抽象语法(BAST),逐条判断各语句BAST子树的同构性,识别出相似的语句序列作为克隆序列;根据子树同构识别一元克隆类,然后通过克隆类的连接操作,逐步识别二元及任意元数的克隆类.实验分析了多个开源软件,识别出了其中的克隆序列以及克隆类,从中归纳出4种常见的代码克隆,其基本特征分别为:相同的程序点访问同类对象的不同属性、部分变量名不同、针对不同的数据类型实施相同的操作、修改克隆区域外定义的变量,并对这4种代码有效地实施了重构.
- 李亚军徐宝文周晓宇
- 关键词：代码克隆软件维护
- 一种基于程序可达图的并发程序依赖性分析方法被引量：14
- 2007年
- 依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.
- 戚晓芳徐宝文周晓宇
- 关键词：并发程序可达性分析程序切片
- Web页面中元素间交互技术研究被引量：17
- 2000年
- 随着Ｗｅｂ技术的飞速发展，Ｗｅｂ页面中可以包含的元素种类也越来越多。一个功能强大的Ｗｅｂ应用要求同一Ｗｅｂ页面中各元素之间进行交互操作。该文以层次化方式给出了几种实现Ｗｅｂ页面中元素之间交互的技术，并对这些技术进行了比较。
- 张卫丰徐宝文周晓宇
- 关键词：WEB页面INTERNET网浏览器
