基于过程蓝图的静态代码控制流生成算法

对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切片算法将程序进行预处理,利用过程蓝图对代码进行可视化操作形成程序的中间表示形式抽象语法树。然后对其构造和特点进行研究,提出抽象语法树的遍历算法。通过该算法得到程序的控制流图。最后,利用控制流图和控制树,对静态代码进行高效的控制流分析,监测这些代码是否满足安全性、可靠性等方面的指标,为检测和处理软件缺陷降低成本。     

IATG: 基于解释分析的自动驾驶软件测试方法

以深度神经网络(deep neural network, DNN)为基础构建的自动驾驶软件已成为最常见的自动驾驶软件解决方案. 与传统软件一样, DNN也会产生不正确输出或意想不到的行为, 基于DNN的自动驾驶软件已经导致多起严重事故, 严重威胁生命和财产安全. 如何有效测试基于DNN的自动驾驶软件已成为亟需解决的问题. 由于DNN的行为难以预测和被人类理解, 传统的软件测试方法难以适用. 现有的自动驾驶软件测试方法通常对原始图片加入像素级的扰动或对图片整体进行修改来生成测试数据, 所生成的测试数据通常与现实世界差异较大, 所进行扰动的方式也难以被人类理解. 为解决上述问题, 提出测试数据生成方法IATG (interpretability-analysis-based test data generation), 使用DNN的解释方法获取自动驾驶软件所做出决策的视觉解释, 选择原始图像中对决策产生重要影响的物体, 通过将其替换为语义相同的其他物体来生成测试数据, 使生成的测试数据更加接近真实图像, 其过程也更易于理解. 转向角预测模型是自动驾驶软件决策模块重要组成部分, 以此类模型为例进行实验, 结果表明解释方法的引入有效增强IATG对转向角预测模型的误导能力. 此外, 在误导角度相同时IATG所生成测试数据比DeepTest更加接近真实图像; 与semSensFuzz相比, IATG具有更高误导能力, 且IATG中基于解释分析的重要物体选择技术可有效提高semSensFuzz的误导能力.     

基于软件度量的Solidity智能合约缺陷预测方法

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity, SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program, COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集...     

液压支架平衡千斤顶失效原因分析和预防措施

平衡千斤顶是两柱掩护式支架的重要部件,对支架的性能影响很大。掩护式液压支架在煤矿生产中多次出现因平衡千斤顶失效造成严重的事故。为了预防此类事故的发生,列举了以往平衡千斤顶失效的主要形式并分析其原因,最后提出相应的预防措施。     

基于CFD的电液主控阀阀芯内部流场数值分析

以液压支架用的电液主控阀为研究对象,对其主阀芯进行了详细的流场模型建立,采用CFD方法对主阀芯内部流场进行了仿真分析,得到主阀芯内的流体压力、速度矢量与湍动能云图。发现主阀芯内的流场规律,为改进优化阀的性能提供了有利的依据。     

DeltaFuzz: Historical Version Information Guided Fuzz Testing

With the widespread use of agile software development methods,such as agile and scrum,software is iteratively updated more frequently.To ensure the quality of the software,regression testing is conducted before new versions are released.Moreover,to improve the efficiency of regression testing,testing efforts should be concentrated on the modified and impacted parts of a program.However,the costs of manually constructing new test cases for the modified and impacted parts are relatively expensive.Fuzz testing is an effective method for generating test data automatically,but it is usually devoted to achieving higher code coverage,which makes fuzz testing unsuitable for direct regression testing scenarios.For this reason,we propose a fuzz testing method based on the guidance of historical version information.First,the differences between the program being tested and the last version are analyzed,and the results of the analysis are used to locate change points.Second,change impact analysis is performed to find the corresponding impacted basic blocks.Finally,the fitness values of test cases are calculated according to the execution traces,and new test cases are generated iteratively by the genetic algorithm.Based on the proposed method,we implement a prototype tool DeltaFuzz and conduct experiments on six open-source projects.Compared with the fuzzing tool AFLGo,AFLFast and AFL,DeltaFuzz can reach the target faster,and the time taken by DeltaFuzz was reduced by 20.59%,30.05%and 32.61%,respectively.     

多媒体网络技术在英语教学中的双向评测

在分析多媒体网络技术在英语教学中应用的基础上,通过对教师和学生进行有关多媒体网络教学模式取得的效果进行问卷调查和访谈,用Excel就其结果进行分析,与传统的教学模式进行比较,从定量和定性两个方面论证了多媒体网络环境下,英语教师和学生如何从其中获益进而实现教师与学生的相互评测以及各自的自我评测,进一步说明了多媒体网络技术在英语教学中应用所实现的双向评测,能有效地提高教师的教学水平,培养学生的自主学习能力。     

需求驱动的服务Agent协作及其协商框架

传统的面向服务计算模式通常是包含中央控制结点的集中控制结构,多Agent理论和技术提供了另一种角度看待服务计算,本文将Web看成一种主动服务实体,即服务Agent,服务计算模式演变为一种非集中式的、分布式结构,服务Agent主动发现需求并在需求吸引下聚集,通过功能本体和自动机制设计,得到需求解决方案,形成需求解决方案后,协作方案选择可以被归结为二部图上的0-1整数规划,这是一个NP完全问题,本文给出一种多Agent协商框架,服务请求方和各服务Agent通过有限次协商交互最终达成协议,该协议选定服务Agent解决需求的一种协作方案,通过模拟对协商框架进行验证.     

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。     

软件项目绩效评价研究述评

界定了软件项目绩效评价的范围和内涵,以软件项目绩效评价为主线,从软件项目管理、质量控制、风险管理和过程改进等方面入手,对软件项目绩效评价的研究作以述评;认为当前软件绩效评价的研究仅限于相关因素的分析,对项目过程管理的研究仅关注过程改进模型的认证;得出了完善评价指标体系、建立综合评价模型应是软件项目绩效评价研究主要方向的结论,对加强我国软件项目管理具有指导意义.