simple engineering's blog

To content | To menu | To search

Monday, January 4 2016

Service Functional Testing Automation with Intelligent Scheduling and Planning

This paper presents the intelligent automation of functional test of services (unit testing) and services architectures (end-to-end testing) that has been developed by the MIDAS project, and is accessible on the MIDAS SaaS. In particular, the paper illustrates how the extreme automation implemented in the MIDAS prototype includes the solutions of tough problems such as: (i) the configuration of the automated test execution engine against large and complex services architectures, (ii) the test input generation based on formal methods and constraint propagation, (iii) the test oracle generation based on state machine execution, (iv) the dynamic scheduling of test cases and the reactive, evidence-based planning of test campaigns with on the fly generation of new test cases, both based on based on probabilistic graphical inference. This paper reports some feedback from real-world case studies in the health-care and in the logistics sectors.

Service functional test automation

This paper presents the automation of the functional test of services (black-box testing) and services architectures (grey-box testing) that has been developed by the MIDAS project and is accessible on the MIDAS SaaS. In particular, the paper illustrates the solutions of tough functional test automation problems such as: (i) the configuration of the automated test execution system against large and complex services architectures, (ii) the constraint-based test input generation, (iii) the specification-based test oracle generation, (iv) the intelligent dynamic scheduling of test cases, (v) the intelligent reactive planning of test campaigns. The paper describes the usage of the MIDAS prototype for the functional test of an operational distributed application in the domain of healthcare.

Wednesday, December 18 2013

MIDAS - Automated testing as a Service in the Cloud

Presentation of the MIDAS project at ICSSEA 2013

Monday, November 25 2013

TTCN4SOA™: a TTCN-3 architecture and framework for SOA testing

At UCAAT 2013 (User Conference on Advanced Automated Testing - Paris 22-24 October 2013) we presented a TTCN-3 architecture and framework (TTCN4SOA™) for black-box and grey-box testing of services architectures. The TTCN4SOA™framework is actually used for testing services architectures and APIs in the Healthcare and Logistics domains.

Wednesday, October 24 2012

Service contract clauses expressed as controlled natural language business rules

Here the presentation Service Contract Clauses as Business Rules at ICSSEA '12 - The 24th Internetional Conference on Software & Systems Engineering and their Applications - Paris Oct. 23-25.

Friday, October 19 2012

"MIDAS - testing on cloud" presentation at IOS 2012

Riccardo Fontanelli & Libero Maesano presentation SOA testing As A Service - Are services architectures compliant with service contracts ? at Internet of Services Collaboration 2012 (16-17/10/2012 - Diamant center - Brussels)

Tuesday, October 9 2012

simpleSOA™ learning paths (Italian)

The simpleSOA™ Learning paths - catalog (Italian)

Tuesday, October 2 2012

Service contracts clauses as business rules

Service contracts between digital providers and consumers should be: (i) understood and verified by the business stakeholders, (ii) mechanically checked for consistency and (iii) automatically mapped to system implementations. This paper presents guidelines and templates for expressing service contract clauses as business rules, i.e. logical formulations in constrained natural language conforming to the OMG Semantics of Business Vocabulary and Business Rules (SBVR) specification. When supported by the SBVR abstract notation, natural language business rules can be mechanically checked for consistency, and eventually processed for automated generation of technical model elements, machine-readable components, executable code and tests. The service contract clauses are established through a method that is inspired by the Design by contract approach: the signature is expressed by means of a set of business vocabulary entries and the pre/post-conditions are stated as operative business rules. The method and the corresponding rule templates are included in a methodological framework for model driven engineering of services architectures (simpleSOAD®), in which the service contract, which is a bundle of rights and duties for service providers and consumers, is represented as a layered collection of formal models. These models work as a body of requirements for implementations. In this model-driven framework, the service contract vocabulary and rulebook constitute the service Computation Independent Model (CIM). We introduce the method guidelines and templates through an example and discuss the assumptions on the resulting conceptual model as well as some recommendations on the contract building enterprise. Moreover, we evoke the mappings between the service contract vocabulary and rulebook and (i) the service Platform Independent Model (PIM) - an abstract computational model expressed in UML/OCL notation - and (ii) the service interoperability Platform Specific Model (PSM) - an implementation model dependent on the underlying interoperability platform such as SOAP, REST, ... - as well as issues about requirement-based and model-based functional testing.

Draft - The final version of Service Contract Clauses as Business Rules will be published within the ICSSEA 2012 Proceedings

MIDAS Project


The MIDAS project is a research project partially funded by the European Commission within the Framework Programme Seven. At a glance:

MIDAS Project Number: 318786

Call: FP7-ICT-2012-8 - Funding Scheme: STREP

Start date: 01/09/2012 - Duration: 36 months

Activity: ICT-8-1.2 - Cloud Computing. Internet of Services and Advanced Software Engineering

Objectives

Define, design and build a general framework for SOA testing automation that includes:

  • an environment for design time and run time automatic generation of test cases and oracles
  • an environment for SOA automatic testing configuration, inizialization and execution of the services architecture under test (SAUT), based on TTCN-3 standard
  • probabilistic and symbolic inference based methods and tools for test results analysis and test campaigns planning and scheduling

