Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Applied software architecture
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Practical and Complete Algorithm for Testing Real-Time Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An approach to integration testing based on architectural descriptions
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
Design of a Toolset for Dynamic Analysis of Concurrent Java Programs
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
Performance Evaluation of a Software Architecture: A Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Improving architecture testability with patterns
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
SETER: Towards Architecture-Model Based Security Engineering
International Journal of Secure Software Engineering
Hi-index | 0.00 |
Our research deals with the use of the Software Architecture (SA) as a reference model for the conformance testing of the implemented system with respect to its architectural specification, at the integration test level. Having formerly identified an approach to derive architectural test plans, we investigate here the practical meaning of a high level test case defined in terms of architectural processes and messages, such as the ones derived by our approach. Indeed, establishing a relation between SA tests (here formulated as paths derived over Labeled Transition Systems expressing the SA dynamics) and concrete, executable tests is not obvious at all. In this paper we describe the steps to be followed to refine architectural tests into code level tests, and we do so in an empirical context by illustrating our hands-on experience in running some of the derived architectural tests on the TRMCS case study. We present interesting insights and some preliminary attempts to generalize problems and solutions.