A practice-driven systematic review of dependency analysis solutions

Arias, Trosky B. Callo; Spek, Pieter van der; Avgeriou, Paris

doi:10.1007/s10664-011-9158-8

“…Various types of dependencies are distinguished in literature. Callo Arias et al consider that all types fit into three main categories: structural dependencies, behavioral dependencies, and traceability dependencies. The category of structural dependencies, dependencies among parts of a system, is of interest to our study, because static analysis tools focus on dependencies that can be found by inspecting the source code.…”

Section: Dependency Analysismentioning

confidence: 99%

“…Callo Arias et al state that dependency analysis approaches that identify structural dependencies have a high degree of accuracy. Our research outcome shows that it is appropriate to be aware of the limitations of the tools used.…”

Section: Related Workmentioning

confidence: 99%

The accuracy of dependency analysis in static architecture compliance checking

Pruijt

¹

,

Köppe

²

,

Werf

³

et al. 2016

Softw. Pract. Exper.

View full text Add to dashboard Cite

SUMMARYArchitecture compliance checking (ACC) is an approach to verify conformance of implemented program code to high-level models of architectural design. Static ACC focuses on the modular software architecture and on the existence of rule violating dependencies between modules. Accurate tool support is essential for effective and efficient ACC. This paper presents a study on the accuracy of ACC tools regarding dependency analysis and violation reporting. Ten tools were tested and compared by means of a custom-made benchmark. The Java code of the benchmark testware contains 34 different types of dependencies, which are based on an inventory of dependency types in object oriented program code. In a second test, the code of open source system FreeMind was used to compare the 10 tools on the number of reported rule violating dependencies and the exactness of the dependency and violation messages. On the average, 77% of the dependencies in our custom-made test software were reported, while 72% of the dependencies within a module of FreeMind were reported. The results show that all tools in the test could improve the accuracy of the reported dependencies and violations, though large differences between the 10 tools were observed. We have identified 10 hard-to-detect types of dependencies and four challenges in dependency detection. The relevance of our findings is substantiated by means of a frequency analysis of the hard-to-detect types of dependencies in five open source systems.

show abstract

“…Dependency analysis is the method of identifying the dependences of a software program [20]. Callo Arias et al [21] categorizes dependencies to be structural, behavioral, and traceability. Structural dependencies are derived through static analysis of source code.…”

Section: Introductionmentioning

confidence: 99%

A Systematic Judgment to Automated Programming Contracts Generation

Devi¹,

Nalini²

2019

IJRTE

2

0

View full text Add to dashboard Cite

Contracts provide a pre-emptive approach in identifying programming errors at run-time using assertions or by formal Static analysis tool or Manual source code reviews. They describe the expected software behavior. Contracts written by developers have a greater error detection ability than the generic ones that are created automatically but may involve strenuous efforts for larger sized source codes. The intent of this paper is a concise study of prevalent approaches in the generation of contracts and to put forward an approach to derive programming rules for real-time concurrent Java source code automatically with reduced efforts. The proposed method extracts the scalar variables and computed constants from Static program code analysis, then identifies various dependencies dynamically and generates the declarative contracts automatically by Decision tree modeling of computed dependencies. These rules can then be utilized for software Verification.

show abstract

“…Dependency analysis is the method of identifying the dependences of a software program [20]. Callo Arias et al [21] categorizes dependencies to be structural, behavioral, and traceability. Structural dependencies are derived through static analysis of source code.…”

Section: Introductionmentioning

confidence: 99%

A Systematic Judgement to Automated Programming Contracts Generation

2019

ijrte

0

View full text Add to dashboard Cite

Contracts provide a pre-emptive approach in identifying programming errors at run-time using assertions or by formal Static analysis tool or Manual source code reviews. They describe the expected software behavior. Contracts written by developers have a greater error detection ability than the generic ones that are created automatically but may involve strenuous efforts for larger sized source codes. The intent of this paper is a concise study of prevalent approaches in the generation of contracts and to put forward an approach to derive programming rules for real-time concurrent Java source code automatically with reduced efforts. The proposed method extracts the scalar variables and computed constants from Static program code analysis, then identifies various dependencies dynamically and generates the declarative contracts automatically by Decision tree modeling of computed dependencies. These rules can then be utilized for software Verification.

show abstract

A practice-driven systematic review of dependency analysis solutions

Cited by 30 publications

References 92 publications

The accuracy of dependency analysis in static architecture compliance checking

The accuracy of dependency analysis in static architecture compliance checking

A Systematic Judgment to Automated Programming Contracts Generation

A Systematic Judgement to Automated Programming Contracts Generation

Contact Info

Product

Resources

About