Skip to main content

DEveloper COmpanion for Documented and annotatEd code Reference

Deliverables

Tool integration plan

This deliverable defines a plan to achieve the integration among the different tools used in this project.

Project Collateral, Dissemination and Communication - V2

This deliverable will be an update of D72 and include all kind of communication material developed and used within the DECODER project The report also covers the promotion activities undertaken to build awareness for DECODER and build a community of early adopters including presentations exhibitions and publications at academic and industry events workshop organizations etc The report also covers the standardisation activities related to DECODER technologies

Generation, evolution and exploitation of ASFM

D3.3 explains how the whole WP3 tool-chain exploits the ASFM. It defines the algorithms that are implemented in D3.4 and that will be implemented in D3.5. This deliverable will evolve to become the documentation of the resulting demonstrators of T3.2, T3.3, T3.4 and T3.5 that are the software D3.2, D3.4 and D3.5.

Updated methodology design report

Second (improved) version of D5.2

Application of DECODER to selected OW2 projects

Application of DECODER to selected OW2 projects 36This deliverable reports on the work carried out in T64

Report on application for embedded use-case

Report on application for embedded usecase 36This deliverable reports on the work carried out in T61

Validation report

This deliverable reports about the validation results obtained after evaluating the proposed methodological framework and its tool support

Status Report of Use Cases

This report is an interim report of ongoing and planned activities within WP6.

Report on OpenCV quality assessment and code map

Report on OpenCV quality assessment and code map 36This deliverable reports on the work carried out in T62

Report on techniques for information extraction from source code, V2

Report on first version of techniques for information extraction from source code [18] This report represents a first version of the NLP techniques used to extract information from source code together with the datasets used to train the models.

Report on existing representations and specifications relevant to the PKM

Review of existing representations (e.g. ASTM). Definition of the meta-model. Definition of precise artefacts (version control systems, bug managers, etc.) addressed by DECODER and related conventions.

Report on techniques for information extraction from source code, V1

This is the preliminary report on first version of techniques for information extraction from source code [12] This preliminary report represents a first version of the NLP techniques used to extract information from source code together with the datasets used to train the models.

Report on final version of techniques for code summarization

Report on final version of techniques for code summarization 30This report presents the datasets used during T 24 and describes the techniques used to summarize source code

Project Collateral, Dissemination and Communication – V1

This deliverable is a report presenting communication material developed for the promotion of DECODER including project logo, brochure, posters, logos, presentations, press and media material, etc. The report also covers the promotion activities undertaken to build awareness for DECODER and build a community of early adopters including presentations exhibitions and publications at academic and industry events, workshop organizations, etc. The report also covers the standardisation activities related to DECODER technologies.

Application characterization report

This deliverable reports on the major characteristics of critical and medium critical applications object of this project.

ASFM Language Definition

D3.1 defines the ASFM language. D3.1 is the main result of T3.1. ASFM descriptions are the input of task 3.2, the output of task 3.3, and the input/output of tasks 3.4 and 3.5. This report will contain the details of the universal part common to all WP3 tools and the main concepts of the part specific to each tool.

Semantic Extraction from text and alignment with code

Design a semantic extraction tool, experiment and evaluate its capacity. The tool builds structured information from text fragment relying on Named Entity Recognition, Entity Linking and Semantic Role labelling to build a structured intermediate representation. Define architecture of a neuronal network to reformulate code into text and text into code based on neuronal network and aligned corpus. Study about complementary of approaches to extract traces.

Project Quality Plan

The project quality plan (the project handbook) constitutes a set of project templates, explanations on the project management process, review process, quality checks, meeting organisation, which is communicated to all partners.

Report on first version of techniques for code summarization

Report on first version of techniques for code summarization [24] This report specifies the datasets used during T2.4 and also the techniques used to summarize code.

Report on information extraction from informal documents

Report on information extraction from informal documents 30Description of the semantic and text analysis task carried out using SRL

Initial methodology design report

This deliverable provides the design of the proposed methodological framework.

Report on Extraction and verification of (Industry Standard) Application Design Documentation

Report on Extraction and verification of Industry Standard Application Design Documentation 36This deliverable reports on the work carried out in T63

Methodology tool support

This deliverable provides tool support based on Eclipse to the proposed methodological framework

ACSL/ACSL++ and JML translator from ASFM

D3.2 provides a software demonstrator that translates the information coming from the common universal part and the source code into ACSL/ACSL++ and JML annotations. D3.2 is the main result of T3.2. Tasks 3.4 and 3.5 will then use these annotations as a first basis to enrich until they become precise, complete for the reviewers’ objectives and unambiguous.

Final version of the GUI for semantic navigation and change assessment

Final Graphical User Interface developed in T43 and T44 This demonstrator will provide the User Interface of the interactive tools that will help developers perform a semantic navigation complete changes and enhance consistency

Use-case data from the PKM

This is a dataset containing machine learning results on Linux drivers (use case A), OpenCV libraries (B), My-Thai- Star (C) and Joram/Lutece/Sat4j/Asm (D) exported from the PKM and hosted at UPV’s riunet (see data management in Section 2). Included documentation will describe how it was generated, how it can be used, and explain the data formats. It is scheduled as M24 snapshot to allow for early partners’, users and also EU review. UPV’s riunet will give an opportunity to provide updates, if needed, when referring to it in D6.2-D6.5 at M36.

First prototype of the GUI for trace recovery and impact of change control

First minimal Graphical User Interface developed in T4.3 and T4.4. This User Interface will allow users to use the interactive tool developed to browse Repository Monitor with hypertext navigation, based on traceability matrix and TESTAR’s model-diff. The User Interface will also provide a view of the artefacts where the traces are appointed to change.

Trace recovery

Demonstrator of tools to build traceability matrix for Persistent Monitor, relying on D4.1.

Open source client-side software – first version

Various open source software components on the client side: includes client PKM communication libraries, parser adaptation and improvement (C/C++/Java compiler based, Frama-C based), artefact extractor. Developed in an agile manner, with some snapshots available since M09. With related public documentation.

Open source PKM server-side software – first version

Open source persistent knowledge monitor (server side). Developed (concurrently with D1.2) in an agile manner, with some snapshots available since M09. With related public documentation.

Open source PKM server-side software - final version

Second version of D13 with agile development and further snapshots available twice a year and related public documentation

Open source client-side software - final version

Second version of D12 with agile development and further snapshots available twice a year and related public

Project Website and Collaborative Infrastructure

The deliverable is a report presenting the results of activities undertaken to setup the project’s web site and technical platform including developer tools, mailing lists, wikis, social network accounts, etc. The website is available for everyone interested in sharing and reusing the resources and services of the DECODER project. It aims to involve the community at large, e.g., by promoting competitions and social activities.

Searching for OpenAIRE data...

Publications

TESTAR – Scriptless testing through graphical user interface

Author(s): Tanja E. J. Vos, Pekka Aho, Fernando Pastor Ricos, Olivia Rodriguez-Valdes, Ad Mulders
Published in: Software Testing, Verification and Reliability (STVR), 2021, ISSN 1099-1689
Publisher: John Wiley & Sons Ltd
DOI: 10.1002/stvr.1771

An open-source natural language processing toolkit to support software development: addressing automatic bug detection, code summarisation and code search

Author(s): Cristian Robledo, Francesca Sallicati, Gaël de Chalendar, Marcos Fernández, Pablo de Castro, Eduardo Martín, Javier Gutiérrez, Yannis Bouachera
Published in: Open Research Europe, 2022, ISSN 2732-5121
Publisher: European Commission
DOI: 10.12688/openreseurope.14507.1

Combining formal and machine learning techniques for the generation of JML specifications

Author(s): Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello
Published in: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021, Page(s) 59-64, ISBN 9781450385435
Publisher: Association for Computing Machinery
DOI: 10.1145/3464971.3468425

Evaluating TESTAR's effectiveness through code coverage

Author(s): Aaron van der Brugge, Fernando Pastor Ricós, Pekka Aho, Beatriz Marín, Tanja E. J. Vos
Published in: Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2021, 2021
Publisher: SISTEDES

DECODER - DEveloper COmpanion for Documented and annotatEd code Reference

Author(s): Victoria Torres, Miriam Gil, Vicente Pelechano
Published in: 20th International Conference of Product-Focused Software Development and Process Improvement (PROFES 2019), 2019
Publisher: Universitat Politècnica de València

Software Knowledge Representation to Understand Software Systems

Author(s): Victoria Torres, Miriam Gil, Vicente Pelechano
Published in: 20th International Conference of Product-Focused Software Development and Process Improvement (PROFES 2019), 2019
Publisher: Universitat Politècnica de València

Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation

Author(s): Fernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, ISoLA 2020, Lecture Notes in Computer Science, 2020
Publisher: Universitat Politècnica de València

Applying Scriptless Test Automation on Web Applications from the Financial Sector

Author(s): Pekka Aho, Govert Buijs, Abdurrahman Akin, Serafettin Senturk, Fernando Pastor Ricós, Stijn de Gouw, Tanja E. J. Vos
Published in: Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2021, 2021
Publisher: SISTEDES

30 Years of Automated GUI Testing: A Bibliometric Analysis

Author(s): Olivia Rodríguez-Valdés, Tanja E. J. Vos, Pekka Aho, Beatriz Marín
Published in: QUATIC 2021: Quality of Information and Communications Technology, 2021
Publisher: Universitat Politècnica de València

Extracting Knowledge from Software Artefacts to Assist Software Project Stakeholders

Author(s): Miriam Gil, Victoria Torres, Manoli Albert, Vicente Pelechano
Published in: 29th International Conference on Information Systems Development (ISD2021), 2021
Publisher: Association for Information Systems (AIS)

Software Knowledge Representation to Understand Software Systems

Author(s): Victoria Torres, Miriam Gil, Vicente Pelechano
Published in: Product-Focused Software Process Improvement - 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings, 11915, 2019, Page(s) 137-144, ISBN 978-3-030-35332-2
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-35333-9_10

DECODER - DEveloper COmpanion for Documented and annotatEd code Reference

Author(s): Victoria Torres, Miriam Gil, Vicente Pelechano
Published in: Product-Focused Software Process Improvement - 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings, 11915, 2019, Page(s) 596-601, ISBN 978-3-030-35332-2
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-35333-9_44