Specification-Based Test Generation for Security-Critical Systems Using Mutations
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Achieving communication coverage in testing
ACM SIGSOFT Software Engineering Notes
Property relevant software testing with model-checkers
ACM SIGSOFT Software Engineering Notes
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the effect of test-suite reduction on automatically generated model-based tests
Automated Software Engineering
Information and Software Technology
Contract driven development = test driven development - writing test cases
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Combining test case generation for component and integration testing
Proceedings of the 3rd international workshop on Advances in model-based testing
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Towards Deriving Test Sequences by Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
An automated technique for risk-based test case generation and prioritization
Proceedings of the 3rd international workshop on Automation of software test
A Case for Specification Validation
Verified Software: Theories, Tools, Experiments
On the Use of Uniform Random Generation of Automata for Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
Using partial models to support the testing of distributed systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Using spin to generate tests from ASM specifications
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Redundancy based test-suite reduction
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
A prolific approach for automated generation of test cases from informal requirements
ACM SIGSOFT Software Engineering Notes
SysML to UML model transformation for test generation purpose
ACM SIGSOFT Software Engineering Notes
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Aspects-classes integration testing strategy: an incremental approach
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Automated boundary test generation from JML specifications
FM'06 Proceedings of the 14th international conference on Formal Methods
Instantiation of parameterized data structures for model-based testing
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
This paper presents general criteria for generating test inputs from state-based specifications. Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Formal specifications of complex systems represent a significant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can easily be manipulated. These techniques provide coverage criteria that are based on the specifications, and are made up of several parts, including test prefixes that contain inputs necessary to put the software into the appropriate state for the test values. The test generation process includes several steps for transforming specifications to tests. Empirical results from a comparative case study application of these criteria are presented.