Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Innovations in Systems and Software Engineering
Erschienen in: Innovations in Systems and Software Engineering 4/2014

01.12.2014 | Original Paper

Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings

verfasst von: Doron Drusinsky

Erschienen in: Innovations in Systems and Software Engineering | Ausgabe 4/2014

Einloggen

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

search-config
loading …

Abstract

This paper presents two computer-aided techniques for discovering formal specification behavioral requirements and for mapping components and methods within an implementation to their driving requirements. The first technique is an informal technique while the second technique is formal. The first technique uses a system reference model abstraction and a set of existing formal specifications to discover implementation components that are not well covered by the formal specification set. This technique also provides a mapping between requirements and code segments driven by those requirements. The second technique uses a bounded constraint solver to match a set of tests with a generic formal specification taken from a small library.
Vorheriger Artikel Multi-objective test prioritization via a genetic algorithm
Nächster Artikel Mapping of improvement models as a risk reduction strategy: a theoretical comparison for the aerospace industry

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 "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

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
Fußnoten
1
JUnit is a well-known standard Java testing framework; see www.​junit.​org.
 
2
Coverage in this example was done using the Emma test coverage tool (www.​eclemma.​com).
 
Literatur
1.
Clarke E, Wing J et al (1996) Formal methods: state of the art and future direction. ACM Comput Surv 28(4):626–643CrossRef
2.
Clarke EM, Emerson EA (1981) Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen D (ed) Proc. workshop on logic of programs, LNCS vol. 131. Springer, pp 52–71
3.
Drusinsky D (2006) Modeling and verification using UML statecharts—a working guide to reactive system design. Runtime monitoring and execution-based model checking. Elsevier, Amsterdam
4.
Drusinsky D (2011) Practical UML-based specification, validation, and verification of mission-critical software. Space exploration and defense software examples in practice. ISBN: 978-145750-494-5
5.
Dutertre B, Stavridou V (1997) Formal requirements analysis of an avionics control system. IEEE Trans Softw Eng 23(5):267–278
6.
Drusinsky D, Michael JB, Otani T, Shing M (2008) Validating UML statechart-based assertions libraries for improved reliability and assurance. In: Proc. \(2^{nd}\) international conf. on secure system integration and reliability improvement, Yokohama, Japan, 14–17 July 2008, pp 47–51
7.
Drusinsky D, Michael JB, Otani T, Shing M (2008) Validating UML statechart-based assertions libraries for improved reliability and assurance. In: Proceedings of the second international conference on secure system integration and reliability improvement (SSIRI 2008), Yokohama, Japan, 14–17 July 2008, pp 47–51 (Best paper award)
8.
Easterbrook S, Lutz R, Covington R, Kelly J, Ampo Y, Hamilton D (1998) Experiences using lightweight formal methods for requirements modeling. IEEE Trans Softw Eng 24(1):4–14CrossRef
9.
Havelund K, Rosu G (2004) An overview of the runtime verification tool java pathexplorer, vol 24., Formal methods in system designSpringer, Netherlands
10.
Hinchey MG, Rash JL, Rouff CA (2005) Requirements to design to code: towards a fully formal approach to automatic code generation. NASA tech. monograph TM-2005, 212774
11.
Hoare CAR (1985) Communicating seqential processes., International series in computer scienceprentice hall, Englewood Cliffs
12.
Hopcroft JE, Ullman JD (2006) Introduction to automata theory, languages, and computation. Addison Wesley, Menlo Park
13.
14.
Malik S, Zhang L (2002) The quest for efficient boolean satisfiability solvers. In: Proc. 14\(^{th }\) conf. on computer aided verification (CAV2002), Copenhagen, Denmark, July 2002, pp 17–36
15.
16.
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice Volume 23 Issue 5, May 1997.
17.
Wing JM, Woodcock J (2000) Special issues for FM ’99: the first World Congress on formal methods in the development of computing systems. IEEE Trans Softw Eng 26(8)
Metadaten
Titel
Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings
verfasst von
Doron Drusinsky
Publikationsdatum
01.12.2014
Verlag
Springer London
Erschienen in
Innovations in Systems and Software Engineering / Ausgabe 4/2014
Print ISSN: 1614-5046
Elektronische ISSN: 1614-5054
DOI
https://doi.org/10.1007/s11334-014-0235-1

Weitere Artikel der Ausgabe 4/2014

Innovations in Systems and Software Engineering 4/2014 Zur Ausgabe

Original Paper

A statistical study of the relevance of lines of code measures in software projects

Original Paper

Agile knowledge management: a survey of Indian perceptions

Original Paper

State of practice in requirements engineering: contemporary data

Original Paper

Mapping of improvement models as a risk reduction strategy: a theoretical comparison for the aerospace industry

Original Paper

Multi-objective test prioritization via a genetic algorithm