Zum modellbasierten funktionalen Test reaktiver Systeme

Literaturverzeichnis
[Shen und Abraham 1999] Shen, J. ; Abraham, J.: An RTL Abstraction
Technique for Processor Micorarchitecture Validation and Test Generation.
In: J. Electronic Testing: Theory&Application 16 (1999), February, Nr. 1-2,
S. 67–81
[Siedersleben und Denert 2000] Siedersleben, J. ; Denert, E.: Wie baut
man Informationssysteme? - Überlegungen zur Standardarchitektur. In:
Informatik-Spektrum 23 (2000), Nr. 4, S. 247–257
[Simon 1999]
1999
[Soley 2000]
paper
Simon, D.: An Embedded Software Primer. Addison Wesley,
Soley, R.: Model Driven Architecture. 2000. – OMG white
[Spitzer 2001] Spitzer, M.: Modellbasierter Hardware-in-the-Loop Test von
eingebetteten elektronischen Systemen, Universität Karlsruhe, Dissertation,
2001
[Spivey 1992]
Hall, 1992
Spivey, J.M.: The Z Notation: A Reference Manual. Prentice
[Srivastava 1993] Srivastava, D.: Subsumption and Indexing in Constraint
Query Languages with Linear Arithmetic Constraints. In: Annals of Mathematics
and Artificial Intelligence 8 (1993), Nr. 3–4, S. 315–343
[Stuckey 1991] Stuckey, P.: Constructive Negation for Constraint Logic
Programming. In: Proc. Logic in Computer Science, 1991
[Thévenod-Fosse und Waeselynck 1992] Thévenod-Fosse, P. ; Waeselynck,
H.: On Functional Statistical Testing Designed From Software Behavior
Models / Centre national de la recherche scientifique – laboratoire
d’analyse et d’architecture des systèmes. February 1992 (92042). – Forschungsbericht
[Thévenod-Fosse u. a. 1995] Thévenod-Fosse, P. ; Waeselynck, H. ;
Crouzet, Y.: Software Statistical Testing / Centre national de la recherche
scientifique – laboratoire d’analyse et d’architecture des systèmes. March
1995 (95178). – Forschungsbericht
[Tichy 1998] Tichy, W.: Should Computer Scientists Experiment More? In:
IEEE Computer (1998), May, S. 32–40
[Tip 1995] Tip, F.: A survey of program slicing techniques. In: J. Programming
Languages 3 (1995), Nr. 3, S. 121–189
[Tracey 2000] Tracey, N.: A search-based automated test-data generation
framework for safety-critical software, University of York, Dissertation, 2000
[Tretmans 1996] Tretmans, J.: Test Generation with Inputs, Outputs and
Repetitive Quiescence. In: Software–Concepts and Tools 17 (1996), Nr. 3,
S. 103–120
232