Work in progress - Measuring the ROI{sub}(time) for Static Analysis

机译：正在进行的工作 - 测量静态分析的ROI {sub}（时间）

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Static analysis is one method that offers potential for reducing errors in delivered software. Static analysis is currently used to discover buffer overflows and mathematical errors, as well as verifying compliance with documented programming standards. Static analysis is routinely used in safety critical software applications within the avionics and automotive industries. Outside of these applications, static analysis is not a routinely taught method for software development. This paper intends to provide a quantitative measure for evaluating the effectiveness of static analysis as well as presenting results from an academic environment.

机译：静态分析是一种方法，可以提供减少交付软件中错误的可能性。静态分析目前用于发现缓冲区溢出和数学错误，以及验证遵守记录的编程标准。静态分析通常用于航空电子产品和汽车行业内的安全关键软件应用中。在这些应用之外，静态分析不是一种常规教授的软件开发方法。本文旨在提供评估静态分析的有效性的定量措施以及学术环境的呈递结果。

著录项

来源
《Annual Conference on Frontiers in Education》|2005年||共2页
会议地点
作者
Walter W. Schilling; Mansoor Alam;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TB-53;
关键词
Computer science education; Programming environments; Software economics; Software engineering; Software metrics; Software tools; Static Analysis;

机译：计算机科学教育;编程环境;软件经济学;软件工程;软件度量;软件工具;静态分析;

相似文献

外文文献
中文文献
专利

1. Measuring radiologist workload: Progressing from RVUs to study ascribable times [J] . Pitman Alexander, Cowan Ian A., Floyd Richard A., Journal of neurosurgical sciences . 2018,第5期

机译：测量放射学家工作量：从RVU进展以研究依am
2. Measuring radiologist workload: Progressing from RVUs to study ascribable times [J] . Pitman Alexander, Cowan Ian A, Floyd Richard A, Journal of medical imaging and radiation oncology . 2018,第5期

机译：测量放射学家工作量：从RVU进展以研究依am
3. Workspace and statics analysis of 4-UPS-UPU parallel coordinate measuring machine [J] . Xiulong Chen, Xiaoxia Liang, Xianyang Sun, Measurement . 2014,第Null期

机译：4-UPS-UPU平行三坐标测量机的工作空间和静力学分析
4. Work in progress - Measuring the ROI{sub}(time) for Static Analysis [C] . Walter W. Schilling, Mansoor Alam Annual Conference on Frontiers in Education . 2005

机译：正在进行的工作 - 测量静态分析的ROI {sub}（时间）
5. An analysis of the concurrent and predictive validity of curriculum based measures CBM), the Measures of Academic Progress (MAP), and the New England Common Assessment Program (NECAP) for reading. [D] . Andren, Kristina J. 2010

机译：对基于课程的测验（CBM），学业进步测验（MAP）和新英格兰共同评估计划（NECAP）的并发和预测效度进行分析。
6. Computed Tomographic Evaluation of the Sacroiliac Joints of Young Working Labrador Retrievers of Various Work Status Groups: Detected Lesions Vary Among the Different Groups and Finite Element Analyses of the Static Pelvis Yields Repeatable Measures of Sacroiliac Ligament Joint Strain [O] . Michael Carnevale, Jeryl Jones, Gang Li, 2020

机译：计算机断层评价各种工作状态群的年轻工作拉布拉多术后的骶髂关节：检测到的病变在静态骨盆的不同组和有限元分析中变化得到可重复措施的骶髂关节关节菌株
7. We develop a model of scientific creativity and test it in the field of rare diseases. Our model is based on the results of an in-depth case study of the Rett syndrome. Archival analysis, bibliometric techniques and expert surveys are combined with network analysis to identify the most creative scientists. First, alternative measures of generative and combinatorial creativity are compared. Then, we generalize our results and present a stochastic model of socio-semantic network evolution. The model predictions are tested with multiple networks of rare disease specialties. We find that new scientific collaborations among experts in a field enhance combinatorial creativity. Instead, high entry rates of novices are negatively related to generative creativity. By extending the set of useful concepts, creative scientists gain in centrality. At the same time, by increasing their centrality in the scientific community, scientists can replicate and generalize their results, thus contributing to a scientific paradigm. [O] . Massimo Riccaboni, Maria Laura Frigotto 100

机译：我们开发了一种科学创造力模型，并在稀有疾病领域进行测试。我们的模型基于对Rett综合征的深入案例研究的结果。档案分析，文献计量技术和专家调查与网络分析相结合，以确定最具创造力的科学家。首先，比较生成和组合创造力的替代措施。然后，我们推广了我们的结果，并提出了社会语义网络演化的随机模型。模型预测用多个罕见疾病专业网络进行测试。我们发现，一个领域的专家之间的新的科学合作增强了组合创造力。相反，新手的高入门率与生成创造力负相关。通过扩展这组有用的概念，创造性的科学家获得了中心地位。同时，通过增加科学界的中心地位，科学家们可以复制和推广他们的结果，从而促进科学范式的发展。

Work in progress - Measuring the ROI{sub}(time) for Static Analysis

摘要

著录项

相似文献

相关主题

期刊订阅