Static Code Analyzer - Part II

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
Terminal Interface - Powered by Perl
Conclusõ e trabalho futuro
a
Perguntas

SOPAS - Submissõ Online Para An´lise de
a a
Software

Jos´ Pedro Silva
e Pedro Faria Ulisses Costa

Engenharia de Linguagens
Projecto integrado

March 14, 2011

Jos´ Pedro Silva, Pedro Faria, Ulisses Costa
e SOPAS - Submissõ Online Para An´lise de Software
a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Index

1 Objectivos

2 Aplica¸õ Web
ca
Implementa¸õ:
ca at´ ` segunda fase
ea
Implementa¸õ:
ca linguagens de programa¸õ
ca
Implementa¸õ:
ca Compila¸õ
ca
Implementa¸õ:
ca Execu¸õ
ca

3 Scripts Auxiliares

4 M´tricas
e

5 Frontend

6 Terminal Interface - Powered by Perl

7 Conclusõ e trabalho futuro
a

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

At´ agora:
e

Concretizado at´ ao ´
e ınicio da segunda fase:
Descri¸õ do sistema
ca
Modela¸õ formal e informal do problema
ca
Modelo de dados
´
Inicio da implementa¸õ e respectivo tool demo
ca

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Motiva¸õ e Objectivos
ca

Objectivos para segunda fase:
Terminar a aplica¸õ web
ca
- compilar e executar o c´digo fonte submetido
o
- guardar e apresentar resultados
Investiga¸õ das m´tricas existentes
ca e
Scripts auxiliares
Explora¸õ de um frontend
ca

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares Implementa¸õ:
ea
M´tricas
e Implementa¸õ:
ca
Frontend Implementa¸õ:
ca Compila¸õ
ca
Terminal Interface - Powered by Perl Implementa¸õ:
ca Execu¸õ
ca
a
Perguntas

Index

1 Objectivos

2 Aplica¸õ Web
ca
Implementa¸õ:
ea
Implementa¸õ:
ca
Implementa¸õ:
ca Compila¸õ
ca
Implementa¸õ:
ca Execu¸õ
ca

3 Scripts Auxiliares

4 M´tricas
e

5 Frontend

6 Terminal Interface - Powered by Perl

7 Conclusõ e trabalho futuro
a

a a

Objectivos
Aplica¸õ Web
ca
ea
M´tricas
e Implementa¸õ:
ca
ca Compila¸õ
ca
ca Execu¸õ
ca
a
Perguntas

Implementa¸õ: at´ ` segunda fase
ca ea

J´ implementado para o ultimo checkpoint:
a ´
Cria¸õ de contas de utilizador (grupo)
ca
Associa¸õ de concorrentes a determinado grupo
ca
Cria¸õ de concursos
ca
Cria¸õ de enunciados (atrav´s da interface web ou
ca e
submetendo em formato xml)
Inser¸õ de baterias de teste para os enunciados
ca
Submissõ de programas para avalia¸õ
a ca

a a

Objectivos
Aplica¸õ Web
ca
ea
M´tricas
e Implementa¸õ:
ca
ca Compila¸õ
ca
ca Execu¸õ
ca
a
Perguntas

Implementa¸õ: linguagens de programa¸õ
ca ca

Configura¸õ de linguagens de programa¸õ:
ca ca
Estando a linguagem correctamente configurada no servidor, ´ e
simples preparar o sistema de submissõ para avaliar c´digo
a o
submetido nessa linguagem
Para isso basta inserir o comando usado para compilar e para
executar, que por exemplo, em C seria:
String compila¸õ: gcc -O2 -Wall #{file}
ca
String de execu¸õ default: ./a.out
ca
String de execu¸õ para makefile: ./#{file}
ca

a a

Objectivos
Aplica¸õ Web
ca
ea
M´tricas
e Implementa¸õ:
ca
ca Compila¸õ
ca
ca Execu¸õ
ca
a
Perguntas

Implementa¸õ: Compila¸õ
ca ca

Caso seja necess´rio compilar o c´digo fonte submetido, ´
a o e
usada a string de compila¸õ definida aquando da
ca
configura¸õ da linguagem
ca
Se for submetido um ficheiro comprimido que inclua um
makefile, ´ executado o comando make e, o nome do
e
execut´vel criado ´ obtido a partir de um script perl
a e

a a

Objectivos
Aplica¸õ Web
ca
ea
M´tricas
e Implementa¸õ:
ca
ca Compila¸õ
ca
ca Execu¸õ
ca
a
Perguntas

Implementa¸õ: Execu¸õ
ca ca

Para executar o programa para os diferentes inputs, ´ usada a
e
string de execu¸õ simples (no caso de ser submetido apenas
ca
um ficheiro) ou a string de execu¸õ para makefile (no caso
ca
de ser submetido um makefile)
Para cada input o comando ´ corrido uma vez
e
O output ´ capturado e comparado com o esperado
e
´
E guardada a percentagem de testes no qual o c´digo
o
submetido passou

a a

Objectivos
Aplica¸õ Web
ca
ea
M´tricas
e Implementa¸õ:
ca
ca Compila¸õ
ca
ca Execu¸õ
ca
a
Perguntas

Implementa¸õ: Apresenta¸õ de resultados
ca ca
A qualquer altura o utilizador pode consultar os resultados das
ultimas submiss˜es (suas ou dos restantes participantes)
´ o
Pode tamb´m consultar os seus melhores resultados, para
e
cada enunciado

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Scripts auxiliares

