静态检查

摘要： 安全是企业发展的基石,企业的发展,必须牢牢抓住安全这条主线,电力企业的安全隐患主要集中在作业现场,作业现场的安全隐患就是违章,深化反违章工作机制,提升作业现场安全水平,切实保护劳动者的生命安全,是国网黄陵县供电公司一直探索主要方向,“静态检查”“作业现场专职安全员”“安全吹哨人”等反违章工作新方法,切实降低作业现场违章频次,提升了公司安全管控水平。

摘要： 近日,电客车从十三里车站缓缓出发,标志着大连地铁13号线工程“车通”这一里程碑式的节点目标已圆满达成,接下来将全面开展综合联调动车调试等工作,为后续的空载试运行夯实基础。热滑是在接触网进行全面静态检查并完成冷滑试验合格后,在接触网受电条件下,对接触网质量状况进行的动态试验检查。

摘要： 综合控制柜是集电源转换与控制、空调机组控制、照明控制、蓄电池欠压保护等功能单元于一体的智能型综合控制柜.本文对控制柜进行静态检查与动态试验和故障处理进行分析.

摘要： 在牛羊检疫过程中,临诊检查是牛羊检疫工作的重要组成部分。牛羊屠宰上市销售之前,对牛羊进行严格的临诊检查,能够及时发现牛羊群中存在的异常问题,并及时采取措施将其中存在的问题解决,确保肉制品安全。该文主要结合实际情况,就牛羊检疫技术中的临诊检查方法进行分析,通过个体检查、动态检查、静态检查和饮食检查对牛羊健康状况作出判断,特别要注意对重点传染性疾病的检查。

摘要： 本文主要对我矿的MT-08发动机缸体穴蚀这一重大故障的发生原因、专业维修、故障点的判断和对此类故障点的管控措施的制定做了详细说明.研究缸体构造来判断故障点可能是缸盖内部有裂纹或缸体薄弱处有串通.为延长发动机周期使用寿命,设计了发动机缸体多功能柱塞,解决了这一故障难题.

摘要： 2018年6月13日,一款名为＂奔跑的兔子＂的地铁隧道智能巡检机器人在＂2018北京国际城市轨道交通展览会＂上惊艳亮相,吸引了众多参观者。据了解,目前地铁隧道的巡检和安全防护主要以人工静态检查为主、少量动态检测车为辅的形式完成。前者工作环境较为艰苦,速度慢、效率低、占用线路时间长,同时,有些问题靠人工无法快速识别判断。

摘要： 软件度量是针对软件开发项目、过程及产品进行数据定义、收集和分析的持续度量化过程;持续集成工具上的的构建工程每天自动完成从版本库更新代码、静态检查、编译、出包、自动化用例测试等任务,在进行集成构建的过程中可以为软件度量提供多种相关的度量数据;结合工作实践,叙述了基于持续集成的软件度量的原理;软件度量管理涉及到的角色;软件度量实现过程;叙述了基于持续集成的两种类型的软件度量指标的定义以及提取方法;最后详细叙述了在软件度量过程中遇到的几个典型案例;工作实践表明在软件的开发过程中做好软件度量工作有助于软件开发部门控制、预测、和改进软件产品的质量与软件开发过程;从而提高软件质量和软件开发效率,降低软件开发成本.%The software metrics involved software development project,process and prodution data definition,collection,and analysis,it is a continuous quantitative process.Tasks as updating the code from the repository,static checking,compile,package,test automation cases are automatically running by building project in continuous integration tool,during the process of building a variety of related metrics data for software metrics are provided.In combination with working practice,the principle of software metrics based on continuous integration are described;the roles involved in the management of the software metrics;the process of software metrics implemented.Described two types definition of software metrics and extraction methods based on the continuous integration.At last,several typical cases encountered in the process of software metrics is described in detail.Practice shows that in the software development process,to do a good job of software metrics helps to control,prediction,and improve the quality of the software product and software development process in software development department.Improves the efficiency of software development and software quality,reduces the cost of software development.

摘要： After the software is delivered to customers,all kinds of problems and defects are needed to be solved during the use of soft-ware. The software developed by the VXWORKS operating system is usually used the hot-patch technology,which can solve the software errors with the system operated normally. In order to solve kinds of questions and defects,the technique of hot patch is needed to be re-searched deeply. With the practice of the work, the characteristics of VXWORKS operating system and the types of files during the process of hot patch making are described. With ClearCase as the configuration management tool and ICP-CI as the continuous integra-tion tool to produce hot patches,the process of software hot patches based on the VXWORKS operating system is described in detail,in-cluding writing and static checking the code of hot patch,making the hot patch files for modules,packing the hot patches,and testing and releasing the version package of hot patches. Finally,a typical work case is introduced. Practice shows that the technique of hot patch has the advantages of real-time repair,and will not affect the normal operation of the embedded system,improving system reliability,reducing the cost of software development.%软件产品交付用户使用后,需要解决软件产品在使用过程中的各类问题与缺陷.对于VXWORKS操作系统开发的软件产品,通常采用热补丁技术,可以在不影响系统正常运行的情况下完成对软件产品错误的修复.为了解决软件在使用过程中的各类问题与缺陷,需要深入研究热补丁技术.结合工作实践,叙述了VXWORKS操作系统的特点和热补丁制作过程中的各种相关技术.以ClearCase作为配置管理工具,ICP-CI作为持续集成工具,进行热补丁包制作;详细叙述了基于VXWORKS系统的软件热补丁包制作过程,包括热补丁代码的编写和静态检查、模块热补丁文件的制作、热补丁包打包、热补丁版本包的测试与发布.最后介绍了一个典型工作案例.工作实践表明,热补丁技术具有实时修复,且不影响嵌入式系统正常运行的优点,提高了系统可靠性,降低了软件开发成本.

