Skip to main content
SpringerLink
Log in

An approach to applying SOFL for agile process and its application in developing a test support tool

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approach to constructing formal specifications, and specification-based inspection and testing for verification and validation. In this paper, we describe a novel approach to applying the SOFL method to achieve agile development process. This approach results from our experience in several collaboration projects with industry, and aims to strike a balance between the fast delivery of software product and the assurance of its quality. We have tested the approach in developing a prototype test support tool.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Miller T, Strooper P (2002) Model-based specification animation using testgraphs. In: Proceedings of 4th international conference on formal engineering methods. LNCS, Springer, Shanghai, pp 192–203

  2. Liu S (1999) Verifying consistency and validity of formal specifications by testing. In: Proceedings of the world congress on formal methods in the development of computing systems. LNCS. Springer, Toulouse, pp 896–914

  3. Woodcock J, Larsen PG, Bicarregui J, Fitzgerald J (2009) Formal methods: practice and experience. ACM Comput Surv 41(4): 1–39

    Article  Google Scholar 

  4. Kurita T, Nakatsugawa Y, Ohta Y (2005) Applying formal specification method in the development of an embedded mobile FeliCa IC Chip (in Japanese). In: Proceedings of the 2005 software symposium. Toyama, Japan, pp 73–80

  5. Sahara S (2004) An experience of applying formal method on a large business application (in Japanese). In: Proceedings of 2004 symposium of science and technology on system verification, AIST, Osaka, Japan, pp 93–100

  6. Liu S, Offutt AJ, Ho-Stuart C, Sun Y, Ohba M (1998) SOFL: a formal engineering methodology for industrial applications. IEEE Trans Softw Eng 24(1):337–344

    Google Scholar 

  7. Liu S (2004) Formal engineering for industrial software development using the SOFL method. Springer, Berlin

    MATH  Google Scholar 

  8. Abrahamsson P, Salo O, Ronkainen J, Warsta J (2002) Agile software development methods: review and analysis. Espoo 2002, VTT Publications 478

  9. Beck K (1999) Embracing change with extreme programming. IEEE Comput 32(10):70–77

    Google Scholar 

  10. Liu S (2007) Integrating specification-based review and testing for detecting errors in programs. In: 9th international conference on formal engineering methods. LNCS, vol 4789. Springer, Boca Raton, pp 136–150

  11. Schwaber K, Beedle M (2002) Agile software development with scrum. Prentice-Hall, Upper Saddle River

    Google Scholar 

  12. Stapleton J (1997) Dynamic systems development method—the method in practice. Addison Wesley, Reading

    Google Scholar 

  13. Black S, Boca PP, Bowen JP, Gorman J, Hinchey M (2009) Formal versus agile: survival of the fitest? IEEE Comput 42(9):37–45

    Google Scholar 

  14. Suhaib SM, Mathaikutty DA, Shukla SK, Berner D (2005) XFM: an incremental methodology for developing formal models. ACM Trans Des Autom Electron Syst 10(4): 589–609

    Article  Google Scholar 

  15. Eleftherakis G, Cowling AJ (2003) An agile formal development methodology. In: Proceedings of 1st South East European workshop on formal methods (SEEFM03), Hawaii, November 2003

  16. Liu S, Takahashi K, Hayashi T, Nakayama T (2009) Teaching formal methods in the context of software engineering. Inroads SIGCSE Bull 41(2): 17–23

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Hosei University, Tokyo, Japan

    Shaoying Liu

Authors
  1. Shaoying Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shaoying Liu.

Additional information

This work is supported in part by NII Collaborative Research Program and the NSFC Grant (No. 60910004).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Liu, S. An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations Syst Softw Eng 6, 137–143 (2010). https://doi.org/10.1007/s11334-009-0114-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-009-0114-3

Keywords

Search

Navigation