Script (em Perl) para obter o nome do execut´vel gerado pelo
a
makefile (para C)
Script (em Perl) que gera estat´
ısticas relativamente `
a
quantidade de ficheiros submetidos para cada linguagem de
programa¸õ
ca

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Script makefile.pl

Utiliza o m´dulo perl Makefile::Parser para fazer parse do
o
makefile, e obter o nome do execut´vel gerado
a
No caso de nõ ser definido um nome para o output, retorna
a
a.out
TODO: Suportar mais linguagens par al´m do C.
e

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Script count.pl

Dada uma pasta, explora recursivamente os seus direct´rios, e
o
extra´ v´rias estatisticas relativas ´ quantidade de n´mero de
ı a a u
linhas
N´mero de linhas de c´digo por linguagem
u o
N´mero de linhas comentadas por linguagem
u
Rćio entre linhas de c´digo e n´mero de ficheiros para cada
a o u
linguagem
Percentagem de linguagem mais usadas no projecto
...
Utiliza o m´dulo perl GD para gerar gr´ficos
o a

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

An´lise Dinˆmica
a a

Log analysis extrair informa¸õ dos logs
ca
Testing investigar comportamento atrav´s de casos
e
Debugging bom para detectar defeitos
Instrumentation monitorizar e medir o n´ de performance
ıvel
Profiling investiga¸õ sobre o comportamento de um programa
ca
(CPU, mem)
Benchmarking compara¸õ de medidas
ca

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

An´lise Est´tica
a a

Syntax checking atestar a correçõ da linguagem
ca
Type checking garantir restri¸õ dos tipos
ca
Decompilation inferir ou descobrir c´digo atrav´s de bin´rio
o e a
Code metrics tirar conclus˜es sobre a qualidade
o
Style checking verificar determinadas regras que se acredita serem
boas prćticas
a
Verification reverse engineering verificar se a implementa¸õ
ca
cumpre a especifica¸õ
ca

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

M´tricas de qualidade de software
e

Nr of test lines
Line Coverage =
nr of tested lines
Nr of test methods
Decision coverage =
Sum of McCabe complexity
Nr of test lines
Test granularity =
nr of tests
Decision coverage
Test eﬃciency =
line coverage

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Bug Patterns

// foo . c file
# include < stdio .h >

int main () {
char * a = " I like you ";
char * b = " I hate you ";

if (& a < & b ) a = *(& a + 1) ;
else a = *(& a - 1) ;

printf ("% s n " , a ) ;
}

[ u l i s s e s a r a u j o c o s t a @ m a c l i s s e s : c ] - $ gcc -o foo foo . c
[ u l i s s e s a r a u j o c o s t a @ m a c l i s s e s : c ] - $ ./ foo
I hate you

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Source Lines of code (SLOC)

Este tipo m´tricas diz respeito ` informa¸õ que uma linha de
e a ca
c´digo pode conter.
o
for ( i = 0; i < 100; i += 1) printf (" hello ") ; /* How many
lines of code is this ? */

1 Linha fisica de c´digo (LOC)
o
2 Linhas logicas de codigo (LLOC) (o for e o printf)
1 Linha de coment´rio
a

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Language.C

Language.C ´ um front-end para Haskell que implementa a
e
linguagem C e muitas extens˜es do GCC.
o
data CStat = CLabel Ident CStat [ CAttr ] NodeInfo
| CCase CExpr CStat NodeInfo
| CCases CExpr CExpr CStat NodeInfo
| CDefault CStat NodeInfo
| CExpr ( Maybe CExpr ) NodeInfo
| CCompound [ Ident ] [ CBlockItem ] NodeInfo
| CIf CExpr CStat ( Maybe CStat ) NodeInfo
| CSwitch CExpr CStat NodeInfo
| CWhile CExpr CStat Bool NodeInfo
| CFor ( Either ( Maybe CExpr ) CDecl ) ( Maybe CExpr ) ( Maybe CExpr ) CStat
NodeInfo
| CGoto Ident NodeInfo
| CGotoPtr CExpr NodeInfo
| CCont NodeInfo
| CBreak NodeInfo
| CReturn ( Maybe CExpr ) NodeInfo
| CAsm CAsmStmt NodeInfo

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Language.C - Utiliza¸˜o (simples)
ca

module Main where

import Language . C
import Language . C . System . GCC
import Language . C . Data . Ident
import System . Environment

process :: String -> IO ()
process file = do
stream <- parseCFile ( newGCC " gcc " ) Nothing [] file
case stream of
( Left error ) -> print error
( Right cprog ) -> print " OK "

main :: IO ()
main = do
files <- getArgs
mapM_ process files

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Terminal Interface

Criado para facilitar a manuten¸˜o e o acesso ` base de dados.
ca a
Interface utilizada apenas pelos administradores do sistema.

a a

Objectivos
Aplica¸õ Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Terminal Interface - Perl

Escolheu-se esta linguagem devido:
R´pida implementa¸õ
a ca
Vasta diversifica¸õ de m´dulos
ca o
Desses m´dulos, usa-se e pretende-se usar:
o
DBIx::Class
Term::Readline
Digest::SHA2
XML::DT

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Estado actual
Exemplo actual da interface:

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

a

Implementar as v´rias m´tricas descritas no relat´rio para C
a e o
com o FrontEnd
Melhorar a utiliza¸˜o pelo terminal e as suas funcionalidades
ca
Tornar a interface utilizador mais intuitiva e mais agrad´vel de
a
utilizar

a a

Objectivos
Aplica¸˜o Web
ca
Scripts Auxiliares
M´tricas
e
Frontend
a
Perguntas

Perguntas

?

a a

Static Code Analyzer - Part II

Recommandé

Recommandé

Contenu connexe

Similaire à Static Code Analyzer - Part II

Similaire à Static Code Analyzer - Part II (20)

Plus de Ulisses Costa

Plus de Ulisses Costa (15)

Dernier

Dernier (8)

Static Code Analyzer - Part II