摘要： 随着我国经济的高速增长,汽车制造业的不断发展,中国的汽车行业已经进入高速发展的通道,车辆鉴定评估也已初步渗透到社会的各个领域之中,对旧车辆如何进行科学、客观和准确的评估是一个亟待解决的问题.文章首先从静态二手车检查方法入手,详细的阐述了二手车的初级辨别方法.其次,着重介绍了二手车评估方法中的成本重置法,并以算例加以说明,为二手车的辨别和估值提供了一定的指导意见.

摘要： In order to ensure the quality of code in C/C++ based on Linux and VxWorks operating sys-tem,the Klocwork Checking for source code is needed. With SVN and ClearCase as configuration manage-ment tool,installing and allocating of Klocwork tool in different operating system, then doing Klocwork checking for C/C++ source code. Described in detail the Linux environment SVN client installation,code update of the SVN repository,installing and allocating of Klocwork tool,code update of the ClearCase re-pository,the scripts and detailed steps for Klocwork checking in both Linux and VxWorks operating sys-tem are given and disposal of the checked defects. Finally a typical case is introduced. Practice shows that the Klocwork checking help to timely discover and solve all kinds of flaws of the C/C++ code,to improve software quality and safety.%为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。

摘要： 给出了对静态检查可执行程序时序安全漏洞中的2个主要问题的研究结果：1)2种新的时序安全漏洞模型；2)建立二进制程序的下推自动机方法。实验证明该方法可以有效地辅助在可执行程序中验证和发现时序安全漏洞。

摘要： 一种减少由于使流水线停止以重建重命名表而导致的时间惩罚的乱序CPU、设备和方法。一种微处理器可以包括具有解码器、分派器以及至少一个执行单元的流水线。重命名表存储重命名数据，并且检查点表（CPT）存储从分派器接收到的重命名数据。重新排序缓冲区（ROB）存储ROB数据，并且具有与CPT的静态映射关系。如果诸如由于误预测而清除了重命名表，则至少部分地通过并发复制存储在CPT中的重命名数据，协同在ROB上步移，来重建重命名表。

摘要： 本发明涉及一种轨道交通车载软件半形式化需求用的静态检查系统及方法，系统包括：语法分析模块对输入语法分析模块的需求进行检查分析，通过后生成抽象语法树；影响关系分析模块以语法分析模块产生的需求抽象语法树作为输入，分析各条需求之间的影响关系；类型检查模块，若事先已定义需求变量的类型，则据此分析需求变量之间的类型转换以及是否存在不同类型需求变量赋值情况；量纲检查模块若事先已定义需求变量的量纲，则据此分析需求变量之间的量纲转换以及是否存在不同量纲的变量赋值情况。与现有技术相比，本发明具有能提高需求验证的效率，节省时间，降低成本等优点。

摘要： 本公开的各实施例涉及使用静态检查器结果对证伪的功率感知形式属性进行自动调试。功率意图规范指定集成电路的设计的期望功率意图，例如功率域在不同条件下的状态。功率感知形式属性描述由功率意图规范指定的期望行为。证伪的功率感知形式属性指示设计没有表现出期望行为。此外，调试上下文数据库包含针对静态检查违规的调试上下文，该静态检查违规由设计的功率感知静态检查产生。静态检查基于设计的静态结构，来检查是否符合功率意图规范。将证伪的功率感知形式属性与静态检查违规进行匹配。生成数据结构，该数据结构将针对匹配的静态检查违规的调试上下文关联为证伪的功率感知形式属性的可能原因。

摘要： 本发明公开了一种基于xml测试脚本代码的静态检查方法，包括如下步骤：S1、构建检查规则库；S2、加载待检测脚本代码文件并进行预处理得到若干脚本代码子文件；S3、依次匹配脚本代码子文件的检查规范列表；S4、根据检测规范表的检测逻辑依次对脚本代码子文件进行测试；S5、若测试发生故障，执行S6；若测试未发生故障，执行S9；S6、对故障区段信息进行故障分析和修正后，执行回归静态检查；S7、根据设定执行次数阈值重复执行S5‑S6，若重复次数超过阈值，则执行S8；S8、将出现测试故障的脚本代码子文件的标号关联至故障共享容器；S9、对若干脚本代码子文件进行编织得到目标脚本代码文件。方案显著提高了测试脚本代码检测效率，避免了漏查的问题。

