陈振强
- 作品数：16 被引量：102H指数：5
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术医药卫生电子电信更多>>
- 程序分析与测试技术研究
- 徐宝文史亮陈振强聂长海黄曙萍周毓明周晓宇陈林卢红敏左赋斌曹景屈波钱巨章晓芳吴重强
- “程序分析与测试技术研究”课题组提出了一种并发程序切片算法，较好地解决了并发程序依赖性的不可传递性问题，在多项式时间内获得了比较精确的切片。从多个方面研究了内聚性和复杂性。提出了三种新的两两组合测试用例集生成算法，其生成...
- 关键词：
- 关键词：程序切片软件测试
- 软件分析度量与测试的基础理论与方法
- 徐宝文周毓明陈汉武陈振强聂长海许蕾史亮周晓宇卢红敏陈林陆建江戚晓芳钱巨康达周
- 在软件分析、度量、测试等方面取得了丰硕的研究成果，发表论文被SCI收录43篇、EI收录103篇、ISTP收录59篇。所取得的理论成果不仅得到了国内同行的承认，而且受到国外学者的关注。据不完全检索，课题组所发表的论著共被国...
- 关键词：
- 关键词：程序切片
- Ada逆向工程与软件维护支撑系统ARMS
- 徐宝文陈振强周晓宁黄曙萍刘园周毓明张卫丰
- 目前，Ada语言是由美国国防部主持研制的一个支持高可靠性、长生存期软件开发的大型语言，我国已用Ada开发了许多重要国防软件。 ARMS系统的研制成功对于开发与维护我国大型国防软件有着极其重要的意义。该项目的研制成功对普及...
- 关键词：
- 关键词：软件维护
- C++程序分析理解与测试系统CAUTER
- 徐宝文周晓宁管杰陈小平黄曙萍陈振强卢虹
- 软件测试是保证软件质量的重要手段，同时又是一项复杂、艰巨的工作，测试工具的支持可以大幅度地提高测试自动化水平和测试效率。目前国内使用的测试工具主要是国外开发的，普遍价格昂贵。在这种情况下，很多软件开发单位都希望能够有一套...
- 关键词：
- 关键词：C++程序测试系统
- 一种基于依赖性分析的类内聚度度量方法被引量：26
- 2003年
- 内聚度是指模块内各成分之间的联结强度.在面向对象程序中,内聚度主要是指类内部各成分之间的联结强度.在深入剖析了类的属性与属性、方法与属性以及方法与方法之间的关系及其性质的基础上,提出了一种基于依赖性分析的内聚度度量方法,并证明了它满足优良的内聚度度量方法应该具有的性质,从而克服了已有方法只是分析了某个方面的不足,为综合评价类内聚度提供了指南.
- 陈振强徐宝文
- 关键词：面向对象内聚度
- 基于依赖性分析的程序切片技术研究
- 程序切片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称作切片),然后通过分析切片来分析源程序的行为.二十多年来,人们对它进行了广泛而深入的研究,取得了许...
- 陈振强
- 关键词：程序切片面向对象并发可测试性内聚度
- 文献传递
- 一种机械设备剩余寿命自适应预测方法和系统
- 本发明公开了一种机械设备剩余寿命自适应预测方法和系统，以待检测机械设备的实时数据作为输入，通过基于漂移参数的EWMA首变点检测策略，寻找待检测机械设备的首变点；对实时数据进行特征提取并寻找用于指标融合的最佳特征，基于最佳...
- 蔡杰樊薇陈振强陈超周潼
- 一种并发程序可测试性分析框架被引量：7
- 2003年
- 软件可测试性是对测试软件难易程度的预测 ,在测试、度量等许多领域中得到了广泛应用 .由于并发程序执行的不确定性 ,其可测试性分析尚有很多难点有待解决 .该文提出了一种并发程序可测试性分析框架 .在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上 ,从单个并发单元、并发因素、共享变量因素及通信关系 4个方面对并发程序的可测试性进行了分析 ,为综合度量并发程序的可测试性提供了依据 .
- 陈振强徐宝文许蕾张斌
- 关键词：并发程序软件测试软件开发
- 递归子程序的依赖性分析及其应用被引量：19
- 2001年
- 程序依赖性是一种重要的程序分析、理解与维护方法 ,广泛应用于软件工程及软件逆向工程的各个方面 ,但递归子程序间的依赖分析一直是依赖性分析中的难点 .为此 ,该文提出了一种新的递归子程序间的依赖性分析方法 ,它首先分析子程序内部的各种依赖关系 ;然后 ,结合子程序调用图分析子程序参数间的依赖关系 ;最后 ,通过模拟递归子程序的执行过程来分析它们之间的依赖关系 .利用该文提供的方法可得到比较精确的递归子程序间的依赖关系 .
- 徐宝文张挺陈振强
- 关键词：软件工程软件逆向工程
- 一种机械设备剩余寿命自适应预测方法和系统
- 本发明公开了一种机械设备剩余寿命自适应预测方法和系统，以待检测机械设备的实时数据作为输入，通过基于漂移参数的EWMA首变点检测策略，寻找待检测机械设备的首变点；对实时数据进行特征提取并寻找用于指标融合的最佳特征，基于最佳...
- 蔡杰樊薇陈振强陈超周潼
