ICSE '94 Proceedings of the 16th international conference on Software engineering
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A Metric Based Theory of Test Selection and Coverage
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Quality assurance for TTCN-3 test specifications
Software Testing, Verification & Reliability - TAIC PART 2006 Special issue - Testing: Academic & Industrial Conference - Practice And Research Techniques
An approach to quality engineering of TTCN-3 test specifications
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Advances in Test Automation - the Evolution of TTCN-3
Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Application of Clustering Methods for Analysing of TTCN-3 Test Data Quality
ICSEA '08 Proceedings of the 2008 The Third International Conference on Software Engineering Advances
Test data variance as a test quality measure: exemplified for TTCN-3
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |
Extensive testing of modern communicating systems often involve large and complex test suites that need to be maintained throughout the life cycle of the tested system. For this purpose, quality assurance of test suites is an inevitable task that eventually has an impact on the quality of the system under test as well. In this work, we present a means to analyze response inconsistencies in test suites. We define a response consistency relation and describe a method that identifies candidates for the analysis. Using these candidates, we find response inconsistent states. The applicability of this method is discussed for local test cases, local test cases with different response orders, and distributed test cases with concurrent behavior.