Statecharts: A visual formalism for complex systems
Science of Computer Programming
Theoretical Computer Science
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Theoretical Computer Science
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Kent Beck's Guide to Better Smalltalk
Kent Beck's Guide to Better Smalltalk
Lessons Learned in Software Testing
Lessons Learned in Software Testing
UniTesK Test Suite Architecture
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Professional Java Development with the Spring Framework
Professional Java Development with the Spring Framework
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Next Generation Java Testing: TestNG and Advanced Concepts
Next Generation Java Testing: TestNG and Advanced Concepts
Model-Based Software Testing and Analysis with C#
Model-Based Software Testing and Analysis with C#
Unit test frameworks
Integration of verification methods for program systems
Programming and Computing Software
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Formal methods in industrial software standards enforcement
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Testing concurrent object-oriented systems with spec explorer
FM'05 Proceedings of the 2005 international conference on Formal Methods
Practical approach to specification and conformance testing of distributed network applications
ISAS'05 Proceedings of the Second international conference on Service Availability
Hi-index | 0.00 |
In the paper, an approach to constructing architecture of tools for model-based testing that rely on modern component-based technologies is presented. One of the basic ideas underlying this approach consists in application of noninvasive composition techniques, which make it possible to integrate a set of independently developed components into a complex system and reconfigure it without modifying codes of the components. The approach suggested in the paper is one of the first applications of the component-based technologies to designing test systems. A prototype implementation of the suggested approach based on available libraries is described, and an example of its use for test construction is presented.