Testing Complex Architectural Conformance Relations Michal
ثبت نشده
چکیده
Architectural conformance testing can help detect inconsistencies between an architectural model that has been verified and a system that has been implemented. Architectural descriptions suitable for powerful static analyses are necessarily abstractions and idealizations of the actual implementation structure of software systems, making the relation between architectural model and as-built structure complex. We argue that an explicit representation of complex conformance relations is a necessary basis for architectural conformance testing. 1 Introduction Static verification of certain critical properties is one of the main attractions of replacing informal white-board sketches by formal representations of software architectures. The value of static verification is magnified if there is some assurance that the actual software system is consistent with the architectural descriptions that have been verified. We make the following arguments:
منابع مشابه
Architecture-Based Conformance Testing
In the last two decades, software architecture has played a central role in the development of software systems. It provides a high-level description for large-size and complex systems using suitable abstractions of the system’s components and their interactions. In our work, the software architecture is described using a formal Architecture Description Language (ADL) designed in the ArchWare E...
متن کاملArchitectural Unit Testing in a Robot Teleoperation Case Study
A formal testing methodology is outlined in this paper, that proves applicable to validation of architectural units in object-oriented models, and its use is illustrated in the context of the design of a robot teleoperation architecture. Automated generation of test cases to validate the functionality of the robot trajectory generation unit showcases the key features of this methodology. A disc...
متن کاملFormal Methods in Testing Software Architectures
SAs provide a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in testing and analysis. We describe here an approach for SA-based conformance testing: architectural tests are selected from a Labelled Transition System (LTS) representing the SA behavior and are then refined int...
متن کاملConsidering Topological Constraints for the Description of Dynamic Service-Oriented Orchestrated Architectures
The description of run-time changing architectures cannot be limited to the specification of a unique static topology but must cover the scope of all the correct configurations. We develop, in this paper, the concept of architectural styles to achieve this goal. We elaborate and specify the basic architectural styles for the design of service-oriented applications. For this purpose we develop a...
متن کاملArchFeature: A Modeling Environment Integrating Features into Product Line Architecture
An important task in product line architecture (PLA) modeling is developing the involved variation points and maintaining their conformance to product line features. However, existing modeling tools and approaches still require manual management of variation points and manual maintenance of feature-PLA relations, which is expensive and error prone. In this paper, we introduce a new PLA modeling...
متن کامل