Provide the MIDAS framework as PaaS on a Cloud infrastructure

  • elastic scalability of the testing environment: allocation of huge amounts of computations resources for relatively short test campaigns on very large Services architectures
Define, build and activate two Pilots in two different scenarios
  • Healthcare scenario: use the MIDAS framework for building test campaigns upon the HSSP services implementation, provided by the Italian R&D project HealthSOAF
  • Supply Chain Management  (SCM) scenario: build test campaigns according to the MIDAS approach, upon an existing services architecture for mobile services SCM
Evaluate (though the results of the Pilots) the technological and business impact of the MIDAS framework in terms of:
  • requirements for testable services architectures
  • improvement and costs reduction of the software development process
  • new business models for the testing market
Here the Midas fact sheet 


Monday, June 11 2012

HealthSOAF at the HL7 Italia Open Days

Download Health Service Oriented Architecture Framework, the HealthSOAF presentation at the HL7 Italia Open Days in Rome

Wednesday, November 2 2011

Bayesian Networks for Services Architecture Testing (BN4SAT)

Advances in probabilistic reasoning on SOA test result evaluation and test campaign planning and scheduling have been presented at the IEEE 22nd International Symposium on Software Reliability Engineering - ISSRE 2011 - Nov 29 - Dec 2, 2011 - Hiroshima. 

