Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
DEBL: a knowledge-based language for specifying and debugging distributed programs
Communications of the ACM - Special issue: multiprocessing
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Design and validation of computer protocols
Design and validation of computer protocols
Path analysis testing of concurrent programs
Information and Software Technology
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
An introduction to modal and temporal logics for CCS
Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture: theory, language, and architecture
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Nondeterminancy: testing and debugging in message passing parallel programs
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Testing abstract distributed programs and their implementations: a constraint-based approach
Journal of Systems and Software - Special issue on software engineering for distributed computing
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Distributed systems analysis with CCS
Distributed systems analysis with CCS
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Synchronizable test sequences of finite state machines
Computer Networks and ISDN Systems
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
A graphical notation for describing executions of concurrent Ada programs
ACM SIGAda Ada Letters
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Replay and Testing for Concurrent Programs
IEEE Software
Specifying Concurrent Systems with TSL
IEEE Software
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
A Specification-Based Methology for Testing Concurrent Programs
Proceedings of the 5th European Software Engineering Conference
On the Existence and Production of State Identification Machines for Labelled Transition Systems
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Generation of Adaptive Test Cases from Nondeterministic Finite State Models
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Observation Inaccuracy in Conformance Testing with Multiple Testers
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Reachability Testing of Asynchronous Message-Passing Programs
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
On Using Static Analysis in Distributed System Testing
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
A Concurrency Test Tool for Java Monitors
Proceedings of the 16th IEEE international conference on Automated software engineering
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Testing Context-Sensitive Middleware-Based Software Applications
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
Automated verification and test case generation for input validation
Proceedings of the 2006 international workshop on Automation of software test
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Reachability Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Code based analysis for object-oriented systems
Journal of Computer Science and Technology
Using a model-based test generator to test for standard conformance
IBM Systems Journal
A measurement framework for object-oriented software testability
Information and Software Technology
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Building test constraints for testing middleware-based distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Reasoning about software architecture-based regression testing through a case study
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
An approach to testing commercial embedded systems
Journal of Systems and Software
| Hi-index | 0.00 |
This paper presents and evaluates a specification-based methodology for testing concurrent programs. This methodology requires sequencing constraints, which specify restrictions on the allowed sequences of synchronization events. Sequencing constraints for a concurrent program can be derived from the program's formal or informal specification. Details of the proposed testing methodology based on the use of Constraints on Succeeding and Preceding Events (CSPE) are given. How to achieve coverage and detect violations of CSPE constraints for a concurrent program, according to deterministic and nondeterministic testing of this program, are described. A coverage criterion for CSPE-based testing is defined and analyzed. The results of empirical studies of CSPE-based testing for four concurrent problems are reported. These results indicate that the use of sequencing constraints for specification-based testing of concurrent programs is a promising approach.