Survey sui Framework per Testing di Sistemi Basati su Web Services

Размер: px
Начинать показ со страницы:

Download "Survey sui Framework per Testing di Sistemi Basati su Web Services"

Транскрипт

1 Survey sui Framework per Testing di Sistemi Basati su Web Services Severoni Francesco Facoltà di Scienze Dipartimento di Informatica Università degli Studi - L Aquila L Aquila, Italia

2 Argomenti Trattati Introduzione Coyote: un framework basato su XML Test Harness: testing funzionale, del carico di lavoro e delle performance Auditorium: framework per testare l interoperabilità dei Web Services Tecnica di progressive group testing Automatic conformance testing Testing di Web Services basato sui contratti Stress test in applicazioni Web Services Testing dei Web Services basato sugli Scenari, con l utilizzo di agenti distribuiti Classificazione dei Framework Conclusioni

3 Introduzione Architetture Orientate ai Servizi e Web Services sono le tecnologie emergenti che hanno ereditato complessivamente vantaggi e svantaggi dell approccio basato su componenti, potenziando gli aspetti di libera associazione, distribuzione e dinamismo di componenti I Web Services supportano comunicazioni interoperabili fra applicazioni software La rilevanza dell interoperabilità è messa in luce dall emergenza delle iniziative WS-I, un consorzio che raggruppa le organizzazioni più importanti nella comunità Web Services L obiettivo delle WS-I è l introduzione di regole e profili specifici che dovrebbero ridurre i problemi di interoperabilità, per lo meno a livello di formati dei messaggi WS-I ha definito un profilo base che specifica differenti regole, anche nell organizzazione degli aspetti, e delle relazioni che devono essere considerare tra le parti di informazioni contenute nei relativi file WSDL, messaggi SOAP e UDDI entries, per facilitare la comunicazione fra diversi servizi.

4 Web Services & Testing Un Web services è un sistema software, modellato per permettere l interoperabilità macchina macchina. Ha una interfaccia descritta in un formato WSDL. Altri sistemi interagiscono con il Web Service nel modo prescritto dalla sua descrizione, usando messaggi SOAP, tipicamente convertiti con l uso di Http e serializzazione XML insieme agli altri standard relativi al Web Il Testing è la verifica dinamica del comportamento di un sistema, eseguita su un insieme finito di casi di test, opportunamente selezionati fra un dominio di input, rispetto alla specifica di un comportamento atteso

5 Testing di Web Services Disciplina immatura Forte bisogno di ricerca, sia nel campo accademico che in quello industriale La ricerca non da attenzione alla comunità di testing dei WSs Cause: Continua sovrapposizione con gli altri paradigmi emergenti ( CBSE) Dettagli tecnici che questa disciplina implica Il testing dei Web Services é una disciplina difficile Architetture debolmente accoppiate richiedono alta qualità Comportamento run time: scoperta e collegamento con altri Web Services Invocazioni da unità sconosciute, con richieste imprevedibili tra fornitore e richiedente Esecuzione concorrente e condivisione di oggetti Problemi di performance Problemi di sicurezza

6 Concetti Base L architettura dei Web Service è basata su tre elementi principali: WSDL (Web Service Description Language): linguaggio usato per descrivere WSs Basato su XML Specifica: Servizi offerti, Punti di accesso, Formato dei parametri di input/output Meccanismi usati per scambiare i messaggi UDDI (Universal Description and Discovery Integration): tecnologia sviluppata dal consorzio OASIS Definisce un meccanismo comune per fornire e recuperare le informazioni dei WS SOAP (Simple Object Access Protocol): protocollo usato per scambiare messaggi basati su XML Fornisce la comunicazione tra Web Services

7 Responsabile dello sviluppo e della pubblicazione del Web Service attraverso il Service Broker Architettura dei Web Services Coinvolge 3 Attori Service Requestor Responsabile dell invocazione del servizio Localizza il Web Service attraverso il service broker Invoca i servizi e li esegue Service Broker Comunemente conosciuto come registro dei servizi Responsabile della registrazione, ricerca e localizzazione dei servizi Service Provider

8 COYOTE FRAMEWORK DI TESTING BASATO SU XML

9 Coyote: un Framework di Testing basato su XML Usato per testare Web Services in modo rapido Composto da due componenti: Test Master: permette ai tester di specificare gli scenari ed i casi di test. Permette di eseguire analisi: delle dipendenze, di completezza e di consistenza, e convertire le specifiche WSDL in scenari di test Test Engine: interagisce con il Web Service sotto test e fornisce le informazioni esaminate Si focalizza sul testing di integrazione

10 Architettura di Coyote Test Master Mappa le specifiche WSDL in scenari di test Estrae le informazioni dalle interfacce del file WSDL e mappa gli scenari di test Test Engine Legge lo script di test prodotto dal test master ed esegue il test sul Web Services Registra traccia dell esecuzione Invia i risultati al test master

11 WS S TEST HARNESS A FUNCTIONAL, LOAD, AND PERFORMANCE TESTING FRAMEWORK FOR WSs

12 Web Service's Test Harness Supporta: Testing delle performance, Testing del carico di lavoro Stress testing CHO testing (ore continue di operazione) per Web Services. E un framework configurabile Permette la simulazione di utenti multipli Può variare il numero di iterazioni dei casi di test

13 THE AUDITION FRAMEWORK FOR TESTING WSs INTEROPERABILITY

14 The Audition Framework: per testare l Interoperabilità dei WSs Estendere il ruolo dell UDDI dal corrente servizio di directory passivo Valida i comportamenti dei WSs prima della registrazione reale Si focalizza sull interoperabilità dei WSs L audizione dipende dalle specifiche del Web Service Propone l estensione del WSDL Introduzione di Protocol State Machine: diagramma di comportamento appena introdotto in UML 2.0

15 Protocol State Machine Introdotto in UML 2.0 allo scopo di supportare lo sviluppo basato su componenti E un particolare tipo di macchina a stati che si focalizza su Transazione Stati Regole Dirige l ordine di esecuzione delle operazioni Fornisce regole chiare per descrivere interazioni di comunicazione tra differenti oggetti Etichette sulle transizioni [ pre condizione]operazione/[post condizione]

16 Architettura dell Audition

17 TESTING WSs USING PROGRESSIVE GROUP TESTING

18 Testing Web Services usando Progressive Group Testing Si focalizza sullo unit, e sull integration testing Propone tecniche di progressive group testing Testare un numero elevato di WSs L idea è testare in gruppo i WSs che realizzano stesse funzionalità Aumento progressivo dei casi di test Consiste di due fasi: Prescreening Testing group a run time Prescreening: processo veloce e sbrigativo Elimina immediatamente i candidati improbabili La fase di group testing: processo elaborato I risultati del test sono valutati con un meccanismo di voto basato su una maggioranza pesata Obiettivo: selezionare il WS migliore fra tutti quelli disponibili

19 Testing Web Services usando Progressive Group Testing Il servizio di voto è usato come oracolo: principio di maggioranza Peso del Web Service entrante = 0 Peso degli altri Web Service = Reliability Il peso di un WS aumenta se l output prodotto è uguale all output di maggioranza La raffinatezza del testing aumenta progressivamente ed il vincitore finale sarà testato in maniera rigorosa Le strategie per escludere un Web Service si basano sul Numero di Casi di Test che un Web Service fallisce ad un livello della gerarchia Criticità dei Casi di Test che un Web Service fallisce ad un livello della gerarchia Importanza dei Casi di Test che un Web Service fallisce ad un livello della gerarchia

