Skip to main content

2015 | OriginalPaper | Buchkapitel

Dependability Arguments Supported by Fuzz-Testing

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

search-config
loading …

Abstract

Today’s situation in operating theaters is characterized by many different devices from various manufacturers. Missing standards for device intercommunication lead to the fact that inter-device communication in most cases is either difficult or even impossible. A system oriented approach with networked devices is envisioned to improve this heterogeneous situation. Every device in the operating theater shall be able to interchange data with every other device in the network. Even remote control of other devices shall be possible. Therefore, concepts for safe and secure dynamic networking of components in operation theaters and hospitals have to be provided. This paper will show methods to test such systems of systems and provide a way to increase the robustness of the interfaces. This will be part of the evidence described in multidimensional dependability arguments provided to certification authorities.

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!

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!

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!

Literatur
1.
Zurück zum Zitat van Sprundel, I.: Fuzzing: Breaking software in an automated fashion. CCC congress (2005) van Sprundel, I.: Fuzzing: Breaking software in an automated fashion. CCC congress (2005)
2.
Zurück zum Zitat Stephenson, Z., Kelly, T., Camus, J.-L.: Developing an Argument for Def Stan 00-56 from Existing Qualification Evidence, Embedded Real-Time Software and Systems (2010) Stephenson, Z., Kelly, T., Camus, J.-L.: Developing an Argument for Def Stan 00-56 from Existing Qualification Evidence, Embedded Real-Time Software and Systems (2010)
3.
Zurück zum Zitat Fu, Y., Koné, O.: Security and robustness by protocol testing. IEEE Syst. J. 8(3), 699–707 (2014)CrossRef Fu, Y., Koné, O.: Security and robustness by protocol testing. IEEE Syst. J. 8(3), 699–707 (2014)CrossRef
4.
Zurück zum Zitat Castanet, R., Koné, O., Zarkouna, K.B.: Test de robustesse. In: Proceedings SETIT, pp. 100–111, March 2003 Castanet, R., Koné, O., Zarkouna, K.B.: Test de robustesse. In: Proceedings SETIT, pp. 100–111, March 2003
5.
Zurück zum Zitat IEEE Standard Glossary of Software Engineering Terminology, IEEE Standard 610.12-1990, December 1990 IEEE Standard Glossary of Software Engineering Terminology, IEEE Standard 610.12-1990, December 1990
6.
Zurück zum Zitat Gotzhein, R., Khendek, F.: Compositional testing of communication systems. In: Uyar, M., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 227–244. Springer, Heidelberg (2006)CrossRef Gotzhein, R., Khendek, F.: Compositional testing of communication systems. In: Uyar, M., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 227–244. Springer, Heidelberg (2006)CrossRef
7.
Zurück zum Zitat Lei, B., Li, X., Liu, Z.: Robustness testing for software components. Sci. Comput. Program. 75, 879–897 (2010)CrossRefMATH Lei, B., Li, X., Liu, Z.: Robustness testing for software components. Sci. Comput. Program. 75, 879–897 (2010)CrossRefMATH
8.
Zurück zum Zitat Kaner, C.: An Introduction to Scenario Testing, Florida Tech, June 2003 Kaner, C.: An Introduction to Scenario Testing, Florida Tech, June 2003
9.
Zurück zum Zitat Ryser, J., Glinz, M.: A scenario-based approach to validating and testing software systems using statecharts. In: 12th International Conference on Software and Systems Engineering and their Applications, ICSSEA 1999, Paris (1999) Ryser, J., Glinz, M.: A scenario-based approach to validating and testing software systems using statecharts. In: 12th International Conference on Software and Systems Engineering and their Applications, ICSSEA 1999, Paris (1999)
10.
Zurück zum Zitat Sujan, M.-A., Pozzi, S., Valbonesi, C., Ingram, C.: Resilience as individual adaptation: preliminary analysis of a hospital dispensary. In: CEUR Proceedings 4th Workshop HCP Human Centered Processes, February 10–11, 2011 Sujan, M.-A., Pozzi, S., Valbonesi, C., Ingram, C.: Resilience as individual adaptation: preliminary analysis of a hospital dispensary. In: CEUR Proceedings 4th Workshop HCP Human Centered Processes, February 10–11, 2011
11.
Zurück zum Zitat Redin, R.M., Oliveira, M.F.S., Brisolara, L.B., Mattos, J.C.B., Lamb, L.C., Wagner, F.R., Carro, L.: On the use of software quality metrics to improve physical properties of embedded systems, Institute of Informatics, Federal University of Rio Grande do Sul Redin, R.M., Oliveira, M.F.S., Brisolara, L.B., Mattos, J.C.B., Lamb, L.C., Wagner, F.R., Carro, L.: On the use of software quality metrics to improve physical properties of embedded systems, Institute of Informatics, Federal University of Rio Grande do Sul
12.
Zurück zum Zitat Waever, R., Despotou, G., Kelly, T., McDermid, J.: Combining software evidence-arguments and assurance, department of computer science. In: Proceedings of ICSE-2005 Waever, R., Despotou, G., Kelly, T., McDermid, J.: Combining software evidence-arguments and assurance, department of computer science. In: Proceedings of ICSE-2005
13.
Zurück zum Zitat Arney, D., Goldman, J.M., Bhargav-Spantzel, A., Basu, A., Taborn, M., Pappas, G., Robkin, M.: Simulation of Medical Device Network Performance for an Integrated Clinical Environment, Biomedical Instrumentation & Technology, pp. 308–315, July/August 2012 Arney, D., Goldman, J.M., Bhargav-Spantzel, A., Basu, A., Taborn, M., Pappas, G., Robkin, M.: Simulation of Medical Device Network Performance for an Integrated Clinical Environment, Biomedical Instrumentation & Technology, pp. 308–315, July/August 2012
14.
Zurück zum Zitat Holzman, G.J.: Fault Intolerance, IEEE Software, pp. 16–20, November/December 2014 Holzman, G.J.: Fault Intolerance, IEEE Software, pp. 16–20, November/December 2014
Metadaten
Titel
Dependability Arguments Supported by Fuzz-Testing
verfasst von
Uwe Becker
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-24249-1_35