AGEDIS

1. AGEDIS

2. Cosa è AGEDIS? AGEDIS è un applicazione che permette software testing automatizzato.

3. 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)

4. Come funziona AGEDIS? • l’user crea un modello comportamentale del SUT(system under test) usando un editor AML • il modello viene annotato con le informazioni per il test(criteri di coverage, test specifici, vincoli di testing, ecc) • Il modello viene compilato in file IF(intermediate format) e in TD(testing directives) contenenti le informazioni per il testing

5. 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

6. Breve introduzione sulla GUI di AGEDIS

7. Breve introduzione sulla GUI di AGEDIS Dal menù File vengono eseguite le “classiche” operazioni creazione, apertura e salvataggio ecc

8. Breve introduzione sulla GUI di AGEDIS Dal menù Model si effettuano le operazioni che concernono il modello del SUT

9. Breve introduzione sulla GUI di AGEDIS Dal menù Generation è possibile generare l’ATS specificando il file IF e i file TD associati al progetto.

10. Breve introduzione sulla GUI di AGEDIS Dal menù Execution è possibile creare e aprire file ATS e file TD. Inoltre è possibile eseguire l’ATS e impostare i Proxies in Caso di esecuzioni in remoto

11. Breve introduzione sulla GUI di AGEDIS Dal menù Trace è possibile aprire i file SET, cercare difetti nell’esecuzione, e far partire analisi di coverage e defect (Feedback Analysis)

12. Breve introduzione sulla GUI di AGEDIS Dal menù Option è possibile settare 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 messaggi interni durante la generazione dei test)

13. 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

14. 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.

15. 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

16. 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

17. 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

18. Test Execution Engine (SPIDER)

19. Test Execution Engine (SPIDER) Test Preparation Layer: ne fanno parte le applicazioni usate per preparare test e analizzare i risultati Test suite generator: genera ATS Spider Wizard: aiuta a creare i TED basandosi sui ATS Test suite browser: permette all’user di scegliere ATS e SET da usare ATS & TED editor: un editor che permette di modificare modificare i TED e di creare abstract test manualmente

20. 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

21. 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