The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Communication and concurrency
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Architecture-based software testing
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
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
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Software architecture in practice
Software architecture in practice
Deterministic replay of Java multithreaded applications
SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
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
Proceedings of the Conference on The Future of Software Engineering
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
Analyzing software architectures with Argus-I
Proceedings of the 22nd international conference on Software engineering
A scenario-driven approach to traceability
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
From software requirements to architectures
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
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
Tools and Techniques for Java API Testing
ASWEC '00 Proceedings of the 2000 Australian Software Engineering Conference
Design of a Toolset for Dynamic Analysis of Concurrent Java Programs
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
Tool Support for Testing Concurrent Java Components
IEEE Transactions on Software Engineering
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Towards software architecture-based regression testing
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Using scenarios to support traceability
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Automated verification and test case generation for input validation
Proceedings of the 2006 international workshop on Automation of software test
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Towards supporting the architecture design process through evaluation of design alternatives
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 38th conference on Winter simulation
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Electronic Notes in Theoretical Computer Science (ENTCS)
A method to test concurrent systems using architectural specification
The Journal of Supercomputing
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
A rigorous approach towards test case generation
Information Sciences: an International Journal
Functional testing for students: a practical approach
ACM SIGCSE Bulletin
JEETuningExpert: A software assistant for improving Java Enterprise Edition application performance
Expert Systems with Applications: An International Journal
Architecting fault tolerance with exception handling: verification and validation
Journal of Computer Science and Technology
Architectural verification of black-box component-based systems
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Needed foundations for assuring the desirable behavior of software-reliant systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Reasoning about software architecture-based regression testing through a case study
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
An architecture-centric approach for producing quality systems
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Generating test data for specification-based tests via quasirandom sequences
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.01 |
Abstract--Our research deals with the use of Software Architecture (SA) as a reference model for testing the conformance of an implemented system with respect to its architectural specification. We exploit the specification of SA dynamics to identify useful schemes of interactions between system components and to select test classes corresponding to relevant architectural behaviors. The SA dynamics is modeled by Labeled Transition Systems (LTSs). The approach consists of deriving suitable LTS abstractions called ALTSs. ALTSs offer specific views of SA dynamics by concentrating on relevant features and abstracting away from uninteresting ones. Intuitively, deriving an adequate set of test classes entails deriving a set of paths that appropriately cover the ALTS. Next, a relation between these abstract SA tests and more concrete, executable tests needs to be established so that the architectural tests derived can be refined into code-level tests. In the paper, we use the TRMCS case study to illustrate our hands-on experience. We discuss the insights gained and highlight some issues, problems, and solutions of general interest in architecture-based testing.