摘要： 本发明公开一种基于DTW与最小二乘估计的轨道静态检查历史数据匹配方法，包括：选择[t0,tend]里程范围的当前静态检查数据作为查询序列Q，将同里程[t0,tend]范围的同名既往静态检查数据作为匹配序列C；利用DTW算法计算Q和C规整路径P，并由P采用最小二乘估计计算里程偏移量δ，按[t0‑δ,tend‑δ]重新选择查询序列Q，重复这一过程，直至相邻两次里程偏移量δ之差小于预设值；再次利用DTW算法计算Q和C规整路径Pbest，即轨道静态检查历史数据匹配关系。本发明实现了在静态检查数据存在噪声、异步、偏移、漂移以及里程伸缩条件下多次静态检查数据的匹配，其匹配精度高，匹配速度快，可用于提高轨道静态检查数据的分析的精确性。

摘要： 本发明提供一种基于DTW与稳健估计的轨道静态检查历史数据匹配方法，包括：选择[t0,tend]里程范围的当前静态检查数据作为查询序列Q，将同里程[t0,tend]范围的同名既往静态检查数据作为匹配序列C；利用DTW算法计算Q和C规整路径P，并由规整路径P采用稳健估计计算里程偏移量δ，按[t0‑δ,tend‑δ]重新选择查询序列Q；再次利用DTW算法计算Q和C规整路径Pbest，即轨道静态检查历史数据匹配关系。本发明利用动态时间规整弹性度量静态检查历史数据的相似性，并依据匹配路径近似的线性关系进行里程偏移量的稳健估计，实现了在静态检查数据存在噪声、异步、偏移、漂移以及里程伸缩条件下多次静态检查数据的匹配，其匹配精度高，匹配速度快，能够提高轨道静态检查数据分析的精确性。

摘要： 本发明公开了一种代码静态检查的方法与设备，涉及计算机软件编程技术领域，本发明采用自定义检查过滤条件+自动化检查的方式，自动批量生成适用于PC‑Lint的参数，方便的进行单个源代码文件检查，高效过滤检查结果中的无效内容，能够有效缩短检查时间。本发明不仅可进行单个源代码文件检查还可进行增量检查。同时，本发明可调用PC‑Lint进行多线程并发执行，进一步缩短了检查时间，促进编码人员进行代码静态检查的积极性，进而提高软件质量。

摘要： 本发明提供了一种轨道动、静态检查数据的匹配方法，包括：按第一预设里程范围截取动态检查的高低(或轨向)数据，并按静态检查所定义的弦长计算中点矢距，得到训练数据；选择需匹配的静态检查的高低(或轨向)数据，作为测试数据；将训练数据与测试数据采用动态时间规整计算最小累积距离路径，得到动、静态检查数据的匹配关系。本发明利用中点矢距统一高低(或轨向)定义，建立动、静态检查数据的相似关系，然后利用动态时间规整克服不同检查系统的波形在幅值及里程上的平移、伸缩、漂移及弯曲，实现动、静态检查数据的精确匹配，可用于提高轨道状态评定、检测资料综合分析以及轨道病害的诊断效果。

摘要： 本发明提供一种基于缺陷预测的软件静态检查警告排序优化方法。根据已知软件系统的源代码和开发过程信息，抽取软件系统的模块度量信息并对软件模块是否存在缺陷进行标注；根据软件模块度量和缺陷信息利用机器学习算法构建缺陷预测模型；对待分析的软件系统，获取它的模块度量信息、模块依赖信息和静态检查产生的警告信息；对待分析系统进行缺陷预测获得新系统各模块包含缺陷的概率；通过k‑core分解得到每个软件模块的核心度值；最后依据每一个静态检查警告所在的模块包含缺陷的概率和模块核心度值对警告进行排序，向开发者推荐最有可能与缺陷相关的警告，提升静态检查工具的实用性，帮助开发者尽快发现软件中包含的缺陷。

摘要： 本发明涉及一种轨道交通车载软件半形式化需求用的静态检查系统及方法，系统包括：语法分析模块对输入语法分析模块的需求进行检查分析，通过后生成抽象语法树；影响关系分析模块以语法分析模块产生的需求抽象语法树作为输入，分析各条需求之间的影响关系；类型检查模块，若事先已定义需求变量的类型，则据此分析需求变量之间的类型转换以及是否存在不同类型需求变量赋值情况；量纲检查模块若事先已定义需求变量的量纲，则据此分析需求变量之间的量纲转换以及是否存在不同量纲的变量赋值情况。与现有技术相比，本发明具有能提高需求验证的效率，节省时间，降低成本等优点。