SDL with applications from protocol specification
SDL with applications from protocol specification
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Dominators, super blocks, and program coverage
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software testing in the real world: improving the process
Software testing in the real world: improving the process
Logic, Programming, and PROLOG
Logic, Programming, and PROLOG
Systems Engineering with SDL: Developing Performance-Critical Communication
Systems Engineering with SDL: Developing Performance-Critical Communication
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
Test derivation for SDL based on ACTs
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Test Generation for CEFSM Combining Specification and Fault Coverage
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Validation of SDL specifications using EFSM-based test generation
Information and Software Technology
Computer Networks
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
ISADS '11 Proceedings of the 2011 Tenth International Symposium on Autonomous Decentralized Systems
Validation of SDL-Based Architectural Design Models: New Coverage Criteria
SSIRI '11 Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
AINTEC '11 Proceedings of the 7th Asian Internet Engineering Conference
Conformance tests as checking experiments for partial nondeterministic FSM
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
A test case generation approach for conformance testing of SDL systems
Computer Communications
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Hi-index | 0.00 |
Context: As the capability to automatically generate code from different models becomes more sophisticated, it is critical that these models be adequately tested for quality assurance prior to code generation. Objective: Although simulation-based black-box testing strategies exist for these models, it is important that we also employ white-box testing strategies similar to those used to test implementation code to further validate the quality of these models. Method: We apply coverage testing to architectural design models represented by SDL, a Specification and Description Language. Our previous study defined a methodology for automatic test generation with respect to two structural-based criteria, all-node and all-edge, for each individual SDL process. In this paper, we present new coverage criteria such as n-step-message-transfer and sender-receiver-round-trip, aiming at the communication between different SDL processes. Results: A test generator using innovative backward tracking and forward validation has been implemented to support these criteria, guiding test generation to detect bugs which could not be revealed by test cases generated only with respect to the all-node and all-edge criteria. Conclusions: The results of our case study support the feasibility of using our test generator to create test cases satisfying the proposed communication-based criteria.