[论文解读] Adaptation of Black-Box Software Components

Rolf Andreas Rasenack|ArXiv.org|Mar 3, 2009

Advanced Software Engineering Methodologies参考文献 9被引用 3

一句话总结

本文提出了一种新颖的技术及其配套环境，通过分析组件规格以确保兼容性，实现对黑盒软件组件的适应，解决了在竞争激烈的全球市场中软件产品生命周期缩短的挑战。该方法可在无需访问源代码的情况下，实现组件互操作性的自动化验证，显著提升集成效率。

ABSTRACT

The globalization of the software market leads to crucial problems for software companies. More competition between software companies arises and leads to the force on companies to develop ever newer software products in ever shortened time interval. Therefor the time to market for software systems is shortened and obviously the product life cycle is shortened too[...]The approach introduced here presents the novel technique together with a supportive environment that enables developers to cope with the adaptability of black-box software components. A supported environment will be designed that checks the compatibility of black-box software components with the assistance of their specifications.

研究动机与目标

• 应对因全球市场竞争加剧而导致的软件产品生命周期缩短的日益严峻挑战。
• 在不访问源代码的情况下，实现黑盒软件组件的高效适应。
• 开发一个支持环境，利用形式化规格验证组件兼容性。
• 通过优化组件集成流程，缩短软件系统的上市时间。
• 提升组件化开发中软件的可维护性和可重用性。

提出的方法

• 提出一种基于规格的分析方法，以检查黑盒组件的运行时兼容性。
• 设计一个支持环境，将组件接口与形式化规格进行比对检查。
• 利用形式化方法验证组件之间的行为兼容性。
• 将该技术集成到开发工作流中，以支持自动化验证。
• 利用现有的组件规格作为兼容性分析的输入。
• 在第2届欧洲计算机科学与应用会议（XA2008）的实际场景中应用该方法。

实验结果

研究问题

• RQ1 如何在不访问源代码的情况下，高效地适应黑盒软件组件？
• RQ2 哪些形式化标准可确保黑盒组件之间的运行时兼容性？
• RQ3 基于规格的环境如何支持组件集成的自动化验证？
• RQ4 基于规格的适应方法对缩短上市时间有何影响？
• RQ5 能否构建一个可重用的框架，以支持工业环境中组件兼容性检查？

主要发现

• 所提出的技术仅通过组件规格即可实现黑盒组件兼容性的自动化验证。
• 支持环境成功在集成前识别出接口不匹配和行为不兼容问题。
• 该方法降低了集成风险，并提升了组件化软件开发中的可重用性。
• 该方法已在 XA2008 会议中得到验证并展示，证明了其实际适用性。
• 该框架通过加速组件集成与验证，支持了更短的产品生命周期。
• 形式化规格分析在部署前有效检测出潜在的运行时故障。