nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing

verfasst von : Fumiko Nagoya, Shaoying Liu

Erschienen in: Structured Object-Oriented Formal Language and Method

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Formal methods mainly aim to improve software reliability by systematic refinements and/or verifications between specifications and implementations in mathematical ways. However, they are not enough for validating whether the system functions meet the user’s requirements. We propose a combination of software prototyping and formal methods to address this problem. Our prototype provides desirable behaviors of system functions, and supports the generation of test cases by finding out input and output data related to the functions. This paper describes a case study for integrating a GUI-aided approach to constructing formal specifications and a testing-based verification of programs. Our research shows a demand for additional work on verifying external database accesses in automatic test case generation from formal specifications.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Dijkstra, E.W.: Structured Programming, pp. 1–82. Academic Press Ltd., London (1972)MATH

Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)CrossRef

Naik, K., Tripathy, P.: Software Testing and Quality Assurance: Theory and Practice, 1st edn. Wiley-Spektrum, Hoboken (2008)CrossRef

Ammann, P., Offutt, J.: Using formal methods to derive test frames in category-partition testing. In: Proceedings of the Ninth Annual Conference on Computer Assurance, 1994. COMPASS 1994 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security, pp. 69–79 (1994)

Jackson, D., Vaziri, M.: Finding bugs with a constraint solver. In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2000, pp. 14–25. ACM, New York (2000)CrossRef

Bustard, D.W., Winstanley, A.C.: Making changes to formal specifications: requirements and an example. IEEE Trans. Softw. Eng. 20, 562–568 (1994)CrossRef

Liu, S.: A GUI-aided approach to formal specification construction. In: Liu, S., Duan, Z. (eds.) SOFL+MSVL 2015. LNCS, vol. 9559, pp. 44–56. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-31220-0_4CrossRef

Nagoya, F., Liu, S.: A case study of a GUI-aided approach to constructing formal specifications. In: Liu, S., Duan, Z., Tian, C., Nagoya, F. (eds.) SOFL+MSVL 2016. LNCS, vol. 10189, pp. 74–84. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57708-1_5CrossRef

Nagoya, F., Liu, S.: A comparative study of a GUI-aided formal specification construction approach. In: Gervasi, O., et al. (eds.) ICCSA 2017. LNCS, vol. 10404, pp. 273–283. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-62392-4_20CrossRef

10.

Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-662-07287-5CrossRefMATH

11.

Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall International (UK) Ltd., Manchester (1986)MATH

12.

DeMarco, T.: Structured Analysis and System Specification. Prentice Hall PTR, Upper Saddle River (1979)

13.

Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985). https://doi.org/10.1007/978-3-642-69968-9CrossRefMATH

14.

Liu, S., Nakajima, S.: A decompositional approach to automatic test case generation based on formal specifications. In: Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement. SSIRI 2010, pp. 147–155. IEEE Computer Society, Washington (2010)

15.

Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Woodcock, J.C.P., Larsen, P.G. (eds.) FME 1993. LNCS, vol. 670, pp. 268–284. Springer, Heidelberg (1993). https://doi.org/10.1007/BFb0024651CrossRef

16.

Liu, S.: A tool supported testing method for reducing cost and improving quality. In: 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, 1–3 August 2016, pp. 448–455. IEEE (2016)

17.

Sauer, J., Sonderegger, A.: The influence of prototype fidelity and aesthetics of design in usability tests: effects on user behaviour, subjective evaluation and emotion. Appl. Ergon. 40, 670–677 (2009)CrossRef

18.

Treharne, H., Draper, J., Schneider, S.: Test case preparation using a prototype. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 293–311. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0053368CrossRef

19.

Mingsong, C., Xiaokang, Q., Xuandong, L.: Automatic test case generation for UML activity diagrams. In: Proceedings of the 2006 International Workshop on Automation of Software Test. AST 2006, pp. 2–8. ACM, New York (2006)

20.

Linzhang, W., Jiesong, Y., Xiaofeng, Y., Jun, H., Xuandong, L., Guoliang, Z.: Generating test cases from UML activity diagram based on gray-box method. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference. APSEC 2004, pp. 284–291. IEEE Computer Society, Washington (2004)

21.

Ali, S., Briand, L.C., Rehman, M.J.U., Asghar, H., Iqbal, M.Z.Z., Nadeem, A.: A state-based approach to integration testing based on UML models. Inf. Softw. Technol. 49, 1087–1106 (2007)CrossRef

Titel: An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing
verfasst von: Fumiko Nagoya
Shaoying Liu
Verlag: Springer International Publishing
Buch: Structured Object-Oriented Formal Language and Method
Print ISBN: 978-3-319-90103-9

Electronic ISBN: 978-3-319-90104-6

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-90104-6_2

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"