科研专业方向
研究领域：
计算机应用技术；软件建模、分析、测试与验证，实证软件工程，可信计算和容错计算
研究方向：
计算机应用技术；软件建模、分析、测试与验证，实证软件工程，可信计算和容错计算
李教授
教授
江苏南京市
科研重点分布
近年科研重点
2014
软件修改 修改影响分析 综述2015
基于构件的软件 回归测试 重测复杂性 软件维护 形式概念分析科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：13
数学：1
总数:
13
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 华为技术有限公司 | 3 |
| 扬州大学信息工程学院 | 2 |
| 计算机软件新技术国家重点实验室(南京大学) | 2 |
| 南通大学计算机科学与技术学院 | 2 |
| 南京大学计算机软件新技术国家重点实验室 | 2 |
| 南京大学软件学院 | 1 |
| 大连理工大学软件学院 | 1 |
| 天津大学智能与计算学部 | 1 |
| 哈尔滨工程大学青岛创新发展基地 | 1 |
| 江南大学控制科学与工程研究中心电气自动化研究所 | 1 |
| 南京理工大学计算机科学与工程学院 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 软件修改影响分析研究与进展 | 国家自然科学基金 |
| 过程间循环路径剖析方法 | 江苏省自然科学基金 |
| 面向对象软件耦合的度量和验证 | 国家自然科学基金资助项目 |
| 一种基于微分代数动态逻辑的CPS建模与验证方法 | 国家自然科学基金项目 |
| 一种基于微分代数动态逻辑的CPS建模与验证方法 | 高等学校博士学科点专项科研基金项目 |
| 一种基于微分代数动态逻辑的CPS建模与验证方法 | 江苏省高校科研成果产业化推进项目 |
| 一种面向服务组合的回归测试技术 | 国家自然科学基金项目 |
| 一种面向服务组合的回归测试技术 | 江苏省自然科学基金项目 |
| 一种面向服务组合的回归测试技术 | 国家高技术研究发展计划项目 |
| 一种面向服务组合的回归测试技术 | 教育部新世纪优秀人才支持计划项目 |
| 基于微分动态逻辑的CPS建模与属性验证 | 国家自然科学基金 |
| 基于微分动态逻辑的CPS建模与属性验证 | 博士点基金 |
| 基于微分动态逻辑的CPS建模与属性验证 | 中科院计算机科学国家重点实验室开放基金基金 |
| 基于扩展同步序列的Java多线程程序可达性测试方法 | 国家自然科学基金资助项目 |
| 构件软件的回归测试复杂性度量 | 国家自然科学基金 |
| 形式概念分析在软件维护中的应用综述 | 国家自然科学基金 |
| 模型检验软件体系结构研究与进展 | 国家自然科学基金 |
| 基于扩展的层次有色petri网的组合服务测试用例生成 | 国家自然科学基金资助项目 |
| 基于扩展的层次有色petri网的组合服务测试用例生成 | 江苏省自然科学基金资助项目 |
| 基于扩展的层次有色petri网的组合服务测试用例生成 | 国家高技术研究发展计划 |
| 基于扩展的层次有色petri网的组合服务测试用例生成 | 教育部新世纪优秀人才支持计划资助项目 |
| 基于层次切片模型的JAVA相互作用耦合度量 | 国家自然科学基金资助项目 |
展开全部
荣誉&成就
"新世纪优秀人才培养计划" 2006年教育部
科研成果
- 期刊论文
- 技术成果
- 专利
领域软件工程专题前言
构件软件的回归测试复杂性度量
形式概念分析在软件维护中的应用综述
软件修改影响分析研究与进展
过程间循环路径剖析方法
一种基于微分代数动态逻辑的CPS建模与验证方法
基于微分动态逻辑的CPS建模与属性验证
一种面向服务组合的回归测试技术
基于扩展的层次有色petri网的组合服务测试用例生成
模型检验软件体系结构研究与进展
面向对象软件耦合的度量和验证
基于扩展同步序列的Java多线程程序可达性测试方法
基于层次切片模型的JAVA相互作用耦合度量
面向软件全生命周期的缺陷检测和故障定位
质量需求驱动的软件演化管理和故障侦探方法
软件变更影响分析及故障检测和定位
面向Web服务的软件测试和验证理论与方法
一种针对Tendermint共识协议的多阶段自动化的形式化验证方法
一种基于依赖结构特征的Feature Envy代码坏味检测方法
一种基于功能相似度的API推荐结果评估方法
一种软件架构可持续演进原则达成性度量方法
一种基于本体的架构行为模式识别方法
一种基于多规则聚类的组件识别方法
一种基于黄金分割搜索及软件执行轨迹的条件切片方法
一种基于CPS的道路信号灯控制系统及其方法
一种基于本体的设计模式识别方法
一种基于软件架构的可演进性度量方法
一种基于本体的架构模式建模方法
一种基于序列模式挖掘的并发程序剖析方法
一种基于路径执行频率的单过程程序静态切片方法及系统
一种架构静态成熟度度量方法
一种架构动态成熟度度量方法
一种基于程序切片的功能可复用性度量方法
一种面向软件演化的代码可替换性评估方法
一种基于模型转换的CPS建模与验证方法
一种基于微分代数时序动态逻辑的CPS属性验证方法
基于HybridUML向微分代数程序转换的CPS建模与验证方法
基于扩展的层次有色Petri网的Web组合服务测试方法
展开全部
数据信息来源于网络，若有侵权请联系客服