20 Progressive Group Testing e Group testing Schema Il numero di casi di test applicato ad un Web Service aumenta in maniera progressiva rispetto al livello della gerarchia CSn è un composite service composto da S1, s2,,sn S1 è funzionalmente equivalente a S11, S12,,S1m S1 viene valutato

21 AUTOMATIC CONFORMANCE TESTING OF WSs

22 Automatic Conformance Testing di Web Services Esegue conformance e stress testing Introduce agenzie di high-quality service discovery forniscono garanzie sulla compatibilità delle interfacce e l implementazione dei servizi Utilizza discovery service per il testing automatico per la validazione dei WS prima della fase di registrazione Prevede l aumento della descrizione sintattica e comportamentale del servizio Utilizzo di regole GT specificano le operazioni individuali del servizio

23 Dinamica dell Automatic Conformance Testing 1. P fa l upload del documento WSDL e delle regole GT 2. U genera automaticamente un insieme di specifiche di test dalle regole GT 3. I casi di test concreti, sono generati ed eseguiti in remoto usando la testing interface T P = Fornitore U = Discovery Service 4. I risultati dei casi di test sono giudicati sulla base dei Risultati ritornati Stati concettuali del servizio

24 Il testing è quindi usato per dimostrare la conformità della specifica con l implementazione Descrizione dei Web Services con Regole GT Modellano il comportamento del servizio fornito, ed i requisiti del client Raffinano le signature del servizio specificando l utilizzo e la modifica dei parametri e dei dati interni Specificano i comportamenti del Web Services a livello concettuale Note: Lo stato del servizio di cui è descritta l evoluzione, non coincide con lo stato concreto dei dati Il testing è eseguito sull implementazione del Web Services I casi di test sono generati dalla specifica

25 Generazione di Casi di Test L idea è generare casi di test per testare: la conformità dell implementazione con l utilizzo di regole individuali generare sequenze di test stressando le interazioni fra le regole E possibile fare una distinzione fra Generazione dei casi di test per servizi singoli, Generazione di test per sequenze di operazioni. La generazione dei casi di test per servizi singoli usa una strategia basata sul dominio, conosciuta anche come partition testing La generazione di casi di test per sequenze di operazioni, garantisce che lo stato del sistema evolverà secondo la specifica, almeno per quanto riguarda le coppie di invocazione dei servizi.

26 Esecuzione di Casi di Test Un caso di test ha una pre condizione consiste in un insieme di vincoli, i quali devono essere soddisfatti nello stato corrente Assumiamo che un Web Service fornisca un interfaccia di testing con tre caratteristiche addizionali di base: La possibilità di settare lo stato iniziale del servizio Un insieme di operazioni Un implementazione della funzione di astrazione Uno stato che permette l esecuzione di un dato caso di test è ottenuto scegliendo uno stato iniziale dall insieme degli stati forniti dal Web Service, e cercando una sequenza adeguata di richieste che cambiano lo stato scelto in uno che soddisfa la pre condizione dello stato del caso di test. Nell esecuzione di un caso di test, lo stato finale del Web Service è recuperato e confrontato con lo stato finale generato dalle regole, nel caso siano uguali il caso di test è stato superato con successo.

27 TOWARD CONTRACT-BASED TESTING OF WSs

28 Testing basato sui Contratti Il meccanismo per realizzare questa visione architettura aperta e dinamica conta su due assunzioni: Che i servizi forniti siano funzionalmente corretti rispetto alle loro descrizioni Che il matching fra descrizioni ed esigenze sia sufficiente per stabilire l interoperabilità fra fornitore e richiedente. Design by Contract è una tecnica OO che ha delle somiglianze nell instaurare contratti legali Un contratto descrive cosa una componente si aspetta dai suoi client e cosa un client può aspettarsi dalla componente

29 Contratti Un contratto è definito tipicamente con asserzioni e concetti associati Una asserzione è una espressione booleana valutata a run time durante l esecuzione del sistema. In un sistema software valido, tutte le asserzioni sono valutate a vero Nel design by contract identifichiamo tre tipi di asserzioni: Pre Condizione: specifica le condizioni da considerate prima dell esecuzione di un operazione Post Condizione: valutate dopo il completamento di una operazione Invariant: valutato sempre prima e dopo l esecuzione di una operazione

30 Contratti Durante il processo di sviluppo di un Web Service siamo di fronte alla rappresentazione di tre livelli differenti di contratti: Livello Implementazione: gli attuali Web Services, sono nella maggior parte dei casi basati su linguaggi di programmazione orientati agli oggetti, e la maggior parte di questi linguaggi supporta solo contratti sintattici Livello XML: i linguaggi di descrizione dei Web Service definiscono le interfacce come una collezione di porte, in termini di signature e operazioni Livello di modello: il cui scopo è derivare contratti a livello di implementazione in modo automatico dalle specifiche e cioè dal modello

31 Specifiche di Contratti basate su modelli Un modello di un Web Service dovrebbe comprendere Interfacce fornite Modello di dati visibili all esterno del servizio (tutti i tipi di dati necessari per comunicare con i suoi clienti) Operazioni offerte dal servizio Per descrivere un interfaccia sono state usate interfacce UML Per rappresentare i modelli di dati di si utilizzano Class Diagram Ai Class Diagram si applicano Regole GT

32 Contratti Forniti e Richiesti Fornitore La parte sinistra della regola specifica le pre condizioni La parte destra della regola descrive la post condizione Richiedente La parte sinistra della regola rappresenta l informazione che questo è disposto a fornire al servizio La parte destra della regola rappresenta la situazione che questo vuole raggiungere usando il servizio.

33 In Conclusione Usare design by contract, a livello di implementazione è un modo per introdurre informazioni delle specifiche nel codice stesso Questo approccio si interessa al testing funzionale derivato dai contratti Assicura che il prodotto consegnato corrisponda alle specifiche Ha senso usare i contratti forniti per la creazione di casi di test che per l oracolo del test Potrebbe divenire impossibile o troppo costoso chiamare altri Web Services al solo scopo del testing Obiettivo del framework: usare i contratti richiesti per guidare la simulazione

34 STRESS TESTING WEB SERVICES

35 Stress Testing su Web Services Lo stress testing è un metodo valido per scoprire difetti di codice Creato per affaticare il software allocando un carico di lavoro molto elevato Può scoprire bug poco noti, che altre tecniche di testing non avrebbero mai rilevato Considerato uno dei Testing più efficienti Il processo è spesso confuso da altri elementi del sistema o di testing funzionali I metodi impiegati, a volte, non sono correttamente implementati oppure non hanno un giusto approccio

36 Bug Rilevati dallo Stress Testing Ci sono diversi tipi di bug che ci si aspetta di scoprire con lo stress testing Due di questi sono: Memory Leaks: estremamente difficile da rilevare con l utilizzo di semplici test funzionali. Richiede la ripetizione in successione di operazioni, al fine di un consumo elevato di memoria Concorrenza e Sincronizzazione: i test di stress primeggiano nella scoperta di problemi di concorrenza, dovuti ai differenti percorsi nel codice e alle condizioni temporali. Come regola generale, uno stress test esegue il più a lungo possibile, tutte, o quasi tutte le combinazioni dei path del codice, al fine di rilevare i problemi di concorrenza e sincronizzazione

37 Condizioni dello Stress Testing Ci sono quattro condizioni di base che i test di stress dovrebbero applicare: Ripetizione = Esecuzione ripetuta di una operazione (condizione più ovvia) Concorrenza = Esecuzione simultanea di differenti operazioni In pratica si eseguono diversi test nello stesso momento Dimensioni = Ammontare del carico di lavoro applicato ad ogni singola operazione Variazione Casuale = Elemento di casualità d ordine.

