戚晓芳
- 作品数：25 被引量：83H指数：4
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术理学化学工程文化科学更多>>
- 一种组合式基于调用栈的程序切片方法被引量：1
- 2011年
- 通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片方法进行切片计算.组合式程序切片方法以子程序为依赖性分析单位,程序依赖图由相互独立的子程序依赖图组合而成,子程序对外接口由参数间依赖关系实现,通过实参和形参之间的映射实现子程序间的分析.对3个不同规模的程序进行实验,相关子程序平均数为总子程序数的0.03%～17.1%,表明该方法可有效减少分析时间,提高调试响应速度.
- 戚晓芳周晓宇徐晓晶张迎周
- 关键词：程序切片
- 一种基于约束求解的原子违背探测方法
- 本发明提供一种基于约束求解的原子违背探测方法，利用并发程序的原始执行轨迹确定原子性区域，结合原子违背的各种错误模式，建立原始执行轨迹中事件之间执行先后顺序的约束关系，利用Z3求解器进行约束求解，将原子违背的探测问题转化为...
- 戚晓芳周敏敏靳娜娜
- 文献传递
- 软件分析度量与测试的基础理论与方法
- 徐宝文周毓明陈汉武陈振强聂长海许蕾史亮周晓宇卢红敏陈林陆建江戚晓芳钱巨康达周
- 在软件分析、度量、测试等方面取得了丰硕的研究成果，发表论文被SCI收录43篇、EI收录103篇、ISTP收录59篇。所取得的理论成果不仅得到了国内同行的承认，而且受到国外学者的关注。据不完全检索，课题组所发表的论著共被国...
- 关键词：
- 关键词：程序切片
- 拉伸法制备β型聚偏二氟乙烯薄膜工艺研究被引量：3
- 2004年
- 研究了拉伸法制备β型聚偏二氟乙烯薄膜的工艺以及在不同工艺条件下聚偏二氟乙烯薄膜的组织结构情况。结果表明:溶液淬水初始膜有较高的结晶度、良好的拉伸和电击穿性能。拉伸促使初始膜中的球晶α相向片晶β相转变,降低拉伸温度,增大拉伸比,有利于相变。α→β转变完全后进一步拉伸可促使部分非晶相向β相转变。拉伸及退火均使薄膜电击穿强度有明显提高。
- 戚晓芳余琨
- 关键词：聚偏二氟乙烯压电性相变
- 一种基于约束求解的原子违背探测方法
- 本发明提供一种基于约束求解的原子违背探测方法，利用并发程序的原始执行轨迹确定原子性区域，结合原子违背的各种错误模式，建立原始执行轨迹中事件之间执行先后顺序的约束关系，利用Z3求解器进行约束求解，将原子违背的探测问题转化为...
- 戚晓芳周敏敏靳娜娜
- 文献传递
- 变网格技术在三维CA模型中的应用
- 2010年
- 针对均匀网格技术在采用元胞自动机(cellularautomaton,CA)模型进行凝固组织模拟过程中存在计算效率较低等问题,提出了在固/液界面上划分细网格、在其它部分采用较大网格的变网格方法,对该模型进行改进,同时探讨三维CA模型在采用不同界面过渡带下的模拟情况。研究结果表明:与均匀网格模拟相比,变网格技术可显著提高CA模型的计算效率,并且随着界面过渡带的增加,计算精度随之提高。
- 陈敏戚晓芳
- 关键词：凝固组织变网格
- 基于变网格技术的枝晶组织数值模拟研究被引量：1
- 2010年
- 针对元胞自动机(CA)模型采用均匀网格技术进行凝固组织模拟过程中存在计算效率较低等问题,提出了一种在固/液界面上划分细网格、在其他部分采用较大网格的变网格方法,对该模型进行改进,同时初步探讨了二维CA模型采用不同界面过渡带和粗网格系数等变网格参数时的模拟情况。研究结果表明,与均匀网格模拟相比,变网格技术可显著提高CA模型的计算效率,效率提高近60%,随着界面过渡带和粗网格系数的增加,计算精度提高。
- 陈敏戚晓芳
- 关键词：凝固组织变网格
- 基于偏序约简程序可达图的并发程序切片方法被引量：2
- 2014年
- 并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较高.偏序约简是一种十分有效的并发系统状态空间约简技术,约简的并发系统状态空间包含所有的并发程序执行代表.为提高效率,该文将偏序约简技术扩展到程序可达图的约简中,在偏序约简理论的基础上,证明了基于未约简和约简的并发程序可达图构造的并发程序依赖图在进行切片计算时是等价的.实验结果表明,采用偏序约简技术使基于程序可达图的并发程序切片方法在保证切片精度不受损失的前提下显著提高切片效率.与其它高精度切片方法相比,基于约简程序可达图的切片方法的精度更高,在大多数情况下,切片效率也有一定提高.
- 戚晓芳徐晓晶江振亮汪鹏
- 关键词：并发程序程序切片可达性分析
- 一种基于约束求解的原子集合序列化违背探测方法
- 本发明公开了一种基于约束求解的原子集合序列化违背探测方法，属于软件测试技术领域。该方法包括如下步骤：首先动态收集并发程序原始执行轨迹，然后结合原子集合序列化违背的九种错误模式，建立原始执行轨迹中相关事件之间执行先后顺序的...
- 戚晓芳靳娜娜
- 文献传递
- 一种基于程序可达图的并发程序依赖性分析方法被引量：14
- 2007年
- 依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.
- 戚晓芳徐宝文周晓宇
- 关键词：并发程序可达性分析程序切片
