产品数据管理系统的构造框架和实现方法

基于对产品数据管理的含义、主要功能和开放性的讨论，提出了产品数据管理系统层次化的构造框架和相应层应当遵从的主要标准.在这一模型基础上,提出并分析了实现产品数据管理系统的3种不同的方法：基于网络数据库管理系统的方法、基于群件平台的方法及基于Intranet和Web技术的方法.     

模糊测试中的静态插桩技术

模糊测试是一种行之有效的软件缺陷检测方法.其基本思想是生成大量随机输入，从而广泛探索程序行为，并以此发现程序崩溃和崩溃背后的软件缺陷.显然，纯随机的输入无法高效探索程序行为，大量程序缺陷也难以导致崩溃.为了进一步提升模糊测试的有效性，模糊测试往往引入静态插桩技术，用于加快探索程序状态空间速度，提升发现缺陷的能力.因此，引入静态插桩已经成为当下模糊测试的经典实践.聚焦于模糊测试场景下的插桩需求，除了介绍静态插桩技术的基本原理外，从安全特性强化和导向信息收集两个视角出发，系统性地分析了当下静态插桩的典型方法.同时，针对插桩的额外开销问题，全面地测量了不同插桩方案下的程序的执行速度，并与基线的未插桩程序进行比对.最后基于上述分析和测量，初步展望了静态插桩的优化方向.