Skip to main content
SpringerLink
Log in
Book cover

Brazilian Symposium on Formal Methods

SBMF 2016: Formal Methods: Foundations and Applications pp 21–38Cite as

Formal Testing from Natural Language in an Industrial Context

  • Conference paper
  • First Online:

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

Abstract

We present some results on developing formal testing strategies and tools for mobile applications, in the context of a partnership with Motorola, a Lenovo company. Actually, the overall scope is much larger, encompassing image processing, optimisation algorithms, sentiment analysis, energy-aware software design, and other research areas.

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

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 EPUB and 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

Learn about institutional subscriptions

Notes

  1. 1.

    http://developer.android.com/intl/en-us/reference/android/view/accessibility/AccessibilityEvent.html.

References

  1. Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K.: Conformance testing as falsification for cyber-physical systems (2014). arXiv preprint: arXiv:1401.5200

  2. Arruda, F., Sampaio, A., Barros, F.: Capture and replay with text-based reuse and framework agnosticism. In: Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc. http://dx.doi.org/10.18293/SEKE2016-228

  3. Bertolino, A., Gnesi, S.: Use case-based testing of product lines. ACM SIGSOFT Softw. Eng. Notes 28(5), 355–358 (2003)

    Article  Google Scholar 

  4. Carvalho, G., Sampaio, A., Mota, A.: A CSP timed input-output relation and a strategy for mechanised conformance verification. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol. 8144, pp. 148–164. Springer, Heidelberg (2013). doi:10.1007/978-3-642-41202-8_11

    Chapter  Google Scholar 

  5. Cavalcanti, A., Hierons, R.M., Nogueira, S., Sampaio, A.: A suspension-trace semantics for CSP. In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, 17–19 July 2016, pp. 3–13 (2016). http://dx.doi.org/10.1109/TASE.2016.9

  6. Dang, T., Nahhal, T.: Coverage-guided test generation for continuous and hybrid systems. Formal Methods Syst. Des. 34(2), 183–213 (2009)

    Article  MATH  Google Scholar 

  7. Android Developers: UiAutomator (2016)

    Google Scholar 

  8. Ferreira, F., Neves, L., Silva, M., Borba, P.: TaRGeT: a model based product line testing tool. In: Tools Session of CBSoft (2010)

    Google Scholar 

  9. Goldsmith, M., Roscoe, B., Armstrong, P.: Failures-divergence refinement-FDR2 user manual (2005)

    Google Scholar 

  10. Hartmann, J., Vieira, M., Foster, H., Ruder, A.: A UML-based approach to system testing. Innov. Syst. Softw. Eng. 1(1), 12–24 (2005)

    Article  Google Scholar 

  11. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)

    Google Scholar 

  12. Machado, P., Sampaio, A.: Automatic test-case generation. In: Borba, P., Cavalcanti, A., Sampaio, A., Woodcook, J. (eds.) PSSE 2007. LNCS, vol. 6153, pp. 59–103. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14335-9_3

    Chapter  Google Scholar 

  13. Minsky, M.: A framework for representing knowledge (1975)

    Google Scholar 

  14. Nogueira, S., Sampaio, A., Mota, A.: Test generation from state based use case models. Form. Asp. Comput. 26(3), 441–490 (2014). http://dx.doi.org/10.1007/s00165-012-0258-z

    Article  MathSciNet  MATH  Google Scholar 

  15. Roscoe, A.W.: Understanding Concurrent Systems. Springer Science & Business Media, London (2010)

    Book  MATH  Google Scholar 

  16. Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)

    Google Scholar 

  17. Sampaio, A., Nogueira, S., Mota, A., Isobe, Y.: Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verif. Reliab. 24(4), 289–319 (2014). http://dx.doi.org/10.1002/stvr.1498

    Article  Google Scholar 

  18. Soeken, M., Wille, R., Drechsler, R.: Assisted behavior driven development using natural language processing. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 269–287. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30561-0_19

    Chapter  Google Scholar 

  19. Some, S.S., Cheng, X.: An approach for supporting system-level test scenarios generation from textual use cases. In: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 724–729. ACM (2008)

    Google Scholar 

  20. Thummalapenta, S., Sinha, S., Singhania, N., Chandra, S.: Automating test automation. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 881–891. IEEE (2012)

    Google Scholar 

  21. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools (TR-CTIT-96-26) (1996)

    Google Scholar 

  22. Weiglhofer, M., Wotawa, F.: On the fly input output conformance verification. In: Proceedings of the IASTED International Conference on Software Engineering, pp. 286–291. ACTA Press (2008)

    Google Scholar 

  23. Wong, E., Zhang, L., Wang, S., Liu, T., Tan, L.: Dase: document-assisted symbolic execution for improving automated software testing. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, vol. 1, pp. 620–631. IEEE (2015)

    Google Scholar 

Download references

Acknowledgments

The work described here had the contribution of several colleagues: Hugo Araujo, Flavia Barros, Ana Cavalcanti, Gustavo Carvalho, Alexandre Mota and Sidney Nogueira, among others.

Author information

Authors and Affiliations

  1. Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil

    Augusto Sampaio & Filipe Arruda

Authors
  1. Augusto Sampaio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Filipe Arruda
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Augusto Sampaio .

Editor information

Editors and Affiliations

  1. Universidad Federal do Rio Grande do Sul, Porto Alegre, Brazil

    Leila Ribeiro

  2. ClearSy, Aix en Provence, France

    Thierry Lecomte

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Sampaio, A., Arruda, F. (2016). Formal Testing from Natural Language in an Industrial Context. In: Ribeiro, L., Lecomte, T. (eds) Formal Methods: Foundations and Applications. SBMF 2016. Lecture Notes in Computer Science(), vol 10090. Springer, Cham. https://doi.org/10.1007/978-3-319-49815-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-49815-7_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-49814-0

  • Online ISBN: 978-3-319-49815-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation