HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, i...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-01-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1401.0974v1 |
| _version_ | 1818115759984869376 |
|---|---|
| author | Manuel Giménez Mariano M. Moscato Carlos G. Lopez Pombo Marcelo F. Frias |
| author_facet | Manuel Giménez Mariano M. Moscato Carlos G. Lopez Pombo Marcelo F. Frias |
| author_sort | Manuel Giménez |
| collection | DOAJ |
| description | Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications.
HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius. |
| first_indexed | 2024-12-11T04:11:44Z |
| format | Article |
| id | doaj.art-06c62b7554214626847e169b75382ff4 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-11T04:11:44Z |
| publishDate | 2014-01-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-06c62b7554214626847e169b75382ff42022-12-22T01:21:21ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-01-01139Proc. LAFM 2013657010.4204/EPTCS.139.7:10bHeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software SpecificationsManuel Giménez0Mariano M. Moscato1Carlos G. Lopez Pombo2Marcelo F. Frias3 DC - FCEN - UBA DC - FCEN - UBA DC - FCEN - UBA ITBA - CONICET Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.http://arxiv.org/pdf/1401.0974v1 |
| spellingShingle | Manuel Giménez Mariano M. Moscato Carlos G. Lopez Pombo Marcelo F. Frias HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications Electronic Proceedings in Theoretical Computer Science |
| title | HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications |
| title_full | HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications |
| title_fullStr | HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications |
| title_full_unstemmed | HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications |
| title_short | HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications |
| title_sort | heterogenius a framework for hybrid analysis of heterogeneous software specifications |
| url | http://arxiv.org/pdf/1401.0974v1 |
| work_keys_str_mv | AT manuelgimenez heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications AT marianommoscato heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications AT carlosglopezpombo heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications AT marceloffrias heterogeniusaframeworkforhybridanalysisofheterogeneoussoftwarespecifications |