38 SCENARIO-BASED WEB SERVICE TESTING WITH DISTRIBUTED AGENTS

39 Testing di WSs basato sullo Scenario con Agenti Distribuiti Fornisce caratteristiche per effettuare testing funzionale e non funzionale Propone Verifica Automatica del Servizio con la Registrazione UDDI Estendere WSDL Dipendenze di input-output; Sequenze di invocazioni; Descrizioni funzionali gerarchiche; Specifiche di sequenze concorrenti. Scoperta e collegamento dinamico di WSs Analisi di Sistema Simulazione

40 Analisi e Specifica dello Scenario L interoperabilità dei Web Services definisce tre scenari di interazione One-Way Richiesta/Risposta Sincrona Basic Callback Per derivare gli scenari, il tester può usare tre passi Derivare le specifiche dello scenario per ogni sottosistema Specificare le interazioni fra ogni coppia di sottosistemi Derivare gli scenari globali per il sistema distribuito combinando gli scenari per i sottosistemi individuali

41 Testing di WSs basato sullo Scenario con Agenti Distribuiti

42 Componenti Utilizzate Test Master Amministra le informazioni d interazione e dipendenza tra i sistemi Genera gli script dei test e i casi di test Inizia il testing Verifica la struttura di interazione Test Agent Mappa le pre condizioni e gli eventi degli script dei test Esegue il testing Verifica i risultati confrontandoli con le post condizioni Invia i risultati del test al testmaster Test Monitor Controlla lo scambio dei messaggi Traccia i cambiamenti di stato del sistema

43 Algoritmo di Esecuzione Un tester specifica uno o un gruppo di scenari, ed inizia l esecuzione Il test master carica i dati dello scenario Il test master genera gli script di test con i dati dello scenario Il test master richiede al test agent di eseguire la funzione di sistema Il test agent unisce e invoca la funzione del sistema Il test monitor cattura i messaggi scambiati fra i sistemi, ed i cambiamenti di stato del sistema Il test monitor cattura le informazioni e le rimanda al test master e al test agent Il test master colleziona le informazioni relative allo scenario e verifica i risultati del test e l interazione fra i sistemi

44 ANALISI E CONFRONTO DEI FRAMEWORK ANALIZZATI

45 Componenti usate dai Framework Framework Testing Web Services Using Progressive Group Testing Coyote: An XML-Based Framework Web Service's test Harness: Testing di Web Service basato sullo Scenario con Agenti Distribuiti Componenti Usate WS- I Monitor: piazzato fra client e WS, registra tutti i messaggi: richieste e risposte; WS- I Analyzer: controlla ogni messaggio nel registro in previsione dei requisiti di interoperabilità. Test Master: permette ai tester di specificare gli scenari e i casi di test, così come eseguire le diverse analisi; Test Engine: interagisce con il WS sotto test e fornisce le informazioni esaminate. Configurator: fa il setting iniziale del test; Runtime Engine: amministra gli altri sottosistemi; Report Generator: processa i risultati dei test. Test Master: genera gli script e i casi di test; invia i commenti ai test agent; Test Agent: esegue e verifica i risultati del testing; Test Monitor: controlla lo scambio dei messaggi fra richiedenti e fornitore.

46 Definiscono generalmente interfacce chiare per specificare servizi, allo scopo di aumentare le probabilità che i servizi sviluppati indipendentemente potranno essere in grado di interoperare correttamente Stakeholder Interessati nel Testing dei Web Services Principalmente ci sono tre tipi di stakeholder: Sviluppatori di Web Services (Service Provider) Interessato nella valutazione del risultato, ed in particolare se questo corrisponde al risultato aspettato Valutazione in termini di funzionalità, interazione con altre componenti, e qualità del servizio Fornitore Intermediario del Servizio (Service Broker Provider) Interessate nel testing dei Web Services prima della registrazione Agenzie di Standard (Standards Body)

47 Stakeholder Interessati nel Testing dei Web Services Framework Sviluppatore Fornitore Intermedio Agenzia di Standard Audition Framework for Testing Web Services Interoperability X X Testing Web Services Using Progressive Group Testing X X X Coyote: An XML-Based Framework for Web Services Testing X Web Service's Test Harness X Automatic Conformance Testing of Web Services X X Towards Contract-based Testing of Web Services X X Stress Testing Web Services X X X Testing di Web Service basato sullo Scenario con Agenti Distribuiti X X X

48 Documenti Utilizzati per Derivare i Casi di Test Il documento su cui si basano i casi di test è il file WSDL Basato su XML Le informazioni all interno del file WSDL specificano Servizi offerti Punti di accesso, Formato dei parametri di input/output Meccanismi usati per scambiare i messaggi Queste informazioni sono usate per derivare casi di test, con cui verranno, poi, testati i Web Services Conclusione comune a tutti i framework Insufficienza e l inadeguatezza delle specifiche WSDL nel fornire informazioni adeguate su cui fondare i casi di test

49 Specifiche Utilizzate e Tipo di Estensioni Proposte Framework The Audition Framework for Testing Web Services Interoperability Testing Web Services Using Progressive Group Testing Coyote: An XML-Based Framework for Web Services Testing Specifiche e Documenti Utilizzati File WSDL + Protocol State Machine (PSM) File WSDL + Proposta di Estendere WSDL File WSDL Web Service's test Harness Automatic Conformance Testing of Web Services Towards Contract-based Testing of Web Services Stress Testing Web services Testing di Web Service basato sullo Scenario con Agenti Distribuiti File WSDL + Regole GT File WSDL + Contratto File WSDL + Proposta di Estendere WSDL

50 Tipi di Estensioni Proposte Protocollo State Machine Diagramma di comportamento UML Particolare tipo di macchina a stati Si focalizza nelle transazioni di stati e nelle regole Dirige l ordine di esecuzione delle operazioni Regole GT: specificano i comportamenti del Web Services a livello concettuale Raffina la signature del servizio A livello di modello, lo stato è rappresentato da un grafico degli attributi, visualizzato come un Object Diagram UML Contratto: accordo formale, in cui vengono espressi diritti e doveri di entrambe le parti Descrive cosa le componenti si aspettano dai Client e cosa questi possono aspettarsi dalle componenti

51 Tipo di Testing Supportato Prima classificazione Testing basato su codice Structural testing Testing basato sulla specifia Functional o conformance testing Seconda classificazione Unit Testing Integration Testing System Testing Recovery testing Security testing Stress testing Testing delle performance Regression testing Usato, di solito per verificare le funzionalità del sistema dopo aver effettuato modifiche.

52 Tipo di Testing Supportato Regression Testing Testing Funzionale Testing Carico di Lavoro Testing Performance Stress Testing Unit Testing Testing di Integrazione

53 Vantaggi e Innovazioni Framework The Audition Framework for Testing Web Services Interoperability Testing Web Services Using Progressive Group Testing Coyote: An XML-Based Framework for Web Services Testing Web Service's test Harness: A Functional, Load, and Performance Testing Framework for Web Services Vantaggi e Innovazioni Estende il ruolo dell UDDI dal vecchio servizio di directory passivo; Valuta dinamicamente l interoperabilità dei WS; Migliora le specifiche dei WS con i protocol state machine (PSM); Garantisce che tutti i servizi registrati possono collaborare. Introduce un sistema di voto pesato con il quale si costruisce l oracolo; I pesi dei voti si basano sull affidabilità dei WSs sotto test; Testa un gran numero di WSs; I WSs sono valutati sulla base di misure oggettive; Solo il migliore WS viene accettato; Il testing viene effettuato mentre il WS sta lavorando realmente nell ambiente operazionale reale, quindi non richiede tempo supplementare. Testa i WSs in modo rapido; Fornisce supporti per il regression testing; Può essere configurato per effettuare semplici test o testing distribuito. Supporta diversi tipi di testing: performance, carico di lavoro, stress testing e CHO testing; Si sta pensando di estendere Harness per applicazioni all infuori dei WSs.

