Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Endo-testing: unit testing with mock objects
Extreme programming examined
Simplifying and Isolating Failure-Inducing Input
IEEE Transactions on Software Engineering
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Automated test generation for industrial Erlang applications
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
Journal of Functional Programming
XUnit Test Patterns: Refactoring Test Code
XUnit Test Patterns: Refactoring Test Code
Testing telecoms software with quviq QuickCheck
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Pragmatic Unit Testing in Java with JUnit
Pragmatic Unit Testing in Java with JUnit
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Manage Software Testing
Integration Testing of Composite Applications
HICSS '08 Proceedings of the Proceedings of the 41st Annual Hawaii International Conference on System Sciences
A survey on model-based testing approaches: a systematic review
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Testing Erlang data types with quviq quickcheck
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
A Practical Methodology for Integration Testing
Computer Aided Systems Theory - EUROCAST 2009
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Property driven development in Erlang, by example
Proceedings of the 5th Workshop on Automation of Software Test
Model-Driven Testing: Using the UML Testing Profile
Model-Driven Testing: Using the UML Testing Profile
Automating Java Program Testing Using OCL and AspectJ
ITNG '10 Proceedings of the 2010 Seventh International Conference on Information Technology: New Generations
From test cases to FSMs: augmented test-driven development and property inference
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Property-based testing: the ProTest project
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE Transactions on Software Engineering
Extracting Properties from Test Cases by Refactoring
ICSTW '11 Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
QuickCheck testing for fun and profit
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Hi-index | 0.00 |
Integration of reused, well-designed components and subsystems is a common practice in software development. Hence, testing integration interfaces is a key activity, and a whole range of technical challenges arise from the complexity and versatility of such components. In this paper, we present a methodology to fully test different implementations of a software component integration API. More precisely, we propose a black-box testing approach, based on the use of QuickCheck and inspired by the TTCN-3 test architecture, to specify and test the expected behavior of a component. We have used a real-world multimedia content management system as case study. This system offers the same integration API for different technologies: Java, Erlang and HTTP/XML. Using our method, we have tested all integration API implementations using the same test specification, increasing the confidence in its interoperability and reusability.