静态代码分析的形式化概念分析模型

IF 1.4 4区数学 Q1 MATHEMATICS

Carpathian Journal of Mathematics Pub Date : 2021-11-15 DOI:10.37193/cjm.2022.01.13

S. Motogna, Diana Cristea, Diana Șotropa Molnar

{"title":"静态代码分析的形式化概念分析模型","authors":"S. Motogna, Diana Cristea, Diana Șotropa Molnar","doi":"10.37193/cjm.2022.01.13","DOIUrl":null,"url":null,"abstract":"Tools that focus on static code analysis for early error detection are of utmost importance in software development, especially since the propagation of errors is strongly related to higher costs in the development process. Formal Concept Analysis is a prominent field of applied mathematics that uses conceptual landscapes to discover and represent maximal clusters of data. Its expressive visualization method makes it suitable for exploratory analyses in different fields. In this paper we present a Formal Concept Analysis framework for static code analysis that can serve as a model for quantitative and qualitative exploration and interpretation of such results.","PeriodicalId":50711,"journal":{"name":"Carpathian Journal of Mathematics","volume":null,"pages":null},"PeriodicalIF":1.4000,"publicationDate":"2021-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Formal concept analysis model for static code analysis\",\"authors\":\"S. Motogna, Diana Cristea, Diana Șotropa Molnar\",\"doi\":\"10.37193/cjm.2022.01.13\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Tools that focus on static code analysis for early error detection are of utmost importance in software development, especially since the propagation of errors is strongly related to higher costs in the development process. Formal Concept Analysis is a prominent field of applied mathematics that uses conceptual landscapes to discover and represent maximal clusters of data. Its expressive visualization method makes it suitable for exploratory analyses in different fields. In this paper we present a Formal Concept Analysis framework for static code analysis that can serve as a model for quantitative and qualitative exploration and interpretation of such results.\",\"PeriodicalId\":50711,\"journal\":{\"name\":\"Carpathian Journal of Mathematics\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.4000,\"publicationDate\":\"2021-11-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Carpathian Journal of Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.37193/cjm.2022.01.13\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Carpathian Journal of Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.37193/cjm.2022.01.13","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 1

摘要

专注于静态代码分析以进行早期错误检测的工具在软件开发中至关重要，尤其是因为错误的传播与开发过程中的更高成本密切相关。形式概念分析是应用数学的一个突出领域，它使用概念景观来发现和表示数据的最大聚类。其富有表现力的可视化方法使其适用于不同领域的探索性分析。在本文中，我们提出了一个用于静态代码分析的形式化概念分析框架，该框架可以作为对这些结果进行定量和定性探索和解释的模型。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formal concept analysis model for static code analysis

Tools that focus on static code analysis for early error detection are of utmost importance in software development, especially since the propagation of errors is strongly related to higher costs in the development process. Formal Concept Analysis is a prominent field of applied mathematics that uses conceptual landscapes to discover and represent maximal clusters of data. Its expressive visualization method makes it suitable for exploratory analyses in different fields. In this paper we present a Formal Concept Analysis framework for static code analysis that can serve as a model for quantitative and qualitative exploration and interpretation of such results.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Carpathian Journal of Mathematics MATHEMATICS, APPLIED-MATHEMATICS

CiteScore

2.40

自引率

7.10%

发文量

审稿时长

>12 weeks

期刊介绍： Carpathian Journal of Mathematics publishes high quality original research papers and survey articles in all areas of pure and applied mathematics. It will also occasionally publish, as special issues, proceedings of international conferences, generally (co)-organized by the Department of Mathematics and Computer Science, North University Center at Baia Mare. There is no fee for the published papers but the journal offers an Open Access Option to interested contributors.