The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A Well-Defined Estelle Specification for the Automatic Test Generation
IEEE Transactions on Computers - Special issue on protocol engineering
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
Test development for communication protocols: towards automation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Test cases selection from SDL specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - special issue on MSC and SDL in project life cycles
Requirement-Based Automated Black-Box Test Generation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
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 SDL for Implementing a Wireless Medium Access Control Protocol
MSE '00 Proceedings of the 2000 International Conference on Microelectronic Systems Education
An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites
ICSM '98 Proceedings of the International Conference on Software Maintenance
Empirical Software Engineering
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-based test prioritization heuristic methods and their evaluation
Proceedings of the 3rd international workshop on Advances in model-based testing
A test suite reduction approach based on pairwise interaction of requirements
Proceedings of the 2011 ACM Symposium on Applied Computing
Applying requirement based complexity for the estimation of software development and testing effort
ACM SIGSOFT Software Engineering Notes
Test suite reduction based on dependence analysis
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
Hi-index | 0.01 |
Requirement-based automated test case generation is a model-based technique for generating test suites related to individual requirements. The technique supports test generation from EFSM (Extended Finite State Machine) system models. Several requirement-based selective test generation techniques were proposed. These techniques may significantly reduce a number of test cases with respect to a requirement under test as opposed to a complete system testing. However, the number of test cases may still be very large especially for large systems. In this paper, we present an approach of reduction of requirement based test suites using EFSM dependence analysis. Different types of dependencies are identified between elements of the EFSM system model. These dependencies capture potential interactions between elements of the model and are used to determine parts of the model that affect a requirement under test. This information is used to reduce the test suite by identifying repetitive tests, i.e., tests that exhibit the same pattern of interactions with respect to the requirement under test. Our initial experience shows that this approach may significantly reduce the size of selective test suites.