The category-partition method for specifying and generating fuctional tests
Communications of the ACM
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The unified software development process
The unified software development process
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Applied software architecture
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
Component-based product line engineering with UML
Component-based product line engineering with UML
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Software Architecture in Practice
Software Architecture in Practice
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804)
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Real World Influences on Software Architecture - Interviews with Industrial System Experts
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Architectural support in industry: a reflection using C-POSH: Practice Articles
Journal of Software Maintenance and Evolution: Research and Practice - 2003 International Conference on Software Maintenance: The Architectural Evolution of Systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
Software architecture has been advocated as an effective means to produce quality systems. In this paper, we argue that integration between analysis conducted at different stages of development is still lacking. Hence we propose an architecture-centric approach which, by combining different technologies and tools for analysis and testing, supports a seamless tool-supported approach to validate required properties. The idea is to start from the requirements, produce a validated model of the SA, and then use the SA to derive a set of conformance test cases. In this paper, we outline the process, and discuss how some existing tools, namely QuARS,ModTest, CowTest and UIT, could be exploited to support the approach. The integrated framework is under development.