HeteroGenius：一个异构软件规格说明混合分析框架
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
摘要：
如今，软件工件在我们的生活中无处不在，是家用电器、汽车、手机的重要组成部分，甚至在航空和健康科学等更重要的活动中也是如此。在这种情况下，软件故障可能会造成巨大的经济损失，或者在最坏的情况下，在人类生活中。软件分析是软件工程中的一个领域，涉及各种技术的应用，以证明软件中没有错误。在许多情况下，采用不同的分析技术，遵循特定的方法组合，以确保更好的结果。工具之间的这些交互通常在用户级别执行，并且不受工具的支持。在这项工作中，我们提出了HeteroGenius，一个框架，旨在开发工具，允许用户执行混合分析的异构软件规范。HeteroGenius的设计优先考虑添加新的规约语言和分析工具的可能性，并在满足几个众所周知的可用性增强标准的图形界面下实现技术的协同关系。作为一个案例研究，我们在HeteroGenius之上实现了Dynamite的功能。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
