对创建定制静态分析规则用于缺陷定位的挑战进行实证调查
Diogo S Mendonça1, Marcos Kalinowski2
1(CEFET/RJ), Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, Rio de Janeiro, Brazil.
概括
模式驱动维护 (PDM) 有助于创建用于缺陷定位的自定义静态分析规则. 有效的PDM应用需要仔细的维护者选择,培训,以及新手用户可能更高的抽象级别.
科学领域:
- 软件工程 软件工程 软件工程
- 软件维护 软件维护
- 静态分析 静态分析
背景情况:
- 定制的静态分析规则对于软件维护至关重要.
- 模式驱动维护 (PDM) 是创建这些规则的最新方法.
- 对于PDM所面临的挑战和所需的技能没有得到充分的记录.
研究的目的:
- 调查维护人员在应用PDM时所面临的挑战.
- 在缺陷定位中了解PDM所需的技能.
- 评估维护器的效率和PDM的接受度.
主要方法:
- 对初学者维护者进行了观察性研究.
- 任务包括:缺陷模式识别,规则编程和验证.
- 分析了维护人员的表现,接受和定性反.
主要成果:
- 维护人员在调试和软件方面的先验知识显著影响性能.
- 规则编程的学习曲线受到现有的技术专业知识的影响.
- 对于为缺陷定位制作定制静态分析规则,PDM显示出有前途.
结论:
- PDM可以有效地支持自定义静态分析规则的创建,用于缺陷定位.
- 适当的维护者选择和培训对于PDM的有效性至关重要.
- 更高的抽象级别可以简化静态分析规则编程的初学者.
更多相关视频
11:34Subsurface Defect Localization by Structured Heating Using Laser Projected Photothermal Thermography
Published on: May 15, 2017
11.1K
07:24Quantitative Atomic-Site Analysis of Functional Dopants/Point Defects in Crystalline Materials by Electron-Channeling-Enhanced Microanalysis
Published on: May 10, 2021
6.0K
相关概念视频
Quality Assurance
124
Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
124
Microcracking in Concrete
117
Microcracking in concrete refers to the tiny cracks that can form within the material even before any external load is applied. These microcracks typically occur at the interface between the coarse aggregate and the hydrated cement paste, often as a result of differential volume changes prompted by variations in stress-strain behavior, as well as thermal and moisture movement. Initially, these microcracks remain stable and do not grow substantially until the concrete is stressed to about 30...
117
Data Validation
161
Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:
Key parameters for method validation include:
161
Quality Control
162
Quality control is one of the three cyclical quality assurance activities that help keep a system under statistical control. Typical quality control activities include creating quality control charts, conducting proficiency testing, and documenting and archiving results.
Quality control helps track data, visualize trends, and identify variations, making it easier to detect deviations that may affect the accuracy of an analysis. One way to do this is by generating a quality control chart, which...
Quality control helps track data, visualize trends, and identify variations, making it easier to detect deviations that may affect the accuracy of an analysis. One way to do this is by generating a quality control chart, which...
162
