AGEDIS

Cosa è AGEDIS?

AGEDIS è un applicazione che permette

software testing automatizzato.

Software necessari all’utilizzo di AGEDIS

Per il funzionamento di AGEDIS sono necessari dei software esterni.

Vengono richiesti:- JDK 1.4 o superiore- Cygwin- Objecteering 5.3(per costruire il modello

AML)- FoCus(per permettere il funzionamento del

tool per coverage analisys)

Come funziona AGEDIS?

1) l’user crea un modello comportamentale del SUT(system under test) usando un editor AML

2) il modello viene annotato con le informazioni per il test(criteri di coverage, test specifici, vincoli di testing, ecc)

3) Il modello viene compilato in file IF(intermediate format) e in TD(testing directives) contenenti le informazioni per il testing

Come funziona AGEDIS?

4) Viene generato automaticamente un test suite ATS (abstract test suite) usando il modulo di test generation

5) Il modello, le informazioni per il test e il test suite vengono controllate dai developers e i customers

6)Il test suite viene eseguito automaticamente tramite il test execution engine sul SUT e i risultati vengono messi nel corrispondente file SET.

7) I passi precedenti vengono ripetuti fino a quando non si ottengono i risultati di coverage e quality richiesti

Breve introduzione sulla GUI di AGEDIS

Breve introduzione sulla GUI di AGEDIS

Dal menù File

vengono eseguite le

“classiche” operazioni

creazione, apertura e

salvataggio ecc

Breve introduzione sulla GUI di AGEDIS

Dal menù Model si

effettuano le operazioni

che concernono il

modello del SUT

Breve introduzione sulla GUI di AGEDIS

Dal menù Generation è

possibile generare l’ATS

specificando il file IF e i

file TD associati al

progetto.

Breve introduzione sulla GUI di AGEDIS

Dal menù Executionè possibile creare eaprire file ATS e fileTD. Inoltre è possibileeseguire l’ATS eimpostare i Proxies in Caso di esecuzioni inremoto

Breve introduzione sulla GUI di AGEDIS

Dal menù Traceè possibile aprire i fileSET, cercare difettinell’esecuzione, e farpartire analisi dicoverage e defect(Feedback Analysis)

Breve introduzione sulla GUI di AGEDIS

Dal menù Option è possibilesettare i path in cui si trovano installati software ausiliari(Global), il path in cui salvare il progetto e gestire le opzioni sulla compilazione e la generazione (Es generare test case senza loop o visualizzare i messaggiinterni durante la generazione deitest)

Creazione di Test Suite

Per la generazione dei test suite da

applicare al modello, AGEDIS viene fornito

di un manuale contenente la sintassi dei

comandi e il loro utilizzo. Inoltre sono

presenti anche degli esempi per facilitare la

comprensione.

Per ulteriori informazioni consultare il file

“TestSuiteUserGuide.pdf” presente nella cartella

“Manuals” nel CD di AGEDIS

Test Generation Engine

Il test generation engine di AGEDIS è basato sul model based test generation tool TGV.

TGV è basato sul modello di IOLTS( input output labelled transition system) per la descrizione formale del comportamento dei test object.

Test Generation Engine

Due proprietà principali sono importanti per i test suite rispetto alle specifiche e alla conformance:

Correctness, che implica che solo le implementazioni non conformanti sono scartate

Exhaustivity, che indica che tutte le implementazioni non conformanti sono scartate

Test Generation Engine

La correcteness è ottenuta dalla generazione automatica dei test ed è stato provato che TGV produce solo test cases corretti

Exhaustivity è in genere non dimostrabile in quanto alcune specifiche contengono loop o la IUT è non deterministica.

Comunque TGV ha un proprietà che dice che gli infiniti test suite composti da tutti i test cases che possono essere prodotti, trovanto tutte le implementazioni giuste

TED

Mentre l’ATS indica cosa eseguire sul System Under Test, il Test Extecution Directive(TED) indica come eseguire l’ATS

I TED XML based e sono editabili per poter inserire ulteriori direttive.

AGEDIS viene fornito di un manuale contenente la sintassi dei comandi e il loro utilizzo.

Per ulteriori informazioni consultare il file

“TEDUserGuide.pdf” presente nella cartella

“Manuals” nel CD di AGEDIS

Test Execution Engine (SPIDER)

Test Execution Engine (SPIDER)

Test Preparation Layer: ne fanno parte le applicazioni usate per preparare test e analizzare i risultati

Test suite generator: genera ATSSpider Wizard: aiuta a creare i TED basandosi sui

ATSTest suite browser: permette all’user di scegliere

ATS e SET da usareATS & TED editor: un editor che permette di

modificare modificare i TED e di creare abstract test manualmente

Test Execution Engine (SPIDER)

Data Exchange Layer: descrive i files che passano tra il test preparation layer e il test execution layer

Abstract Test Suite: è un insieme di files che descrive il test suite da eseguire

Test Execution Directives: indica come eseguire l’ATS in un particolare system under test.

Suite Execution Trace: memorizza i risultati ottenuti nell’esecuzione del test

Test Execution Engine (SPIDER)

Test Execution Layer: contiene le componenti usate per eseguire il test. Comunicano tramite una rete

Spider Test Driver: è il cuore del sistema. Controlla tutti gli altri componenti. Esiste solo un driver in tutto il sistema. Esegue l’ATS sul SUT consultando i TED e scrive i risultati nel SET

Spider Host Manager: l’host manager gira su tutte le piattaforme. Praticamente rappresenta il Test Driver in tutte le macchine nell’ambiente di esecuzione. Il uso compito principale è creare e distruggere Spider Process Controller

Spider Process Controller: il processo crea distrugge osserva e controlla gli objets under test per conto del test driver