54 Vantaggi e Innovazioni Automatic Conformance Testing of Web Services Towards Contract-based Testing of Web Services Stress Testing Web services Testing di Web Service basato sullo Scenario con Agenti Distribuiti Con questo framework il testing viene automatizzato; Aumento della descrizione sintattica del WS. Introduzione di regole di trasformazione grafiche per modellare il comportamento del servizio fornito ed i requisiti del client, permettendo la generazione automatica dei casi di test; Per risolvere il problema dei comportamenti scorretti di fornitori maliziosi, introduce un servizio High-Quality Service Discovery; Prevede la generazione di casi di test per servizi singoli e per sequenze di operazioni. Estende il WSDL con l uso di contratti; I contratti possono essere sviluppati su tre livelli differenti: implementazione, XML e di modello; Risolve i problemi: di costo nel chiamare altri WSs al solo scopo di testare un WS ed il problema che si verifica quando il WS sotto test chiama un WS non ancora conosciuto. Riesce a scoprire bug che altri testing non riescono a trovare; Fondamentale per migliorare la qualità dei WSs. Verifica automatica del servizio con la registrazione; Aggiunge quattro tipi di estensioni al WSDL: dipendenze di input/output, sequenze di invocazioni, descrizione funzionale gerarchica e specifiche di sequenze concorrenti di sequenze; Scoperta e collegamento dinamico dei WSs; Permette le seguenti analisi: completezza e consistenza, dei rischi, della tempestività, dell uso, e delle dipendenze. Migliora il servizio UDDI; Permette testing funzionale e non funzionale.

55 Svantaggi e Note Negative Framework The Audition Framework for Testing Web Services Interoperability Testing Web Services Using Progressive Group Testing Coyote: An XML-Based Framework for Web Services Testing Web Service's test Harness: A Functional, Load, and Performance Testing Framework for Web Services Svantaggi e Note Negative Richiede uno sforzo da parte degli sviluppatori dei servizi; La generazione automatica di un oracolo non è semplice e richiede molte informazioni; Se un fornitore disonesto sottomette migliaia di WS per ottenere la maggioranza, c è la possibilità che la maggioranza dei voti fallisca nello scegliere il miglior servizio. Ad una prima analisi non presenta grandi svantaggi. Ad una prima analisi non presenta grandi svantaggi.

56 Svantaggi e Note Negative Automatic Conformance Testing of Web Services Towards Contract-based Testing of Web Services Stress Testing Web services Testing di Web Service basato sullo Scenario con Agenti Distribuiti I fornitori del servizio possono fornire maliziosamente modelli migliori dei servizi. I contratti sviluppati a livello di Implementazione e XML sono difficili da leggere e da scrivere; Lascia molte questioni aperte: come la definizione di un linguaggio basato su XML per la rappresentazione di contratti; una notazione basata su UML per contratti; ed infine un motore di simulazione per i servizi richiesti. Non può essere visto come un Framework vero e proprio; Non è semplici da progettare; Richiede un esecuzione molto lunga. Non presenta note negative.

57 Conclusioni Problema dell inadeguatezza delle specifiche WSDL Idea: Trovare un formalismo comune che risolve il problema Inutile concentrare l attenzione sull architettura Presentazione IdealWSTF Impressioni sul lavoro svolto Realizzazione del lavoro e criteri utilizzati

58 DOMANDE?

Concetti di base di ingegneria del software

Concetti di base di ingegneria del software Concetti di base di ingegneria del software [Dalle dispense del corso «Ingegneria del software» del prof. A. Furfaro (UNICAL)] Principali qualità del software Correttezza Affidabilità Robustezza Efficienza

Подробнее

Introduzione ai Web Services Alberto Polzonetti

Introduzione ai Web Services Alberto Polzonetti PROGRAMMAZIONE di RETE A.A. 2003-2004 Corso di laurea in INFORMATICA Introduzione ai Web Services [email protected] Introduzione al problema della comunicazione fra applicazioni 2 1 Il Problema

Подробнее

Automazione Industriale (scheduling+mms) scheduling+mms. [email protected]

Automazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it Automazione Industriale (scheduling+mms) scheduling+mms [email protected] Introduzione Sistemi e Modelli Lo studio e l analisi di sistemi tramite una rappresentazione astratta o una sua formalizzazione

Подробнее

Generazione Automatica di Asserzioni da Modelli di Specifica

Generazione Automatica di Asserzioni da Modelli di Specifica UNIVERSITÀ DEGLI STUDI DI MILANO BICOCCA FACOLTÀ DI SCIENZE MATEMATICHE FISICHE E NATURALI Corso di Laurea Magistrale in Informatica Generazione Automatica di Asserzioni da Modelli di Specifica Relatore:

Подробнее

Lezione 1. Introduzione e Modellazione Concettuale

Lezione 1. Introduzione e Modellazione Concettuale Lezione 1 Introduzione e Modellazione Concettuale 1 Tipi di Database ed Applicazioni Database Numerici e Testuali Database Multimediali Geographic Information Systems (GIS) Data Warehouses Real-time and

Подробнее

Sicurezza nei Web Services: Migrazione dell autenticazone di Web Services da ticket di sessione a WS-Security con token SAML

Sicurezza nei Web Services: Migrazione dell autenticazone di Web Services da ticket di sessione a WS-Security con token SAML Master Universitario di II livello in Interoperabilità Per la Pubblica Amministrazione e Le Imprese Sicurezza nei Web Services: Migrazione dell autenticazone di Web Services da ticket di sessione a WS-Security

Подробнее

La Metodologia adottata nel Corso

La Metodologia adottata nel Corso La Metodologia adottata nel Corso 1 Mission Statement + Glossario + Lista Funzionalià 3 Descrizione 6 Funzionalità 2 Schema 4 Schema 5 concettuale Logico EA Relazionale Codice Transazioni In PL/SQL Schema

Подробнее

Indice generale. OOA Analisi Orientata agli Oggetti. Introduzione. Analisi

Indice generale. OOA Analisi Orientata agli Oggetti. Introduzione. Analisi Indice generale OOA Analisi Orientata agli Oggetti Introduzione Analisi Metodi d' analisi Analisi funzionale Analisi del flusso dei dati Analisi delle informazioni Analisi Orientata agli Oggetti (OOA)

Подробнее

03. Il Modello Gestionale per Processi

03. Il Modello Gestionale per Processi 03. Il Modello Gestionale per Processi Gli aspetti strutturali (vale a dire l organigramma e la descrizione delle funzioni, ruoli e responsabilità) da soli non bastano per gestire la performance; l organigramma

Подробнее

Soluzione dell esercizio del 2 Febbraio 2004

Soluzione dell esercizio del 2 Febbraio 2004 Soluzione dell esercizio del 2 Febbraio 2004 1. Casi d uso I casi d uso sono riportati in Figura 1. Figura 1: Diagramma dei casi d uso. E evidenziato un sotto caso di uso. 2. Modello concettuale Osserviamo

Подробнее

Introduzione alle basi di dati. Gestione delle informazioni. Gestione delle informazioni. Sistema informatico

