arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0906.1667cs.SE
收藏

用于验证软件组件的分析器框架

Analyser Framework to verify Software Component

Rolf Andreas Rasenack

摘要:

今天,软件公司在短时间内建立软件系统,以降低成本并拥有良好的市场地位是很重要的。因此,需要有组织和系统的发展办法。重用经过良好测试的软件组件可以有效地开发软件应用程序。软件组件的重用比从头开始的开发成本更低,耗时更少。但是,认为软件组件可以毫无问题地匹配在一起是危险的。当然,软件组件本身经过了良好的测试,但即使它们组合在一起,也会出现问题。大多数问题都是基于相互作用和交流。为了避免这种错误,必须开发一个分析软件组件的框架。该框架决定了相应的软件组件的兼容性。这里讨论的有前途的方法,提出了一种新的技术,分析软件组件通过应用抽象语法树(ASLT)。将设计一个支持性环境,检查黑盒软件组件的兼容性。本文讨论了如何利用分析器框架验证耦合软件构件的问题,并确定了ASLT的使用方法。黑盒软件构件和抽象语义树是开发该框架的基础,并在这里进行讨论,以提供背景知识。该框架的实际实现进行了讨论,并显示了使用测试环境的结果。

英文摘要:

Today, it is important for software companies to build software systems in a short time-interval, to reduce costs and to have a good market position. Therefore well organized and systematic development approaches are required. Reusing software components, which are well tested, can be a good solution to develop software applications in effective manner. The reuse of software components is less expensive and less time consuming than a development from scratch. But it is dangerous to think that software components can be match together without any problems. Software components itself are well tested, of course, but even if they composed together problems occur. Most problems are based on interaction respectively communication. Avoiding such errors a framework has to be developed for analysing software components. That framework determines the compatibility of corresponding software components.The promising approach discussed here, presents a novel technique for analysing software components by applying an Abstract Syntax Language Tree (ASLT). A supportive environment will be designed that checks the compatibility of black-box software components. This article is concerned to the question how can be coupled software components verified by using an analyzer framework and determines the usage of the ASLT. Black-box Software Components and Abstract Syntax Language Tree are the basis for developing the proposed framework and are discussed here to provide the background knowledge. The practical implementation of this framework is discussed and shows the result by using a test environment.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