科研专业方向
研究领域:
基础软件
研究方向:
软件测试与软件质量保证;智能计算及其应用;智能与学习软件设计与测试;软硬件故障大数据挖掘与应用;容错与可靠性;软件形式化方法与应用;应用驱动的大数据系统设计与测试
研究领域:
基础软件
研究方向:
软件测试与软件质量保证;智能计算及其应用;智能与学习软件设计与测试;软硬件故障大数据挖掘与应用;容错与可靠性;软件形式化方法与应用;应用驱动的大数据系统设计与测试
合作单位 | 合作论文数量 |
---|---|
东南大学计算机科学与工程学院 | 10 |
江苏省软件质量研究所 | 3 |
南京航空航天大学理学院 | 2 |
微软中国研发集团 | 2 |
香港理工大学电子计算学系 | 2 |
香港科技大学 | 2 |
北京科技大学 | 1 |
清华大学 | 1 |
北京大学 | 1 |
东南大学江苏省软件质量研究所 | 1 |
中国工程物理研究院计算机应用研究所 | 1 |
华东师范大学计算机科学与软件工程学院 | 1 |
南京航空航天大学信息科学与技术学院 | 1 |
北京航空航天大学自动化科学与电气工程学院 | 1 |
北京科技大学计算机与通信工程学院 | 1 |
北京化工大学信息科学与技术学院 | 1 |
中国矿业大学信息与电气工程学院 | 1 |
大连理工大学软件学院 | 1 |
中国科学院数学与系统科学研究院 | 1 |
北京航空航天大学 | 1 |
论文标题 | 基金名称 |
---|---|
软件可靠性评估的重要抽样方法 | 国家自然科学基金Nos.607731046072100290818027国家高技术研究发展计划 |
面向路径覆盖的演化测试用例生成技术(英文) | Supported by the National Natural Science Foundation of China under Grant Nos.90818027 60633010the National High-Tech Research and Development Plan of China under Grant No.2009AA01Z147the National Grand Fundamental Research 973 Program of China under Grant No.2009CB320703~~ |
基于历史的云平台故障注入测试 | 国家重点研发计划 |
覆盖表生成的遗传算法配置参数优化 | 国家自然科学基金 |
组合测试故障定位的关系树模型 | 国家自然科学基金 |
一种验证分布式协议活性属性容错机制的模型检测方法 | 国家重点研发计划 |
基于程序路径分析的有效蜕变测试 | 国家杰出青年科学基金项目 |
暂无荣誉成就信息
前言
一种验证分布式协议活性属性容错机制的模型检测方法
一种验证分布式协议活性属性容错机制的模型检测方法
前言
基于SysML的嵌入式软件系统建模与验证方法研究
软件可靠性评估的控制论观点
基于历史的云平台故障注入测试
组合测试研究进展
基于搜索的软件工程研究专题前言
组合测试故障定位的关系树模型
组合测试故障定位的关系树模型
覆盖表生成的粒子群算法:参数优化和自适应算法
覆盖表生成的遗传算法配置参数优化
关于软件测试的几点思考
一种组合测试用例生成的可配置混合算法
组合测试数据生成的交叉熵与粒子群算法及比较
软件可靠性评估的重要抽样方法
一种并行环境下测试用例优先级技术度量方法
回归测试中测试用例优先级技术研究综述
软件可靠性评估的重要抽样方法
面向路径覆盖的演化测试用例生成技术(英文)
面向路径覆盖的演化测试用例生成技术(英文)
基于程序路径分析的有效蜕变测试
基于程序路径分析的有效蜕变测试
一种带约束测试模型的动态随机测试方法及装置
一种基于用户评论识别App关键功能的方法及装置
一种验证分布式协议活性属性容错机制的检测方法及装置
一种基于有限状态机的回归测试方法及装置
黑盒故障注入方法和系统及介质设备
黑盒故障注入方法和系统及介质设备
一种基于云平台历史故障数据的故障注入方法
一种CSRF攻击的CSRFToken防御系统和方法
一种CSRF攻击的快速定位与识别系统和方法
测试用例集执行顺序确定的方法及系统
测试用例集执行顺序确定的方法及系统
覆盖表约简的方法及系统
系统故障模式确定的方法及装置
系统故障模式确定的方法及装置
多因素工业系统的故障快速识别方法