Skip to main content

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4716))

Abstract

Given that software offshore outsourcing is a business relationship, we assume that a contract is required in order to define what services are requested from a contracted entity and how these services are to be delivered to the satisfaction of the contractor. We first argue that, at the heart of the quality assurance facets of such a contract, we must find a single testable model of both the functional and non-functional requirements of the system to be delivered. We present the key properties that such a model must exhibit: testability, executability, scenarios as grammars of responsibilities, and support for abstraction. We then observe that, typically, existing approaches to requirements engineering do not offer such characteristics. We conclude by briefly discussing a prototype conformance testing environment that supports these properties.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Meyer, B.: The unspoken revolution in software engineering. IEEE Computer  (January 2006)

    Google Scholar 

  2. Binder, R.: Testing, Object-Oriented Systems. Addison-Wesley, London, UK (2000)

    Google Scholar 

  3. Gold, T.: Outsourcing Development Offshore: Making it Work. Auerbach Publications (2004)

    Google Scholar 

  4. Kotonya, G., Sommerville, I.: Requirements Engineering. John Wiley & Sons, West Sussex, England (1998)

    Google Scholar 

  5. Davies, A.: Software Requirements: Objects, Functions and States. Prentice-Hall, Englewood Cliffs (1993)

    Google Scholar 

  6. Czarnecki, K., Stahl, T., Voelter, M.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, West Sussex, England (2006)

    Google Scholar 

  7. Corriveau, J.P., Bashardoust-Tajali, S.: Generative hierarchical contracts for conformance testing of sequential containers. In: Proceedings of IASTED’s Conference on Software Engineering (2007)

    Google Scholar 

  8. Meyer, B.: Reusable Software: The Base Object-Oriented Component Libraries. Prentice-Hall, Englewood Cliffs (1994)

    Google Scholar 

  9. Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1994)

    Google Scholar 

  10. Ryser, J., Glinz, M.: Using dependency charts to improve scenario-based testing - management of inter-scenario relationships. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol. 1872, Springer, Heidelberg (2000)

    Google Scholar 

  11. Jacobson, I.: Object-Oriented Software Engineering. Addison-Wesley, London, UK (1992)

    MATH  Google Scholar 

  12. Boehm, B.: A spiral model of software development and enhancement (1988)

    Google Scholar 

  13. Gomaa, H.: Designing Concurrent, Distributed and Real-Time Applications with UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, Springer, Heidelberg (2000)

    Google Scholar 

  14. Briand, L., Labiche, Y., Sun, H.: Investigating the use of Analysis Contracts to Improve the Testability of Object-Oriented Code, vol. 33(7), pp. 637–672. John Wiley & Sons, Inc, West Sussex, England (2003)

    Google Scholar 

  15. Czarnecki, K., Eiseinecker, U.: Generative Programming: Methods, Tools and Applications. Addison-Wesley, London, UK (2000)

    Google Scholar 

  16. Ambler, S.: Agile Modeling. John Wiley & Sons, West Sussex, England (2002)

    Google Scholar 

  17. Beck, K.: Test-Driven Development By Example. Addison-Wesley, London (2002)

    Google Scholar 

  18. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)

    Google Scholar 

  19. Miles, R., Hamilton, K.: Learning UML 2.0. O’Reilly (2006)

    Google Scholar 

  20. Briand, L., Labiche, Y.: A uml-based approach to system testing. In: Gogolla, M., Kobryn, C. (eds.) «UML» 2001 – The Unified Modeling Language. Modeling Languages, Concepts, and Tools. LNCS, vol. 2185, Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  21. Kazman, R., Klein, M., Clements, P.: Atam: Method for architecture evaluating the quality attributes of a software architecture. Technical Report CMU/SEI-200-TR004, Software Engineering Institute, Carnegie Mellon University (2000)

    Google Scholar 

  22. Arnold, D.: Supporting Generative Contracts in.NET. PhD thesis (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Bertrand Meyer Mathai Joseph

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Corriveau, JP. (2007). Testable Requirements for Offshore Outsourcing. In: Meyer, B., Joseph, M. (eds) Software Engineering Approaches for Offshore and Outsourced Development. SEAFOOD 2007. Lecture Notes in Computer Science, vol 4716. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75542-5_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75542-5_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75541-8

  • Online ISBN: 978-3-540-75542-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics