基于变异测试的错误定位研究进展

随着软件规模和复杂度的不断提高，软件的质量问题成为了关注的焦点，如何高效地找出软件中的错误成为一个亟需解决的问题。错误定位是软件质量保证的重要途径之一，近年来已经成为软件工程中一个非常重要的研究课题。基于变异测试的错误定位通过比较原程序和对应变异体的差异来计算每条语句的怀疑度，再由怀疑度大小进行排序，程序员根据排序逐个检查找出错误语句。汇总近7年（2012-2018）国内外的基于变异测试的错误定位技术的研究成果，介绍了错误定位的基本方法，介绍基于变异测试的错误定位思想，从变异算子、变异体及等价变异体3个方面对已有的研究工作进行分类归纳和总结，探讨了基于变异测试的错误定位未来可能的研究方向、机遇和挑战。     

实验室用MJ0B1-40划槽组介绍

本文介绍了毛皮加工行业实验室专用设备——用于小块毛皮、细杂皮的鞣制与染色的MJ0B1-40划槽组的构造及使用性能。该设备系一种新型设备,有一定的推广价值。     

倾斜转鼓内鼓的改进

七十年代倾斜转鼓开始在我国皮革行业使用,以它的优越性赢得了生命力。很快被皮革厂普遍采用,有些厂用倾斜转鼓取代了传统的木制转鼓。但几年之后,它不那么流行了,一般厂仅拿它用于浸水工序,其它工序又用起了传统木转鼓。倾斜转鼓面临着二个难关:其一是防腐;其二是保温。不解决它,就影响倾斜转鼓的推广和使用。倾斜转鼓的鼓身,一般都用普通钢制成。在制革中,生皮成熟革所用的化工材料都有酸、碱性,普通钢制鼓体是经受不起酸     

面向缺陷定位的代码搜索引擎

随着软件项目规模的扩大以及软件复杂性的增加,缺陷修复的难度越来越大.其中,绝大多数缺陷问题都是由代码的错误编写导致的,在软件缺陷修复过程中开发维护人员需要花费大量的时间定位并修改缺陷代码.针对这个问题,对缺陷报告以及对应的项目变更信息进行整合,根据代码抽象语法树结构信息计算代码块与缺陷报告之间的关系,从而构建缺陷-代码知识库.在此知识库的基础上构建面向缺陷定位的代码搜索引擎,以向用户推荐更全面的缺陷定位信息,包括相似缺陷报告、相关缺陷代码文件以及缺陷代码块,从而帮助开发和维护人员及时有效地定位缺陷.实验结果说明,相比现有的缺陷定位方法,所提方法能够更准确地定位缺陷代码文件,并且可有效定位到代码粒度.     

智能合约漏洞检测工具研究综述

智能合约是区块链平台实现交易的重要组件,为多方交易间信任问题提供了一种有效的解决方案.智能合约不仅管理高价值代币还具有不可更改等特性,导致近年来智能合约多次遭受安全威胁.目前出现了大量关于智能合约安全性的研究,其中智能合约漏洞检测成为主要关注点.文中系统分析了智能合约安全问题,从是否执行合约的角度将漏洞检测工具分为静态检测工具和动态检测工具,并对检测工具进行对比分析,重点分析现有检测工具的漏洞检测能力,介绍了 16种检测技术的原理及优缺点;最后,对如何提高智能合约安全性进行展望,提出了 3个可能提高智能合约安全性的研究方向.     

鉴定会消息

大连红旗机械厂试制的GJ2C6-150削匀机、GJ4E2-210×190通过式绷平干燥机鉴定会,于1984年3月21—23日在北京由轻工业部机械局主持召开,全国制革厂、皮革机械厂共四十多位行家参加了鉴定会。两台设备均通过鉴定。削匀机与绷平干燥机分别是对捷克和意大利     

会议消息

1989年12月20～21日,在辽宁省锦州市由轻工部科技司主持召开了国家“七五”攻关项目毛皮渐变染色机鉴定和“提高剪绒羊皮产品质量及新产品开发”小试鉴定会。毛皮渐变染色机是由轻工部毛皮制革研究所研究设计,浙江瑞安轻机三厂试制的。该机使毛皮在染色过程中,毛皮的颜色在皮子长度方向上,产生由浅到深的渐渐变化效果。通过渐变染色制成的裘皮服装,式样新     

基于模板的软件缺陷修复推荐方法

软件中长期累积的历史遗留问题导致软件产品的规模和复杂性逐渐增大．为了有效提高软件缺陷修复的效率,本文针对源代码文件中的修复前代码版本和修复后代码版本之间的差异,根据预定义的细粒度更改操作提取缺陷修复模板,并基于此修复模板提出了一种缺陷修复推荐方法．结果表明,模板的覆盖范围可达67.11%,并且5位参评者评估其有效,认为此修复模板适用于软件缺陷并且能够解决部分缺陷问题．