Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Specification Based Testing: Towards Practice
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Java Specification Extension for Automated Test Development
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
KVEST: Automated Generation of Test Suites from Formal Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
Programming and Computing Software
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case
Programming and Computing Software
Traversal of an Unknown Directed Graph by a Finite Robot
Programming and Computing Software
Programming and Computing Software
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
An approach to creating development environments for a wide class of programming languages
Programming and Computing Software
Bug localization by constructing reduced traces
Programming and Computing Software
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal methods in industrial software standards enforcement
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Generating unit tests from formal proofs
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Component architecture of model-based testing environment
Programming and Computing Software
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Programming and Computing Software
Practical approach to specification and conformance testing of distributed network applications
ISAS'05 Proceedings of the Second international conference on Service Availability
Model-based testing of internet e-mail protocols
Programming and Computing Software
Model-based testing of optimizing compilers
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
| Hi-index | 0.00 |
The article presents the main components of the test suite architecture underlying UniTesK test development technology, an automated specification based test development technology for use in industrial testing of general-purpose software. The architecture presented contains such elements as automatically generated oracles, components to monitor formally defined test coverage criteria, and test scenario specifications for test sequence generation with the help of an automata based testing mechanism. This work stems from the ISP RAS results of academic research and 7-years experience in industrial application of formal testing techniques [1].