BN4SAT is a research project conducted in cooperation by ther LIP6 (Laboratoire d'Informatique de Paris VI) - Université Pierre et Marie Curie, Paris (France) and Simple Engineering France. 

The paper: Maesano_DeRosa_2011_TowardsStochasticInferenceDriven_2011090802_draft.pdf

The poster: BN4SAT_poster

Thursday, September 1 2011

HealthSOAF Project

Almaviva S.p.A., Dedalus S.p.A., the University of Calabria and other partners (SMEs, for no profit organizations) are driving the research project HealthSOAF (Health Service Oriented Architecture Framework - http://healthsoaf.it/SitePages/hshome.aspx), co-funded by the Italian Ministero dell‘Istruzione, dell‘Università e della Ricerca within the “Programma Operativo Nazionale (PON) Ricerca e Competitività 2007-2013” (National Research Programme), aims to implement a plug-and-play service architecture framework of generic services, based on HSSP (Healthcare Services Specification Project). The HSSP project (http://hssp.wikispaces.com/) is a collaborative effort between Health Level Seven (http://www.hl7.org) and the Object Management Group (http://www.omg.org) to identify and document service specifications, functionality, and conformance supportive and relevant to healthcare IT stakeholders and resulting in real-world implementations.

Simple Engineering, as a subcontractor of Almaviva S.p.A. and Dedalus S.p.A., is in charge of :

  • The guidance of the HSSP generic services specification by reverse modeling of HSSP services based upon simpleSOA™ (Service Platform Independent Model).
  • The definition and implementation of a service test environment based upon the ETSI standard language Test and Test Control (TTCN-3 - http://www.ttcn-3.org/), on the TTworkbench engine, by our partner Testing Technologies (http://www.testingtech.com/). The services architecture test environment is based upon the Simple Engineering SOA testing framework TTCN4SOA. Simple Engineering provides TTworkbench licenses, training, support and consulting.

Friday, July 1 2011

Steps towards model-based, inference-driven SOA Testing

A presentation of TTCN4SOA & BN4SAT projects. 

An improved version of this paper has been submitted for publication in the Proc. of the 23rd International Conference on Software & Systems Engineering and their Applications (ICSSEA '11 - Paris - Nov 29 - Dec 1)

Tuesday, June 14 2011

SOA Testing is hot !

Services architectures must not only be dependable and secure, but also be testable - How to design testable (and dependable and secure) services architectures and how to test them with simpleSOAD

Continue reading...

Monday, March 14 2011

Expressing service contracts in SBVR Structured English - a simpleSOAD white paper

De Rosa, F., et al.: Service Orientation and Functional Requirements Definition: a Contract-based, Model-driven Approach. Simple Engineering, simpleSOAD Draft, June 2011.

Continue reading...

Thursday, December 23 2010

Reverse conceptual modeling of relational data bases - a white paper (Italian)

Reverse conceptual modeling of "old" relational data base in order to "extract" and to expose valued services is a hot topic in the Italian market ! simple engineering's experiences and approach are presented  in an attached white paper (in Italian - draft).

simpleSOAD® 2.0 - Architecture and Governance - a short presentation

Please find the attached presentation "simpleSOAD® 2.0 - Architecture and Governance", by Libero Maesano and Fabio De Rosa, at ICSSEA 2010 - 22th International Conference on Software & System Engineering and their Applications (Paris Dec 7-9 2010). This is a short presentation of simpleSOAD® 2.0 - the service oriented, contract-based, model-driven framework for the design of service oriented applications and services architectures.

simpleSOAD® 2.0 - Architecture and Governance - a short paper

"simpleSOAD® 2.0 - Architecture and Governance", a paper by Libero Maesano and Fabio De Rosa that has been presented at ICSSEA 2010 - 22th International Conference on Software & System Engineering and their Applications (Paris Dec 7-9 2010), is a short introduction to simpleSOAD® 2.0 - the service oriented, contract-based, model-driven framework for the design of service oriented applications and services architectures.

Monday, October 25 2010

Presentation by Stefano Lotti, HL7 Italia Chair at the SOA in Healthcare Conference 2010

"RETHINKING IHE PROFILES IN THE HEALTHCARE SERVICES WORLD" is the title of a worthy of notice presentation by Stefano Lotti, HL7 Italia Chair, at SOA in Healthcare Conference 2010. Stefano pointed out some important topics about the integration of popular legacy systems in the new Healthcare Services Architecture. The silver bullet is service contracts standardization, and the result in terms of reduced complexity is amazing.  

Friday, September 24 2010

simple engineering's paper has been accepted at ICSSEA 2010

"simpleSOAD® 2.0 - Architecture and Governance", a paper by Libero Maesano and Fabio De Rosa has been accepted and will be presented at ICSSEA 2010 - 22th International Conference on Software & System Engineering and their Applications that will hold in Paris Dec 7-9 2010 at TELECOM ParisTech -  46, Rue Barrault  75013, Paris - France.

Excerpt from the ICSSEA 2010 Call for papers:

Software & Systems Engineering and their Applications

Paris, December 7-9, 2010

Harnessing the Power and Promise of Distributed Software and Systems

 

We live in a connected world – an interdependent web of economic, social and political entities. Actions of one potentially affect the behaviors of all. Whether you believe that information technology helped spawn this connected and interdependent world or merely co-evolved with it, it is clear that modern software and systems engineering has been profoundly impacted. This conference is dedicated to the development of software and systems that harness the power in this web rather than fall victim to it.

The ubiquitous spread of the Internet and the World Wide Web has had a twofold impact on software and systems engineering: it has impacted the way enterprises interact with their customers and partners, and it has changed the way they develop software applications. Among the more common approaches that are being used are service-oriented architectures, web services, SAAS, cloud computing, P2P, grids, JBI and SCA. These approaches leverage the distributed nature of the systems to make them more flexible, adaptable, and better suited to users’ needs. In contrast to the tightly-coupled designs of older technologies, modern software and systems deliver capability through a kaleidoscope of loosely-coupled elements riding on infrastructure. Oftentimes project management is also a distributed process. Not only are teams geographically spread, but also a team must cooperate with members outside their own organization in order to successfully complete a project. Software and systems producers can no longer act in total isolation – they must themselves become dependent on component or service providers, on VAR’s, and even on proactive customers.

Co-organized by TELECOM ParisTech, CS Communication & Systems, and the Génie Logiciel quarterly, the 22nd edition of the ICSSEA Conference (International Conference on Software & Systems Engineering and their Applications) will be held in Paris on December 7-9, 2010. By gathering actors from across the enterprise and research worlds, it aims at providing a critical survey of the status of tools, methods, and processes for elaborating software & systems. Lectures and discussions will be conducted with the issues of coupling and interoperability in distributed software and systems as the leitmotiv.

 

TOPICS

As in previous ICSSEA Conferences, any topic in connection with software engineering & systems engineering is eligible. However, the following topics, viewed through the perspective of systems and services distribution and interoperability, will be particularly appreciated:

  • Architectures: composition, orchestration, semantically-enabled SOA, ontology-based technologies...

  • Components & reusability

  • Contract-oriented software development

  • Development methods: agile, lean, contract-oriented…

  • Distributed computing: service-oriented computing, grid services, Web services, mobile applications...

  • Evolution: adaptability, maintainability, variability...

  • Management of functional and non-functional properties: analysis & design, representation, modeling, monitoring, composition, configurability, relationship with architecture, resolution of conflicts, aspect orientation, metrics for non-functional properties, semantic issues...

  • Open source issues: architectures for seamless integration/composition, quality assurance,

  • Outsourcing issues

  • Process engineering with different notations: UML, DoDAF, SysML, the MDA/MDE approaches

  • Project management

  • Quality control & assurance: quality assessment, testing, V&V...

  • Quantitative evaluations: architecture, availability, performance, quality, reliability, safety...

  • Requirements engineering

  • Software platforms specific of application domains

  • Systems engineering and Systems of Systems

  • Trustworthiness

  • Web engineering: design, composition, control flow, user interface migration, discovery and selection of services, ontology engineering...

 

Original, unpublished papers are solicited. They may concern industrial implementations or experiments, describe significant results from ongoing projects, research results applicable industrial applications, or deal with socioeconomic issues associated with software & systems engineering. Offerors may also propose tool demonstrations and posters presentations. All submissions should clearly describe the nature of the work to be presented, explain its contribution, highlight its novel features, and state precisely its current status.

All types of systems are eligible: adaptive, autonomous, context-aware, distributed, embedded, grid computing, mobile, real-time, service-oriented, ubiquitous, Web-based, etc. All end-user domains and economic areas are eligible: information systems, process management, automotive, avionics, banking, defense, energy, health care, insurance, telecommunications, transportation, etc.

- page 1 of 3