一种基于故障模型的代码静态测试方法研究

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。     

基于灰度分布的图像三角网格化算法

借助于小波图像分解,提出一种基于图像内容的三角网格表示方法——基于双向模板的图像三角网格化算法.算法考虑图像的灰度分布,利用小波的图像分解能够将图像的各个方向的细节表现出来这一特性,给出符合原始图像灰度分布的三角划分,再对图像的三角划分进行三角网格化,最后获取整幅图像的网格划分.为了得到更好的重建图像质量,对该初始网格进行了细分,并针对三角网格规模的减小做出优化算法.同时提出一种记录模板号和细分点的数据存储结构,用二进制数据流来存储三角网格.通过实验数据对比,该算法能够很好的表示图像,在三角网格规模以及重建图像质量上较其它算法都有一定的优势,是一种极其有效的图像表示方法.     

高频振动膜处理含油污水实验研究

使用机械振动和超滤组件结合的高频振动剪切超滤膜过滤系统,来考察振动频率、进口压力、料液流量等因素对膜系统渗透通量和分离性能的影响。利用清水、含油污水和0．1％NaOH溶液来研究高频振动剪切超滤膜过滤系统的性能,对比了常规静态错流膜过滤与高频振动剪切膜过滤,验证振动剪切膜过滤方式的可行性和有效性。     

基于规则图形的连接关系生成算法及其开放格式表达

以一种开放的格式来表迭规则图形厦其连接关系将极大地提高囤、数一体化数据共享能力，降低重复开发现象．文章分析了规则图形连接关系的形成特点，利用囤论的思想形式化地描述了规则图形的形成过程度其连接关系矩阵的生成算法，并给出了基于SVG格式的图、数一体化的开放格式表迭方法．     

变量定义未使用故障的一种静态测试方法

变量定义未使用故障是C/C 程序中的可见故障,该类故障可导致计算结果错误或系统崩溃.针对C/C 语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C 语言中变量定义未使用的故障模型,结合静态测试特点,给出了一种静态查找此类故障的方法.该方法已用于面向故障的软件测试系统中.     

未初始化变量的一种静态测试方法

软件测试系统的研制是软件测试领域的一个研究热点.未初始化变量是C/C 程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.针对C/C6 语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C 语言中未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.该方法已实现,并已应用于面向故障的软件测试系统中.     

碳纤维复合材料加固混凝土受弯构件的正截面计算方法

根据试验研究和工程实践,提出碳纤维复合材料加固混凝±受弯构件的正截面计算公式,公式中考虑了原构件因初始受荷影响,造成碳纤维复合材料应变滞后,提出二次受力影响系数。根据构件受力后碳纤维强度实际贡献情况,提出碳纤维预成型板或碳纤维织物的强度利用系数。这两个系数即真实反应了加固构件受力工作情况,又简化了计算方法。     

复杂网络路由策略优化设计

复杂网络是近几年信息物理领域涌现出的热点,复杂网络的研究,提供了一种复杂性研究的新视角、新方法;针对复杂网络上信息流的传输问题,提出了一种新型复杂网络路由策略,并基于无标度网络演化模型进行了仿真;以拥塞度、投递率为依据,与已有的路由策略进行了性能比较,且仿真效果得到了一定程度的改善。     

一种分层结构测试脚本技术

测试脚本是自动化测试重要的组成部分,对不同类型的脚本技术进行了研究总结,提出且实现了一种分层结构的脚本技术,并对其进行了评价.结果表明该技术可行,达到了预期的目标.     

139社区的运营走向：虚实相间的SNS新体验

和一般SNS社区相比,139社区充分体现出手机和互联网融合的特征：需要用手机号才能注册并登录,手机号是唯一的身份认证,每次登陆会收到短信告知,用户打电话、发短信、加好友都必须使用真实的手机号。目前,139社区已基本具备网盘、游戏等典型SNS功能,最大亮点在于整合移动运营商渠道和业务优势,“i联系”、“关系雷达”和“短信珍藏”等具有移动特色的自有互联网产品,可以给用户带来融合通信网和互联网的新体验。