Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Concurrent and Real Time Systems: The CSP Approach
Concurrent and Real Time Systems: The CSP Approach
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Compositional dynamic test generation
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Motorola SpecNL: A Hybrid System to Generate NL Descriptions from Test Case Specifications
HIS '06 Proceedings of the Sixth International Conference on Hybrid Intelligent Systems
Formal Specification Generation from Requirement Documents
Electronic Notes in Theoretical Computer Science (ENTCS)
Guided Test Generation from CSP Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Improving Fault-based Conformance Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
"On the fly" input output conformance verification
SE '08 Proceedings of the IASTED International Conference on Software Engineering
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Unifying input output conformance
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A generic theorem prover of CSP refinement
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Automated abstraction of software
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems
Information Sciences: an International Journal
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Testing with inputs and outputs in CSP
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
This paper contributes to a testing theory, based on the CSP process algebra, whose conformance relation (cspio) distinguishes input and output events. Although cspio has been defined in terms of the standard CSP traces model, we show that our theory can be immediately extended to address deadlock, outputlock and livelock situations if a special output event is used to represent quiescence. This is formally established by showing that this broader view of cspio is equivalent to Tretmans' ioco relation. Furthermore, we address compositional conformance verification, establishing compositionality properties for cspio with respect to process composition operators. Our testing theory has been adopted in an industrial context involving a collaboration with Motorola, whose focus is on the testing of mobile applications. Some examples are presented to illustrate the overall approach.