Introduzione alle basi di dati. Gestione delle informazioni. Gestione delle informazioni. Sistema informatico Introduzione alle basi di dati Introduzione alle basi di dati Gestione delle informazioni Base di dati Modello dei dati Indipendenza dei dati Accesso ai dati Vantaggi e svantaggi dei DBMS Gestione delle

Подробнее

Fasi di creazione di un programma

Fasi di creazione di un programma Fasi di creazione di un programma 1. Studio Preliminare 2. Analisi del Sistema 6. Manutenzione e Test 3. Progettazione 5. Implementazione 4. Sviluppo 41 Sviluppo di programmi Per la costruzione di un programma

Подробнее

Correttezza. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1. Dispensa 10. A. Miola Novembre 2007

Correttezza. Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1. Dispensa 10. A. Miola Novembre 2007 Corso di Laurea Ingegneria Informatica Fondamenti di Informatica 1 Dispensa 10 Correttezza A. Miola Novembre 2007 http://www.dia.uniroma3.it/~java/fondinf1/ Correttezza 1 Contenuti Introduzione alla correttezza

Подробнее

Lo sviluppo del software: usi e clausole commentate Aspetti Tecnici. Prof. Franco Sirovich Dipartimento di Informatica Università di Torino

Lo sviluppo del software: usi e clausole commentate Aspetti Tecnici. Prof. Franco Sirovich Dipartimento di Informatica Università di Torino Lo sviluppo del software: usi e clausole commentate Aspetti Tecnici Prof. Franco Sirovich Dipartimento di Informatica Università di Torino Ipotesi di Fondo Software sviluppato su misura Non prêt à porter

Подробнее

Otto Principi sulla Gestione per la Qualità previsti dalla ISO 9000:2005

