杨子江
- 作品数：7 被引量：2H指数：1
- 供职机构：西安交通大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术环境科学与工程经济管理更多>>
- 多线程程序数据竞争检测与证据生成方法被引量：1
- 2014年
- 数据竞争是多线程程序最为常见的问题之一。由于线程交织导致状态空间爆炸,多线程程序数据竞争引起的错误检测难度大、成本高、精度低;此外,即使检测到数据竞争,由于线程调度难以控制、执行过程难以复现,错误难以复现和定位。提出了一种多线程程序数据竞争检测与证据生成方法,基于程序语义分析和执行过程监测,构建程序的执行路径约束模型和数据竞争条件,将多线程程序数据竞争检测问题转化为约束求解问题,降低检测难度,提高检测精度;利用SMT求解器计算可能的数据竞争,并生成触发该数据竞争的程序执行序列,协助程序员定位和验证错误。实验中对10个程序进行了测试,相比现有数据竞争检测工具threadsanitizer和helgrind,本方法检测出的数据竞争多出287.5%和264.7%,且没有误报,而其他方法平均误报率为10.5%和9.8%。
- 张晓东郑庆华刘烃俞乐晨刘沛杨子江
- 关键词：数据竞争
- 国家环境监控(理)信息系统
- 陆新元林宣雄田为勇孙波郑小迎陈善荣杨子江杨屹李勇军王国彦任小东王江春高飞宋谦朱杉侯春声薛向辉
- 目前，在环保领域利用高新技术改造传统监测、监理、监控手段的必要性和重要性已为业界所共识，但研制出的产品多针对某一局部的环境问题，网络规模小、无法共享信息、下端数据接入方式单一、不能及时反映治理效果、功能扩充能力有限。与国...
- 关键词：
- 关键词：环境监控信息系统
- 基于调用结构的软件可生存性评估方法被引量：1
- 2013年
- 提出一种基于软件调用结构分析的软件系统可生存性评估方法。该方法首先采用静态词法分析技术和基于面向方面编程的动态监控技术,分析软件组件间的调用关系,建立软件系统的调用网络;通过移除部分组件以模拟组件的失效,将选定组件所对应的节点及相关的边从调用网络中移除,生成残余组件调用网络。提出了可生存系数,即残余组件最大联通子图占原调用网络图的比例。实验中选取8个开源软件项目和Struts的20个版本的可生存性指标进行评估,其结果与人们对软件升级的感性认识相同:在软件在升级中,为了解决各种缺陷和实现部分新增功能,软件结构可生存性不断下降;每次发布的新版本由于重新设计系统架构,软件的质量会显著提升。
- 侯雨桥屈宇刘林峰郑庆华刘烃郑超杨子江
- 关键词：复杂网络理论
- 基于分支概率引导的回归测试案例生成方法
- 2013年
- 提出一种基于分支概率引导的回归测试案例生成方法。首先,通过对程序建模生成程序控制依赖图并计算分支概率,分支概率是指对某分支取反后所生成的测试案例能够覆盖程序修改部分的概率;然后,根据分支概率引导符号执行来生成能够覆盖程序修改部分的测试案例,符号执行每次选择分支概率最大的分支取反来生成测试案例,并迭代生成测试案例使之逐渐逼近符合期望的测试案例。对2个程序的20个演化版本进行测试案例生成,在相同实验环境下与已有的两种回归测试案例生成方法即eXpress和传统DSE进行比较。实验结果显示:相对原有方法本方法减少了45.6%和61.1%的搜索次数。
- 俞乐晨王海军郑庆华刘烃黄小龙杨子江魏嵬
- 证券投资基金风险分析与控制研究
- 证券投资基金在中国作为新生事物,在其动作经营中面临着各种各样的风险.有效地进行风险控制是基金的基本管理目标之一.在论文中,笔者将风险归为两个基本类型--投资风险和管理风险,并分别进行了深入具体的研究.关于投资风险,该文通...
- 杨子江
- 关键词：证券投资证券投资基金风险分析投资组合上市公司治理开放式基金
- 文献传递
- 基于线程切片胎记的多线程软件抄袭检测方法
- 本发明提出了一种基于线程切片胎记的多线程软件抄袭检测方法，包括：1)基于动态插桩技术对待分析的目标程序实施运行时监控，实时地识别系统调用，并记录与之相关的线程ID、系统调用号、返回值等相关信息，然后对其进行预处理得到有效...
- 郑庆华刘均范铭田振洲刘烃杨子江
- 文献传递
- 基于线程切片胎记的多线程软件抄袭检测方法
- 本发明提出了一种基于线程切片胎记的多线程软件抄袭检测方法，包括：1)基于动态插桩技术对待分析的目标程序实施运行时监控，实时地识别系统调用，并记录与之相关的线程ID、系统调用号、返回值等相关信息，然后对其进行预处理得到有效...
- 郑庆华刘均范铭田振洲刘烃杨子江
- 文献传递
