Zoran Budimac, Gordana Rakić

18
SSQSA architecture Zoran Budimac, Gordana Rakić

description

SSQSA architecture. Zoran Budimac, Gordana Rakić. Contents. Abstract Motivation Related work Description Conclusion and results Future work. Abstract. Set of Software Quality Static Analyzers (SSQSA) - PowerPoint PPT Presentation

Transcript of Zoran Budimac, Gordana Rakić

Page 1: Zoran Budimac, Gordana Rakić

SSQSA architecture

Zoran Budimac, Gordana Rakić

Page 2: Zoran Budimac, Gordana Rakić

Contents

Abstract Motivation Related work Description Conclusion and results Future work

Page 3: Zoran Budimac, Gordana Rakić

Abstract

• Set of Software Quality Static Analyzers (SSQSA)

• Aim of SSQSA: to provide some static software analyzers to ensure, check, and consequently increase, the quality of software products

• Characteristic: language independency

Page 4: Zoran Budimac, Gordana Rakić

Contents

Abstract Motivation Related work Description Conclusion and results Future work

Page 5: Zoran Budimac, Gordana Rakić

Motivation

• Originated from a language-independent software metrics tool (SMIILE) and was gradually extended to other tools

• Language independency significantly increases usability

Page 6: Zoran Budimac, Gordana Rakić

Contents

Abstract Motivation Related work Description Conclusion and results Future work

Page 7: Zoran Budimac, Gordana Rakić

Related work

• FAMIX meta-model has one of the most similar general goals to our project.

– Language independent

– supports OO design (at the interface level of abstraction)

– There is no language independent mechanism to fill meta-model with information from source-code

Page 8: Zoran Budimac, Gordana Rakić

Contents

Abstract Motivation Related work Description Conclusion and results Future work

Page 9: Zoran Budimac, Gordana Rakić

SSQSA architecture

Page 10: Zoran Budimac, Gordana Rakić

SSQSA architecture (2)

• eCST

– Language independent representation of source code

– concrete syntax tree enriched with universal nodes that describe elements of language semantics

• eCST generator

– central component of SSQSA

– constructs an internal eCST equivalent for input program

– Based on parsers for different languages

– Export eCST in XML format

Page 11: Zoran Budimac, Gordana Rakić

SSQSA architecture (3)

• SNEIPL, an extractor and analyzer of software networks,

• SSCA, an analyzer of software structure and its changes with an access to a software repository

• SMIILE, a calculator of software metrics with its own repository of metrics history

• An integration of SMIILE in “Testovid”

*Currently under development.

• The separate tool for software testing that will be based on further transformations of eCST to eCFG (enriched Control Flow Graph).

*Currently under development.

Page 12: Zoran Budimac, Gordana Rakić

eCST GeneratorGordana Rakić

Page 13: Zoran Budimac, Gordana Rakić

Delphi / Halstead

Jozef Kolek

Page 14: Zoran Budimac, Gordana Rakić

SNEIPLMiloš Savić

Page 15: Zoran Budimac, Gordana Rakić

SMIILE & TestovidIvan Pribela

Page 16: Zoran Budimac, Gordana Rakić

General conclusionThe tool that integrates all described functionalities, including ones planed for SMIILE tool, would provide important features for consistent development and maintenance of heterogonous software systems consisting of different components, implemented in different programming languages.

Page 17: Zoran Budimac, Gordana Rakić

Future work

• Grammar translator

• Adding intelligence

– In early phase based on grammar detect which measures are to be applied

– In late phase – reasoning based on results in repositories

• …

Page 18: Zoran Budimac, Gordana Rakić

Thank you

Hvala