Otto Principi sulla Gestione per la Qualità previsti dalla ISO 9000:2005 Questionario di Autovalutazione di un Sistema di Gestione per la Qualità verso: Otto Principi sulla Gestione per la Qualità previsti dalla ISO 9000:2005 newsletter TECSE N. 02- Febbraio 2012 (Allegato

Подробнее

5. Requisiti del Software II

5. Requisiti del Software II 5. Requisiti del Software II Come scoprire cosa? Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 5. Requisiti del Software II 1 / 22 Sommario 1 Generalità

Подробнее

Modellazione di sistema

Modellazione di sistema Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Modellazione di sistema E. TINELLI Contenuti Approcci di analisi Linguaggi di specifica Modelli di

Подробнее

della manutenzione, includa i requisiti relativi ai sottosistemi strutturali all interno del loro contesto operativo.

della manutenzione, includa i requisiti relativi ai sottosistemi strutturali all interno del loro contesto operativo. L 320/8 Gazzetta ufficiale dell Unione europea IT 17.11.2012 REGOLAMENTO (UE) N. 1078/2012 DELLA COMMISSIONE del 16 novembre 2012 relativo a un metodo di sicurezza comune per il monitoraggio che devono

Подробнее

Metodologie di programmazione in Fortran 90

Metodologie di programmazione in Fortran 90 Metodologie di programmazione in Fortran 90 Ing. Luca De Santis DIS - Dipartimento di informatica e sistemistica Anno accademico 2007/2008 Fortran 90: Metodologie di programmazione DIS - Dipartimento di

Подробнее

Approccio stratificato

Approccio stratificato Approccio stratificato Il sistema operativo è suddiviso in strati (livelli), ciascuno costruito sopra quelli inferiori. Il livello più basso (strato 0) è l hardware, il più alto (strato N) è l interfaccia

Подробнее

ISTITUTO TECNICO ECONOMICO MOSSOTTI

ISTITUTO TECNICO ECONOMICO MOSSOTTI CLASSE III INDIRIZZO S.I.A. UdA n. 1 Titolo: conoscenze di base Conoscenza delle caratteristiche dell informatica e degli strumenti utilizzati Informatica e sistemi di elaborazione Conoscenza delle caratteristiche

Подробнее

Informatica 3. Informatica 3. LEZIONE 10: Introduzione agli algoritmi e alle strutture dati. Lezione 10 - Modulo 1. Importanza delle strutture dati

Informatica 3. Informatica 3. LEZIONE 10: Introduzione agli algoritmi e alle strutture dati. Lezione 10 - Modulo 1. Importanza delle strutture dati Informatica 3 Informatica 3 LEZIONE 10: Introduzione agli algoritmi e alle strutture dati Modulo 1: Perchè studiare algoritmi e strutture dati Modulo 2: Definizioni di base Lezione 10 - Modulo 1 Perchè

Подробнее

Architetture Applicative

Architetture Applicative Alessandro Martinelli [email protected] 6 Marzo 2012 Architetture Architetture Applicative Introduzione Alcuni esempi di Architetture Applicative Architetture con più Applicazioni Architetture

Подробнее

La gestione di un calcolatore. Sistemi Operativi primo modulo Introduzione. Sistema operativo (2) Sistema operativo (1)

La gestione di un calcolatore. Sistemi Operativi primo modulo Introduzione. Sistema operativo (2) Sistema operativo (1) La gestione di un calcolatore Sistemi Operativi primo modulo Introduzione Augusto Celentano Università Ca Foscari Venezia Corso di Laurea in Informatica Un calcolatore (sistema di elaborazione) è un sistema

Подробнее

Progettaz. e sviluppo Data Base

Progettaz. e sviluppo Data Base Progettaz. e sviluppo Data Base! Introduzione ai Database! Tipologie di DB (gerarchici, reticolari, relazionali, oodb) Introduzione ai database Cos è un Database Cos e un Data Base Management System (DBMS)

Подробнее

Modellazione dei dati in UML

Modellazione dei dati in UML Corso di Basi di Dati e Sistemi Informativi Modellazione dei dati in UML Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Introduzione UML (Unified Modeling Language):

Подробнее

Organizzazione degli archivi

Organizzazione degli archivi COSA E UN DATA-BASE (DB)? è l insieme di dati relativo ad un sistema informativo COSA CARATTERIZZA UN DB? la struttura dei dati le relazioni fra i dati I REQUISITI DI UN DB SONO: la ridondanza minima i

Подробнее

Traccia di soluzione dell esercizio del 25/1/2005

Traccia di soluzione dell esercizio del 25/1/2005 Traccia di soluzione dell esercizio del 25/1/2005 1 Casi d uso I casi d uso sono in Figura 1. Ci sono solo due attori: il Capo officina e il generico Meccanico. Figura 1: Diagramma dei casi d uso. 2 Modello

Подробнее

I casi d uso corrispondono ai compiti che l attore (che può essere una persona fisica e non) può svolgere.

I casi d uso corrispondono ai compiti che l attore (che può essere una persona fisica e non) può svolgere. UML e i Casi d USO I casi d uso specificano una sequenza di azioni che producono un risultato visibile agli attori del sistema. Essi nascono per fornire descrizioni delle capacità del sistema. I casi d

Подробнее

Stefania Marrara - Esercitazioni di Tecnologie dei Sistemi Informativi. Integrazione di dati di sorgenti diverse

Stefania Marrara - Esercitazioni di Tecnologie dei Sistemi Informativi. Integrazione di dati di sorgenti diverse Politecnico di Milano View integration 1 Integrazione di dati di sorgenti diverse Al giorno d oggi d la mole di informazioni che viene gestita in molti contesti applicativi è enorme. In alcuni casi le

Подробнее

Software per Helpdesk

Software per Helpdesk Software per Helpdesk Padova - maggio 2010 Antonio Dalvit - www.antoniodalvit.com Cosa è un helpdesk? Un help desk è un servizio che fornisce informazioni e assistenza ad utenti che hanno problemi nella

Подробнее

Corso di Laurea Triennale in Ingegneria Informatica. Corso di Ingegneria del software A. A. 2004-2005. Marina Mongiello

Corso di Laurea Triennale in Ingegneria Informatica. Corso di Ingegneria del software A. A. 2004-2005. Marina Mongiello Corso di Laurea Triennale in Ingegneria Informatica Corso di Ingegneria del A. A. 2004-2005 1 La progettazione È applicata indipendentemente dal modello di processo utilizzato. Parte dal punto in cui sono

Подробнее

Norme per l organizzazione - ISO serie 9000

Norme per l organizzazione - ISO serie 9000 Norme per l organizzazione - ISO serie 9000 Le norme cosiddette organizzative definiscono le caratteristiche ed i requisiti che sono stati definiti come necessari e qualificanti per le organizzazioni al

Подробнее

Progettaz. e sviluppo Data Base

Progettaz. e sviluppo Data Base Progettaz. e sviluppo Data Base! Progettazione Basi Dati: Metodologie e modelli!modello Entita -Relazione Progettazione Base Dati Introduzione alla Progettazione: Il ciclo di vita di un Sist. Informativo

Подробнее

Introduzione alla Virtualizzazione

Introduzione alla Virtualizzazione Introduzione alla Virtualizzazione Dott. Luca Tasquier E-mail: [email protected] Virtualizzazione - 1 La virtualizzazione è una tecnologia software che sta cambiando il metodo d utilizzo delle risorse

Подробнее

Real Time Control (RTC): modalità di invio dei dati

Real Time Control (RTC): modalità di invio dei dati C EQAS - CNR External Quality Assessment Schemes CNR - Istituto di Fisiologia Clinica Real Time Control (RTC): modalità di invio dei dati R. Conte, A. Renieri v.1.1-15/11/2012 Introduzione Il programma

Подробнее

Light CRM. Documento Tecnico. Descrizione delle funzionalità del servizio

Light CRM. Documento Tecnico. Descrizione delle funzionalità del servizio Documento Tecnico Light CRM Descrizione delle funzionalità del servizio Prosa S.r.l. - www.prosa.com Versione documento: 1, del 11 Luglio 2006. Redatto da: Michela Michielan, [email protected] Revisionato

Подробнее

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell

Подробнее

MODELLO CLIENT/SERVER. Gianluca Daino Dipartimento di Ingegneria dell Informazione Università degli Studi di Siena [email protected]

MODELLO CLIENT/SERVER. Gianluca Daino Dipartimento di Ingegneria dell Informazione Università degli Studi di Siena daino@unisi.it MODELLO CLIENT/SERVER Gianluca Daino Dipartimento di Ingegneria dell Informazione Università degli Studi di Siena [email protected] POSSIBILI STRUTTURE DEL SISTEMA INFORMATIVO La struttura di un sistema informativo

Подробнее

TECNICHE DI SIMULAZIONE

TECNICHE DI SIMULAZIONE TECNICHE DI SIMULAZIONE INTRODUZIONE Francesca Mazzia Dipartimento di Matematica Università di Bari a.a. 2004/2005 TECNICHE DI SIMULAZIONE p. 1 Introduzione alla simulazione Una simulazione è l imitazione

Подробнее

Protezione. Protezione. Protezione. Obiettivi della protezione

Protezione. Protezione. Protezione. Obiettivi della protezione Protezione Protezione La protezione riguarda i meccanismi per il controllo dell accesso alle risorse in un sistema di calcolo da parte degli utenti e dei processi. Meccanismi di imposizione fissati in

Подробнее

Database. Si ringrazia Marco Bertini per le slides

Database. Si ringrazia Marco Bertini per le slides Database Si ringrazia Marco Bertini per le slides Obiettivo Concetti base dati e informazioni cos è un database terminologia Modelli organizzativi flat file database relazionali Principi e linee guida

Подробнее

Strumenti di modellazione. Gabriella Trucco

Strumenti di modellazione. Gabriella Trucco Strumenti di modellazione Gabriella Trucco Linguaggio di modellazione Linguaggio formale che può essere utilizzato per descrivere (modellare) un sistema Il concetto trova applicazione soprattutto nell

Подробнее

CAPITOLO 8 LA VERIFICA D IPOTESI. I FONDAMENTI

CAPITOLO 8 LA VERIFICA D IPOTESI. I FONDAMENTI VERO FALSO CAPITOLO 8 LA VERIFICA D IPOTESI. I FONDAMENTI 1. V F Un ipotesi statistica è un assunzione sulle caratteristiche di una o più variabili in una o più popolazioni 2. V F L ipotesi nulla unita

Подробнее

Presentazione di Cedac Software

Presentazione di Cedac Software Agenda Presentazione di Cedac Software SOA ed ESB Analisi di un caso studio Esempi Q&A Presentazione di Cedac Software 1 2 Presentazione di Cedac Software S.r.l. Divisione Software Azienda nata nel 1994

Подробнее

Gestione del workflow

Gestione del workflow Gestione del workflow Stefania Marrara Corso di Tecnologie dei Sistemi Informativi 2004/2005 Progettazione di un Sistema Informativo Analisi dei processi Per progettare un sistema informativo è necessario

Подробнее

Comunicazione tra Computer. Protocolli. Astrazione di Sottosistema di Comunicazione. Modello di un Sottosistema di Comunicazione

Comunicazione tra Computer. Protocolli. Astrazione di Sottosistema di Comunicazione. Modello di un Sottosistema di Comunicazione I semestre 04/05 Comunicazione tra Computer Protocolli Prof. Vincenzo Auletta [email protected] http://www.dia.unisa.it/professori/auletta/ Università degli studi di Salerno Laurea in Informatica 1

Подробнее

Le fattispecie di riuso

Le fattispecie di riuso Le fattispecie di riuso Indice 1. PREMESSA...3 2. RIUSO IN CESSIONE SEMPLICE...4 3. RIUSO CON GESTIONE A CARICO DEL CEDENTE...5 4. RIUSO IN FACILITY MANAGEMENT...6 5. RIUSO IN ASP...7 1. Premessa Poiché

Подробнее

Progettazione : Design Pattern Creazionali

Progettazione : Design Pattern Creazionali Progettazione : Design Pattern Creazionali Alessandro Martinelli [email protected] 30 Novembre 2010 Progettazione : Design Pattern Creazionali Aspetti generali dei Design Pattern Creazionali

Подробнее

7. Architetture Software

7. Architetture Software 7. Architetture Software progettare la struttura Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 7. Architetture Software 1 / 20 Scopo della fase di design

Подробнее

Introduzione all Architettura del DBMS

Introduzione all Architettura del DBMS Introduzione all Architettura del DBMS Data Base Management System (DBMS) Un DBMS è uno strumento per la creazione e la gestione efficiente di grandi quantità di dati che consente di conservarli in modo

Подробнее

IL CASO DELL AZIENDA. Perché SAP. www.softwarebusiness.it

IL CASO DELL AZIENDA. Perché SAP. www.softwarebusiness.it LA SOLUZIONE SAP FOR PROFESSIONAL SERVICES IL CASO DELL AZIENDA Perché SAP Grazie a SAP siamo riusciti a pianificare meglio e ad ottenere tempestive informazioni su tempi e costi delle nostre commesse.

Подробнее

Base di dati e sistemi informativi

Base di dati e sistemi informativi Base di dati e sistemi informativi Una base di dati è un insieme organizzato di dati opportunamente strutturato per lo svolgimento di determinate attività La base di dati è un elemento fondamentale per

Подробнее

Corso di Laurea Specialistica in Ingegneria Informatica. Corso di Ingegneria del Software A. A. 2008-2009. Class Discovery E.

Corso di Laurea Specialistica in Ingegneria Informatica. Corso di Ingegneria del Software A. A. 2008-2009. Class Discovery E. Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Class Discovery E. TINELLI Contenuti Classi di analisi: definizione ed esempi Tecniche per la definizione

Подробнее

Esercizio 1: trading on-line

Esercizio 1: trading on-line Esercizio 1: trading on-line Si realizzi un programma Java che gestisca le operazioni base della gestione di un fondo per gli investimenti on-line Creazione del fondo (con indicazione della somma in inizialmente

Подробнее

Lezione 8. La macchina universale

Lezione 8. La macchina universale Lezione 8 Algoritmi La macchina universale Un elaboratore o computer è una macchina digitale, elettronica, automatica capace di effettuare trasformazioni o elaborazioni su i dati digitale= l informazione

Подробнее

Cap.1 - L impresa come sistema

Cap.1 - L impresa come sistema Cap.1 - L impresa come sistema Indice: L impresa come sistema dinamico L impresa come sistema complesso e gerarchico La progettazione del sistema impresa Modelli organizzativi per la gestione Proprietà

Подробнее

Progettazione di Basi di Dati

Progettazione di Basi di Dati Progettazione di Basi di Dati Prof. Nicoletta D Alpaos & Prof. Andrea Borghesan Entità-Relazione Progettazione Logica 2 E il modo attraverso il quale i dati sono rappresentati : fa riferimento al modello

Подробнее

La progettazione centrata sull utente nei bandi di gara

La progettazione centrata sull utente nei bandi di gara Progetto PerformancePA Ambito A - Linea 1 - Una rete per la riforma della PA La progettazione centrata sull utente nei bandi di gara Autore: Maurizio Boscarol Creatore: Formez PA, Progetto Performance

Подробнее

IL SISTEMA DI DELEGHE E PROCURE una tutela per la società e i suoi amministratori. Milano 18 novembre 2014. A cura di: Luca Ghisletti

IL SISTEMA DI DELEGHE E PROCURE una tutela per la società e i suoi amministratori. Milano 18 novembre 2014. A cura di: Luca Ghisletti IL SISTEMA DI DELEGHE E PROCURE una tutela per la società e i suoi amministratori Milano 18 novembre 2014 A cura di: Luca Ghisletti Compliance Aziendale Compliance è la conformità delle attività aziendali

Подробнее

Appunti sulla Macchina di Turing. Macchina di Turing

Appunti sulla Macchina di Turing. Macchina di Turing Macchina di Turing Una macchina di Turing è costituita dai seguenti elementi (vedi fig. 1): a) una unità di memoria, detta memoria esterna, consistente in un nastro illimitato in entrambi i sensi e suddiviso

Подробнее

Sequence Diagram e Collaboration Diagram

Sequence Diagram e Collaboration Diagram Sequence Diagram e Collaboration Diagram Ing. Orazio Tomarchio [email protected] Dipartimento di Ingegneria Informatica e delle Telecomunicazioni Università di Catania Sommario Interaction

Подробнее

Appendice III. Competenza e definizione della competenza

Appendice III. Competenza e definizione della competenza Appendice III. Competenza e definizione della competenza Competenze degli psicologi Lo scopo complessivo dell esercizio della professione di psicologo è di sviluppare e applicare i principi, le conoscenze,

Подробнее

ALGORITMI e PROGRAMMI Programmazione: Lavoro che si fa per costruire sequenze di istruzioni (operazioni) adatte a svolgere un dato calcolo

ALGORITMI e PROGRAMMI Programmazione: Lavoro che si fa per costruire sequenze di istruzioni (operazioni) adatte a svolgere un dato calcolo ALGORITMI e PROGRAMMI Programmazione: Lavoro che si fa per costruire sequenze di istruzioni (operazioni) adatte a svolgere un dato calcolo INPUT: dati iniziali INPUT: x,y,z AZIONI esempio: Somma x ed y

Подробнее

Soluzione dell esercizio del 12 Febbraio 2004

Soluzione dell esercizio del 12 Febbraio 2004 Soluzione dell esercizio del 12/2/2004 1 Soluzione dell esercizio del 12 Febbraio 2004 1. Casi d uso I casi d uso sono riportati in Figura 1. Figura 1: Diagramma dei casi d uso. 2. Modello concettuale

Подробнее

Area Marketing. Approfondimento

Area Marketing. Approfondimento Area Marketing Approfondimento CUSTOMER SATISFACTION COME RILEVARE IL LIVELLO DI SODDISFAZIONE DEI CLIENTI (CUSTOMER SATISFACTION) Rilevare la soddisfazione dei clienti non è difficile se si dispone di

Подробнее

Analisi dei requisiti e casi d uso

Analisi dei requisiti e casi d uso Analisi dei requisiti e casi d uso Indice 1 Introduzione 2 1.1 Terminologia........................... 2 2 Modello del sistema 4 2.1 Requisiti hardware........................ 4 2.2 Requisiti software.........................

Подробнее

MANUALE DELLA QUALITÀ SIF CAPITOLO 08 (ED. 01) MISURAZIONI, ANALISI E MIGLIORAMENTO

MANUALE DELLA QUALITÀ SIF CAPITOLO 08 (ED. 01) MISURAZIONI, ANALISI E MIGLIORAMENTO INDICE 8.1 Generalità 8.2 Monitoraggi e Misurazione 8.2.1 Soddisfazione del cliente 8.2.2 Verifiche Ispettive Interne 8.2.3 Monitoraggio e misurazione dei processi 8.2.4 Monitoraggio e misurazione dei

Подробнее

Seminario di Sistemi Distribuiti RPC su SOAP

Seminario di Sistemi Distribuiti RPC su SOAP Seminario di Sistemi Distribuiti RPC su SOAP Massimiliano Vivian [777775] Massimiliano Vivian 1 Introduzione La comunicazione delle informazioni è l elemento fondamentale per lo sviluppo dei sistemi. SOAP

Подробнее

Pianificazione e progettazione

Pianificazione e progettazione Pianificazione e progettazione L analisi preventiva degli eventi e delle loro implicazioni rappresenta una necessità sempre più forte all interno di tutte le organizzazioni variamente complesse. L osservazione

Подробнее

Artifact Centric Business Processes (I)

Artifact Centric Business Processes (I) Introduzione Autore: Docente: Prof. Giuseppe De Giacomo Dipartimento di Informatica e Sistemistica SAPIENZA - Universitá di Roma 16 Novembre 2008 Una visione assiomatica La modellazione dei processi di

Подробнее

La Progettazione Concettuale

La Progettazione Concettuale La Progettazione Concettuale Università degli Studi del Sannio Facoltà di Ingegneria Corso di Laurea in Ingegneria Informatica CorsodiBasidiDati Anno Accademico 2006/2007 docente: ing. Corrado Aaron Visaggio

Подробнее

Sistema Operativo. Fondamenti di Informatica 1. Il Sistema Operativo

Sistema Operativo. Fondamenti di Informatica 1. Il Sistema Operativo Sistema Operativo Fondamenti di Informatica 1 Il Sistema Operativo Il Sistema Operativo (S.O.) è un insieme di programmi interagenti che consente agli utenti e ai programmi applicativi di utilizzare al

Подробнее

Il modello veneto di Bilancio Sociale Avis

Il modello veneto di Bilancio Sociale Avis Il modello veneto di Bilancio Sociale Avis Le organizzazioni di volontariato ritengono essenziale la legalità e la trasparenza in tutta la loro attività e particolarmente nella raccolta e nell uso corretto

Подробнее

Reti di Telecomunicazione Lezione 6

Reti di Telecomunicazione Lezione 6 Reti di Telecomunicazione Lezione 6 Marco Benini Corso di Laurea in Informatica [email protected] Lo strato di applicazione protocolli Programma della lezione Applicazioni di rete client - server

Подробнее

11. Evoluzione del Software

11. Evoluzione del Software 11. Evoluzione del Software Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 11. Evoluzione del Software 1 / 21 Evoluzione del Software - generalità Cosa,

Подробнее

GHPPEditor è un software realizzato per produrre in modo rapido e guidato un part program per controlli numerici Heidenhain.

GHPPEditor è un software realizzato per produrre in modo rapido e guidato un part program per controlli numerici Heidenhain. *+33(GLWRU GHPPEditor è un software realizzato per produrre in modo rapido e guidato un part program per controlli numerici Heidenhain. Il programma si basa su un architettura di tasti funzionali presenti

Подробнее

Ciclo di vita del progetto

Ciclo di vita del progetto IT Project Management Lezione 2 Ciclo di vita del progetto Federica Spiga A.A. 2009-2010 1 Ciclo di vita del progetto Il ciclo di vita del progetto definisce le fasi che collegano l inizio e la fine del

Подробнее

e-dva - eni-depth Velocity Analysis

e-dva - eni-depth Velocity Analysis Lo scopo dell Analisi di Velocità di Migrazione (MVA) è quello di ottenere un modello della velocità nel sottosuolo che abbia dei tempi di riflessione compatibili con quelli osservati nei dati. Ciò significa

Подробнее

Considera tutti i requisiti funzionali (use cases) NON deve necessariamente modellare i requisiti non funzionali

Considera tutti i requisiti funzionali (use cases) NON deve necessariamente modellare i requisiti non funzionali Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Progettazione OO E. TINELLI Punto di Partenza Il modello di analisi E una rappresentazione minima del

Подробнее

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo. DALLE PESATE ALL ARITMETICA FINITA IN BASE 2 Si è trovato, partendo da un problema concreto, che con la base 2, utilizzando alcune potenze della base, operando con solo addizioni, posso ottenere tutti

Подробнее

ALLINEARSI: IL DRIVER PER UNA INNOVAZIONE DI SUCCESSO!

ALLINEARSI: IL DRIVER PER UNA INNOVAZIONE DI SUCCESSO! ALLINEARSI: IL DRIVER PER UNA INNOVAZIONE DI SUCCESSO! L allineamento del team esecutivo è definibile come l accordo dei membri del team in merito a: 1. Allineamento personale -consapevolezza dell impatto

Подробнее

Automazione Industriale 4- Ingegneria del Software

Automazione Industriale 4- Ingegneria del Software Automation Robotics and System CONTROL Università degli Studi di Modena e Reggio Emilia Automazione Industriale 4- Ingegneria del Software Cesare Fantuzzi ([email protected]) Ingegneria Meccatronica

Подробнее

Reti di Telecomunicazione Lezione 8

Reti di Telecomunicazione Lezione 8 Reti di Telecomunicazione Lezione 8 Marco Benini Corso di Laurea in Informatica [email protected] Livello di trasporto Programma della lezione relazione tra lo strato di trasporto e lo strato

Подробнее

Piano di gestione della qualità

Piano di gestione della qualità Piano di gestione della qualità Pianificazione della qualità Politica ed obiettivi della qualità Riferimento ad un eventuale modello di qualità adottato Controllo della qualità Procedure di controllo.

Подробнее

Sviluppo di processi per l automatizzazione del testing per applicazioni Android

Sviluppo di processi per l automatizzazione del testing per applicazioni Android tesi di laurea Sviluppo di processi per l automatizzazione del testing per applicazioni Anno Accademico 2011/2012 relatori Ch.mo prof. Porfirio Tramontana candidato Enrico Solimeo Matr. 534002361 Contesto:

Подробнее

Dispensa di Informatica I.1

Dispensa di Informatica I.1 IL COMPUTER: CONCETTI GENERALI Il Computer (o elaboratore) è un insieme di dispositivi di diversa natura in grado di acquisire dall'esterno dati e algoritmi e produrre in uscita i risultati dell'elaborazione.

Подробнее

Facoltà di Farmacia - Corso di Informatica

Facoltà di Farmacia - Corso di Informatica Basi di dati Riferimenti: Curtin cap. 8 Versione: 13/03/2007 1 Basi di dati (Database, DB) Una delle applicazioni informatiche più utilizzate, ma meno conosciute dai non informatici Avete già interagito

Подробнее

SCHEDA PRODOTTO PAG. 1 J O B T I M E W F. Variazioni mensili al cartellino presenze. Versione 6.1. JOBTIME Work Flow

SCHEDA PRODOTTO PAG. 1 J O B T I M E W F. Variazioni mensili al cartellino presenze. Versione 6.1. JOBTIME Work Flow SCHEDA PRODOTTO PAG. 1 J O B T I M E W F Variazioni mensili al cartellino presenze Versione 6.1 SCHEDA PRODOTTO PAG. 2 INTRODUZIONE Il mercato degli applicativi informatici si sta consolidando sempre più

Подробнее

MODELLO RELAZIONALE. Introduzione

MODELLO RELAZIONALE. Introduzione MODELLO RELAZIONALE Introduzione E' stato proposto agli inizi degli anni 70 da Codd finalizzato alla realizzazione dell indipendenza dei dati, unisce concetti derivati dalla teoria degli insiemi (relazioni)

Подробнее

Raccolta dei Requisiti con i Casi D'uso. Corso di Ingegneria del Software Anno Accademico 2012/13

Raccolta dei Requisiti con i Casi D'uso. Corso di Ingegneria del Software Anno Accademico 2012/13 Raccolta dei Requisiti con i Casi D'uso Corso di Ingegneria del Software Anno Accademico 2012/13 I casi d uso I casi d'uso (use case) sono una tecnica utilizzata per identificare i requisiti funzionali

Подробнее

FONDAMENTI di INFORMATICA L. Mezzalira

FONDAMENTI di INFORMATICA L. Mezzalira FONDAMENTI di INFORMATICA L. Mezzalira Possibili domande 1 --- Caratteristiche delle macchine tipiche dell informatica Componenti hardware del modello funzionale di sistema informatico Componenti software

Подробнее

Scopo della lezione. Informatica. Informatica - def. 1. Informatica

Scopo della lezione. Informatica. Informatica - def. 1. Informatica Scopo della lezione Informatica per le lauree triennali LEZIONE 1 - Che cos è l informatica Introdurre i concetti base della materia Definire le differenze tra hardware e software Individuare le applicazioni

Подробнее

Scenario di Progettazione

Scenario di Progettazione Appunti del 3 Ottobre 2008 Prof. Mario Bochicchio SCENARIO DI PROGETTAZIONE Scenario di Progettazione Il Committente mette a disposizione delle risorse e propone dei documenti che solitamente rappresentano

Подробнее

Tecniche di Simulazione: Introduzione. N. Del Buono:

Tecniche di Simulazione: Introduzione. N. Del Buono: Tecniche di Simulazione: Introduzione N. Del Buono: 2 Che cosa è la simulazione La SIMULAZIONE dovrebbe essere considerata una forma di COGNIZIONE (COGNIZIONE qualunque azione o processo per acquisire

Подробнее