Abstract
In the context of offshore outsourcing, in order to validate the requirements of a stakeholder (the contractor) against the actual behavior of an implementation under test (IUT) developed by the contracted, it is necessary to have a requirement specification language from which test cases can be generated and executed on an actual IUT. Code-based testing tools are limited to unit testing and do not tackle validation per se. Conversely, model-based testing tools support the derivation of test cases from a requirements model. But such test cases are not necessarily executable and those tools that claim ’test execution’ in fact offer symbolic execution, which is carried out using a model of the IUT, not the actual IUT. Here, we overview a requirements specification language and its corresponding fully implemented framework, that support the validation of IUT-independent requirements against actual IUT behavior, as required by offshore outsourcing.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Meyer, B.: The Unspoken Revolution in Software Engineering. IEEE Computer 39(1), 121–123 (2006)
Corriveau, J.-P.: Testable Requirements for Offshore Outsourcing. In: Meyer, B., Joseph, M. (eds.) SEAFOOD 2007. LNCS, vol. 4716, pp. 27–43. Springer, Heidelberg (2007)
Binder, R.: Testing Object-Oriented Systems. Addison-Wesley Professional, Reading (2000)
Grieskamp, W.: Multi-Paradigmatic Model-Based Testing. Technical Report #MSR-TR-2006-111, Microsoft Research (2006)
International Telecommunications Union: The Evolution of TTCN, http://www.itu.int/ITU-T/studygroups/com17/ttcn.html
Ryser, J., Glinz, M.: SCENT: A Method Employing Scenarios to Systematically Derive Test Cases for System Test. Technical Report. University of Zurich (2003)
Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Reading (2002)
Arnold, D., Corriveau, J.-P., Shi, W.: Validation against Actual Behavior: Still a Challenge for Testing Tools. In: Software Engineering Research and Practice (SERP). CSREA Press (July 2010)
Cucumber, http://cukes.info/
Microsoft Research: Spec# Tool, http://research.microsoft.com/specsharp
Veanes, M., Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N.: Model-based testing of object-oriented reactive systems with Spec Explorer, Tech. Rep. MSR-TR-2005-59, Microsoft Research (2005)
Meyer, B.: Design by Contract. IEEE Computer 25(10), 40–51 (1992)
Arnold, D., Corriveau, J.-P., Shi, W.: Modeling and Validating Requirements using Executable Contracts and Scenarios. In: Software Engineering Research, Management & Applications (SERA 2010). Springer, Heidelberg (May 2010)
Buhr, R.J.A., Casselman, R.: Use Case Maps for Object Oriented Systems. Prentice Hall, New York (1995)
Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., Stapf, E.: Programs that test themselves. IEEE Computer 42, 46–55 (2009)
Arnold, D., Corriveau, J.-P.: The Validation Framework and its examples, http://vf.davearnold.ca/
Briand, L., Labiche, Y.: A UML-Based Approach to System Testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 194–208. Springer, Heidelberg (2001)
Nebut, C., Fleury, F., Le Traon, Y., Jézéquel, J.M.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering 32, 140–155 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arnold, D., Corriveau, JP., Shi, W. (2010). Reconciling Offshore Outsourcing with Model Based Testing. In: Nordio, M., Joseph, M., Meyer, B., Terekhov, A. (eds) Software Engineering Approaches for Offshore and Outsourced Development. SEAFOOD 2010. Lecture Notes in Business Information Processing, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13784-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-13784-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13783-9
Online ISBN: 978-3-642-13784-6
eBook Packages: Computer ScienceComputer Science (R0)