Literaturverzeichnis

1. Ahern, D.M., Clouse, A., Armstrong, J.: CMMI Scampi Distilled. Addison-Wesley, Amster-
dam (2005)
2. Ahern, D.M., Clouse, A., Turner, R.: CMMI Distilled. Addison-Wesley, Amsterdam (2003)
3. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison-
Wesley, Boston (1986)
4. et al., R.B.: A systems engineering capability maturity model version 1.1. Tech. Rep.
CMU/SEI-95-MM-003, Software Engineering Institute (SEI) (1995)
5. et al., R.B.: An integrated product development capability maturity model. Tech. Rep.
CMU/SEI-97-MM-001, Software Engineering Institute (SEI) (1997)
6. http://ant.apache.org
7. http://www.antlr.org
8. Balzert, H.: Lehrbuch der Software-Technik, Band 2. Spektrum Akademischer Verlag, Hei-
delberg (1998)
9. Balzert, H.: Lehrbuch der Software-Technik, Band 1. Spektrum Akademischer Verlag, Hei-
delberg (2000)
10. Balzert, H.: Lehrbuch der Objektmodellierung. Analyse und Entwurf. Spektrum Akademi-
scher Verlag (2004)
11. Balzert, H.: UML2 in 5 Tagen. W3l Verlag (2005)
12. Basili, V.R., Briand, L.C., Melo, W.L.: A validation of object-oriented design metrics as
quality indicators. IEEE Transactions on Software Engineering 22(10), 751–761 (1996)
13. Battelle, J.: The 70 percent solution. Business 2.0 6(11) (2005)
14. Beck, K.: Extreme Programming – Das Manifest. Addison-Wesley, München (2000)
15. Beck, K.: Test-Driven Development : By Example. Addison-Wesley, Boston (2002)
16. Beck, K.: JUnit kurz und gut. O’Reilly and Associates, Sebastopol (2005)
17. Beck, K., Andres, C.: Extreme Programming Explained. Addison-Wesley, Upper Saddle
River, NJ (2005)
18. Beck, K., Gamma, E.: Contributing to Eclipse. Principles, Patterns, and Plugins. Addison-
Wesley Longman, Amsterdam (2004)
19. Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1983)
20. Benington, H.D.: Production of large computer programs. In: Proceedings of the ONR Sym-
posium on Advanced Computer Programs for Digital Computers, pp. 350–361. Washington,
D.C., Office of Naval Research (1956). Nachgedruckt in [21]
21. Benington, H.D.: Production of large computer programs. In: ICSE ’87: Proceedings of the
9th international conference on Software Engineering, pp. 299–310. IEEE Computer Society
Press, Los Alamitos, CA (1987)
22. Berge, C.: Graphs and Hypergraphs. North-Holland Publishing, Amsterdam (1979)
23. Berge, C.: Graphs. North-Holland Publishing, Amsterdam (1989)

547
548 Literaturverzeichnis

24. Bird, R.: Introduction to Functional Programming Using Haskell. Prentice Hall Europe,
London (1998)
25. http://www.bitkeeper.com
26. Blahut, R.E.: Algebraic Codes for Data Transmission. Cambridge University Press, Cam-
bridge (2002)
27. Blair, M., Obenski, S., Bridickas, P.: Patriot missile defense: Software problem led to system
failure at dhahran, saudi arabia. Report GAO/IMTEC-92-26, Information Management and
Technology Division, United States General Accounting Office, Washington, D.C. (1992)
28. Boehm, B.: A spiral model of software development and enhancement. SIGSOFT Softw.
Eng. Notes 11(4), 14–24 (1986)
29. Boehm, B.: A spiral model of software development and enhancement. IEEE Computer
21(5), 61–72 (1988)
30. Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs, NJ (1981)
31. Boehm, B.W.: Improving software productivity. IEEE Computer 20(9), 43 – 57 (1987)
32. Bookman, C.: Linux Clustering : Building and Maintaining Linux Clusters. New Riders,
Boston (2003)
33. Bornat, R.: Understanding and Writing Compilers : A Do-it-Yourself Guide. Macmillan,
London (1979)
34. Bourne, K.C.: Testing Client/Server Systems. McGraw-Hill, New York (1997)
35. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions
on Computers C-35(8), 677–691 (1986)
36. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model
checking: 1020 states and beyond. In: Proceedings of the Fifth Annual IEEE Symposium
on Logic in Computer Science, pp. 1–33. IEEE Computer Society Press, Washington, D.C.
(1990)
37. Burgess, A.: Phone outages blamed on switching software. IEEE Software 8(5), 100–101
(1991)
38. Campbell, S., Chancelier, J.P., Nikoukhah, R.: Modeling and Simulation in Scilab/Scicos.
Springer-Verlag, Berlin, Heidelberg, New York (2005)
39. Card, D.N., Glass, R.L.: Measuring Software Design Quality. Prentice Hall, Englewood
Cliffs, NJ (1980)
40. Cardelli, L.: Type systems. ACM Computing Surveys 28(1), 263–264 (1996)
41. Chen, R.: The Old New Thing. Practical Development Throughout the Evolution of Win-
dows. Addison-Wesley, Amsterdam (2006)
42. Chidamber, S.R., Kemerer, C.F.: Towards a metrics suite for object oriented design. In:
OOPSLA ’91: Conference proceedings on Object-oriented programming systems, langua-
ges, and applications, pp. 197–211. ACM Press, New York (1991)
43. Chidamber, S.R., Kemerer, C.F.: A metrics suite for object oriented design. IEEE Transacti-
ons on Software Engineering 20(6), 476–493 (1994)
44. Chrissis, M.B., Konrad, M., Shrum, S.: CMMI : guidelines for process integration and pro-
duct improvement, 2nd edition edn. Addison-Wesley, Amsterdam (2006)
45. Church, A.: Review of turing 1936. Journal of Symbolic Logic 2(1), 42–43 (1937)
46. Clarke, C.: Program invariants as fixpoints. Computing 21(4), 273–294 (1979)
47. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent
systems using temporal logic specifications. ACM Transactions on Programming Languages
and Systems 8, 244–263 (1986)
48. Clarke, L.A., Podgpurski, A., Richardson, D.J., Zeil, S.J.: A comparison of data flow path
selection criteria. In: Proceedings of the 8th International Conference on Software Enginee-
ring, pp. 244–251. IEEE Computer Society Press, London, England (1985)
49. Cocke, J., Sweeney, D.W.: High speed arithmetic in a parallel device (1957). Technical
Report, IBM
50. Colbourn, C.J., Dinitz, J.H.: CRC Handbook of Combinatorial Designs. CRC Press, Boca
Raton, FL (1996)
51. Committee, A.S.: Rationale for the ANSI C Programming Language. Silicon Press, Summit,
NJ (1990)
Literaturverzeichnis 549

52. Cook, W.R.: A proposal for making eiffel type-safe. The Computer Journal 32(4), 305 – 310
(1989)
53. Cooper, J., Fisher, M.: Software acquisition capability maturity model (sa-cmm), version
1.03. Tech. Rep. CMU/SEI-2002-TR-010, Software Engineering Institute (SEI) (2002)
54. Coorporation, M.: Design guidelines for class library developers. http://msdn.microsoft.com
55. Copeland, L.: A Practitioner’s Guide to Software Test Design. Artech House Publishers,
Norwood, MA (2004)
56. Coppick, J.C., Cheatham, T.J.: Software metrics for object-oriented systems. In: ACM annual
conference on Communications, pp. 317–322. ACM Press (1992)
57. Cormen, T., Leserson, C.E., Rivest, R., Stein, C.: Introduction to Algorithms, 2nd editon.
MIT Press (2001)
58. Cormen, T.H., Leiserson, C.E., Rivest, R., Stein, C.: Algorithmen – Eine Einführung.
Oldenbourg-Verlag, München, Wien (2007)
59. Corporation, I.: Statistical analysis of floating point flaw in the pentium. White paper (1994)
60. Covey, S.R.: The seven Habits of Highly Effective People. Simon & Schuster, London, UK
(2004)
61. Cowart, R., Knittel, B.: Using Microsoft Windows XP Home. Que Publishing, Indianapolis,
Ind (2004)
62. Craig, R.D., Jaskiel, S.P.: Systematic Software Testing. Artech House Publishers (2002)
63. Crosby, P.B.: Quality is Free. McGraw-Hill, New York, NY (1979)
64. Crosby, P.B.: Quality is Still Free. McGraw-Hill, New York, NY (1996)
65. Curtis, B., Hefley, B., Miller, S.: People capability maturity model (p-cmm) version 2.0.
Tech. Rep. CMU/SEI-2001-MM-001, Software Engineering Institute (SEI) (2001)
66. Dabney, J.B., Harman, T.L.: Mastering Simulink. Pearson / Prentice Hall, Upper Saddle
River, NJ (2004)
67. DeMarco, T.: Controlling Software Projects: Management, Measurement, and Estimates.
Prentice Hall PTR (1986)
68. DeMarco, T., Lister, T.: Peopleware. Dorset House Publishing Co., New York (1987)
69. Demillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practi-
cing programmer. Computer 11(4), 34–41 (1978)
70. Deutschland, B.: V-modell xt 1.0 (2005). Http://www.v-modell-xt.de
71. Deutschland, B.: V-modell xt 1.2 (2006). Http://www.v-modell-xt.de
72. Diestel, R.: Graphentheorie. Springer-Verlag, Berlin, Heidelberg, New York (2006)
73. Dietze, R., Heuser, T., Schilling, J.: OpenSolaris für Anwender, Administratoren und Re-
chenzentren: Von den ersten Schritten bis zum produktiven Betrieb auf Sparc, PC und Po-
werPC basierten Plattformen. Springer-Verlag, Berlin, Heidelberg, New York (2006)
74. Dijkstra, E.W.: The humble programmer. Communications of the ACM 15(10), 859 – 866
(1972)
75. Diller, A.: Z : An Introduction to Formal Methods. John Wiley and Sons, Chichester (1994)
76. Dvorak, J.: What’s going on at microsoft? PC Magazine (1999)
77. Eaton, J.W.: GNU Octave. Network Theory, Bristol (2005)
78. Echtle, K.: Fehlertoleranzverfahren. Springer-Verlag, Berlin, Heidelberg, New York (1990)
79. http://www.eclipse.org
80. Edelman, A.: The mathematics of the pentium devision bug. SIAM Review 39(39), 54–67
(1997)
81. http://www.eiffel.com
82. Elmer-Dewitt, P.: Ghost in the machine. Times Magazine pp. 58–59 (1990)
83. Elmore, E.: The transient response of damped linear networks with particular regard to wi-
deband amplifiers. Journal of Applied Physics 19(1), 55–63 (1948)
84. Elshoff, J.L.: An investigation into the effects of the counting method used on software
science measurements. ACM SIGPLAN Notices 13(2), 30–45 (1978)
85. Emerson, E., Clarke, E.: Using branching time temporal logic to synthesize synchronization
skeletons. Science of Computer Programming 2, 241–266 (1982)
86. Erickson, J.: Hacking. The Art of Exploitation. No Starch Press, San Francisco (2003)
550 Literaturverzeichnis

87. Evans, D.: Static detection of dynamic memory errors. In: SIGPLAN Conference on Pro-
gramming Language Design and Implementation (PLDI 96), pp. 21 – 24. Philadelphia, PA
(1996)
88. Evans, D., Guttag, J., Horning, J., Tan, Y.M.: Lclint: A tool for using specifications to check
code. In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software
Engineering, pp. 87–96. New Orleans (1994)
89. Evans, D., Larochelle, D.: Improving security using extensible lightweight static analysis.
IEEE Software 19(1), 41–51 (2002)
90. F. P. Brooks, J.: The Mythical Man-Month. Addison-Wesley, Reading, MA (1995)
91. Fagan, M.E.: Design and code inspections to reduce errors in program development. IBM
Systems Journal 15(3), 258–287 (1976)
92. Fagan, M.E.: Advances in software inspections. IEEE Transactions on Software Engineering
12(7), 744–751 (1986)
93. Fenton, N.E., Ohlsson, N.: Quantitative analysis of faults and failures in a complex software
system. IEEE Transactions on Software Engineering 26(7), 653–661 (2000)
94. Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigorous & Practical Approach. Interna-
tional Thomson Computer Press (1997)
95. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for
Object-oriented Systems. Springer-Verlag, Berlin, Heidelberg, New York (2005)
96. Floyd, R.: Assigning meaning to programs. In: Proceedings of Symposia on Applied Mathe-
matics, pp. 19–32. American Mathematical Society, Providence (1967)
97. Foster, J.C.: Buffer Overflows. Mitp-Verlag, Bonn (2005)
98. Fowler, M.: Refactoring – Improving the Design of Existing Code. Addison-Wesley, Rea-
ding, MA (1999)
99. Gannon, C.: Error detection using path testing and static analysis. Computer 12(8), 26–31
(1979)
100. Gates, B.: Der unsichtbare Computer. Brand Eins 10, 132–133 (2002)
101. Gilb, T., Graham, D.: Software Inspection. Addison-Wesley (1993)
102. Girgis, M.R., Woodward, M.R.: An experimental comparison of the error exposing ability of
program testing criteria. In: Proceedings of the Workshop on Software Testing, pp. 64–73.
Banff (1986)
103. http://www.gnu.org/software/make
104. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter
Systeme. Monatshefte für Mathematik und Physik 38, 173–198 (1931)
105. http://www.google.com/jobs
106. Gordon, M.J.C., Melham, T.F.: Introduction to HOL: A theorem proving environment for
higher-order logic. Cambridge University Press, Cambridge (1993)
107. Gumbel, M.: Java Standard Libraries: Java 2 Collection Framework und Generic Collection
Library for Java. Addison-Wesley, München [u.a.] (2000)
108. Gusfield, D.: Algorithms on Strings, Trees, and Sequences. Cambridge University Press,
Cambridge (1997)
109. Güting, R.H., Erwig, M.: Übersetzerbau. Techniken, Werkzeuge, Anwendungen. Springer-
Verlag, Berlin, Heidelberg, New York (1999)
110. Halstead, M.H.: Natural laws controlling algorithm structure? ACM SIGPLAN Notices 7(2),
19–26 (1972)
111. Halstead, M.H.: Elements of Software Science. Elsevier (1977)
112. Hamer, P.G., Frewin, G.D.: M. h. halstead’s software science – a critical examination. In:
Proceedings of the ACM SIGSOFT-SIGPLAN/IEEE Computer Society International Confe-
rence on Software Engineering (ICSE), pp. 197–206. IEEE Computer Society Press, Tokyo,
Japan (1967)
113. Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Transactions on Software
Engineering SE-3(4), 279–289 (1977)
114. Hamming, R.W.: Error-detecting and error-correcting codes. Bell System Technical Journal
2(29), 147–160 (1950)
Literaturverzeichnis 551

115. Hamming, R.W.: Coding and Information Theory. Prentice Hall, Englewood Cliffs, NJ
(1980)
116. Hanselman, D.C., Littlefield, B.L.: Mastering Matlab 7. Pearson / Prentice Hall, Upper Sadd-
le River, NJ (2004)
117. Hedayat, A.S., Sloane, N.J.A., Stufken, J.: Orthogonal Arrays: Theory and Applications.
Springer-Verlag, Berlin, Heidelberg, New York (1999)
118. Henry, S.M., Kafura, D.: Software structure metrics based on information flow. IEEE Tran-
sactions on Software Engineering 7(5), 510–518 (1981)
119. Henry, S.M., Selig, C.: Predicting source-code complexity at the design stage. IEEE Software
7(2), 36–44 (1990)
120. Herold, H.: Lex und Yacc : Die Profitools zur lexikalischen und syntaktischen Textanalyse.
Addison-Wesley, München (2003)
121. Hertel, C.R.: Implementing CIFS. The Common Internet File System. Prentice-Hall, Engle-
wood Cliffs, NJ (2003)
122. Hitz, M., Montazeri, B.: Chidamber and kemerer’s metrics suite: A measurement theory
perspective. IEEE Transactions on Software Engineering 22(4), 267–271 (1996)
123. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the
ACM 12(10), 576 – 585 (1969)
124. Hoglund, G., McGraw, G.: Exploiting Software: How to Break Code. Addison-Wesley Long-
man, Amsterdam (2004)
125. Holzner, S.: Ant. O’Reilly and Associates, Sebastopol (2005)
126. Howden, W.E.: Methodology for the generation of program test data. IEEE Transactions on
Computers C-24, 554–560 (1904)
127. Howden, W.E.: An evaluation of the effectiveness of symbolic testing. Practice and Experi-
ence 8, 381–397 (1978)
128. Howden, W.E.: Theoretical and empirical studies of program testing. IEEE Transactions on
Software Engineering SE-4(4), 293–298 (1978)
129. Howden, W.E.: Theoretical and empirical studies of program testing. In: Proceedings of the
3rd International Conference on Software Engineering, pp. 235–243. Atlanta (1978)
130. Howden, W.E.: Weak mutation testing and completeness of test sets. IEEE Transactions on
Software Engineering SE-8(4), 371–379 (1982)
131. Huisman, M.: Reasoning about java programs in higher order logic with pvs and isabelle.
Ph.D. thesis, IPA Dissertation Series 2001-03 (2001)
132. Humphrey, W.S.: Characterizing the software process: A maturity framework. Tech. Rep.
CMU/SEI-87-TR-11, Software Engineering Institute (SEI) (1987)
133. Humphrey, W.S.: Managing the Software Process. Addison-Wesley, Reading, MA (1989)
134. Hunt, A., Thomas, D.: Pragmatic Unit Testing: In Java with JUnit. The Pragmatic Bookshelf,
Raleigh, NC (2004)
135. Hunt, A., Thomas, D.: Pragmatic Unit Testing in C# with NUnit. The Pragmatic Bookshelf,
Raleigh, NC (2006)
136. Hutton, G.: Introduction to Functional Programming Using Haskell. Cambridge University
Press, Cambridge (1998)
137. Institute of Electrical and Electronics Engineers, 345 East 47th Street, New York, NY 10017,
USA: IEEE Standard Glossary of Software Engineering Terminology, std 610.12-1990 edn.
(1990)
138. Jacky, J.: The Way of Z: Practical Programming with Formal Methods. Cambridge University
Press, Cambridge (1996)
139. https://javacc.dev.java.net
140. http://www.jflex.de
141. Johnson, S.C.: Lint, a program checker. In [173] (1979)
142. Johnson, S.C.: A tour through the portable c compiler. In [173] (1979)
143. Johnson, S.C.: Yacc meets c++. Computing Systems 1(2), 159–167 (1988)
144. Johnson, S.C.: Yacc yet another compiler compiler. Report GAO/IMTEC-92-26, Information
Management and Technology Division, United States General Accounting Office, Washing-
ton, D.C. (1992)
552 Literaturverzeichnis

145. Johnson, S.C.: Objecting to objects. In: Technical Conference Proceedings. San Francisco,
CA (1994)
146. Jones, C.B.: Systematic Software Development using VDM. Prentice Hall, New York (1990)
147. Juran, J.M., Godfrey, A.B.: Juran’s Quality Handbook, 5th edition edn. McGraw-Hill, New
York (2000)
148. Kecher, C.: UML 2.0. Das umfassende Handbuch. Galileo Press (2006)
149. Kernighan, B.W., Pike, R.P.: The UNIX Programming Environment. Prentice Hall, Engle-
wood Cliffs, NJ (1984)
150. Kernighan, B.W., Ritchie, D.M.: The C Programming Language, 1st edition edn. Prentice
Hall, Englewood Cliffs, NJ (1978)
151. Klein, T.: Buffer Overflows und Format-String-Schwachstellen. Funktionsweisen, Exploits
und Gegenmaßnahmen. Dpunkt.Verlag, Heidelberg (2003)
152. Kneuper, R.: CMMI. Verbesserung von Softwareprozessen mit Capability Maturity Model
Integration. Dpunkt.Verlag, Heidelberg (2006)
153. Koch, E.: Das 80/20-Prinzip. Mehr Erfolg mit weniger Aufwand. Campus Verlag (2004)
154. Koenig, A.: C Traps and Pitfalls. Addison-Wesley, Reading, MA (1989)
155. Koziol, J., Litchfield, D., Aitel, D.: The Shellcoder’s Handbook: Discovering and Exploiting
Security Holes. John Wiley and Sons, New York (2004)
156. Kropf, T.: Introduction to Formal Hardware Verification. Springer-Verlag, Berlin, Heidel-
berg, New York (1999)
157. Larochelle, D., Evans, D.: Statically detecting likely buffer overflow vulnerabilities. In: Pro-
ceedings of the 10th USENIX Security Symposium, pp. 177–190. USENIX, Washington
D.C. (2001)
158. Levine, J.R., Mason, T., Brown, D.: Lex and Yacc. UNIX Programming Tools. O’Reilly and
Associates, Sebastopol (1992)
159. Li, K., Wu, M.: Effective Software Test Automation. Sybex, Alameda, CA (2004)
160. Li, K., Wu, M.: Effective GUI Test Automation. Sybex, Alameda, CA (2005)
161. Li, W., Henry, S.: Object-oriented metrics that predict maintainability. Journal of Systems
and Software 23(2), 111–122 (1993)
162. Liberty, J.: Programmieren mit C#. O’Reilly and Associates, Köln (2005)
163. Liggesmeyer, P.: Software-Qualität. Spektrum Akademischer Verlag (2002)
164. van der Linden, P.: Expert C Programming – Deep C Secrets. SunSoft Press, Prentice Hall,
Englewood Cliffs, NJ (1994)
165. Link, J.: Softwaretests mit JUnit. Dpunkt.Verlag, Heidelberg (2005)
166. Linzmayer, O.W.: Apple Confidential 2.0: The Definitive History of the World’s Most Co-
lorful Company. No Starch Press, San Francisco, CA (2004)
167. Lorenz, M., Kidd, J.: Object-Oriented Software Metrics – A Practical Guide. Prentice Hall,
Englewood Cliffs (1994)
168. Marcus, E., Stern, H.: Blueprints for High Availability. John Wiley and Sons, New York
(2003)
169. Marshall, E.: Fatal error: How patriot overlooked a scud. Times Magazine 13 (1992)
170. Maslow, A.H.: A theory of human motivation. Psychological Review 50, 370–396 (1943)
171. McCabe, T.J.: A complexity measure. IEEE Transactions on Software Engineering SE-2(4),
308–320 (1976)
172. McCabe, T.J.: Structured Testing. IEEE Computer Society Press (1983)
173. McIlroy, M.D., Kernighan, B.W.: Unix Programmer’s Manual, 7th Edition, vol. 2B. AT & T
Bell Laboratories, Murray Hill, NJ (1979)
174. Mecklenburg, R.: GNU make. O’Reilly and Associates, Sebastopol (2005)
175. Memon, A.M., Pollack, M.E., Soffa, M.L.: Using a goal-driven approach to generate test
cases for guis. In: ICSE ’99: Proceedings of the 21st international conference on Software
engineering, pp. 257–266. IEEE Computer Society Press, Los Alamitos, CA (1999)
176. http://www.mercury.com
177. Meszaros, G.: Xunit Test Patterns: Refactoring Test Code. Addison-Wesley, Upper Saddle
River, NJ (2007)
Literaturverzeichnis 553

178. Meyer, B.: Object-Oriented Software Construction. Prentice Hall (1988)

179. Meyer, B.: Objektorientierte Software-Entwicklung. Hanser Fachbuchverlag, München
(1992)
180. Microsystems, S.: Code conventions for the java programming language. http://java.sun.com
181. (MISRA), T.M.I.S.R.A.: Guidelines for the Use of the C Language in Vehicle Based Softwa-
re. MISRA, Ltd. (1998)
182. (MISRA), T.M.I.S.R.A.: MISRA-C: 2004, Guidelines for the Use of the C Language in Cri-
tical Systems. MISRA, Ltd. (2004)
183. Mitchell, J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)
184. Möller, K.H., Paulish, D.J.: An empirical investigation of software fault distribution. In: Pro-
ceedings of IEEE First International Software Metrics Symposium, pp. 82 – 90. Baltimore,
MD (1993)
185. Morris, M.F., Roth, P.F.: Computer Performance Evaluation: Tools and Techniques for Ef-
fective Analysis. Van Nostrand Reinhold, New York (1982)
186. Myers, G.J.: Composite Structured Design. Van Nostrand Reinhold Company, Wokingham,
UK (1989)
187. Myers, G.J.: The Art of Software Testing. John Wiley and Sons, New York (2004)
188. Naftalin, M., Wadler, P.: Java Generics and Collections. O’Reilly and Associates, Sebastopol
(2006)
189. Nagel, E., Newman, J.R.: Der Gödelsche Beweis. Oldenbourg-Verlag, München, Wien
(2006)
190. http://nice.sourceforge.net
191. Norrish, M.: C formalised in hol. Ph.D. thesis, University of Cambridge, UK (1998)
192. Ntafos, S.C.: On testing with required elements. In: Proceedings of the Computer Software
and Applications Conference (COMPSAC), pp. 132–139. Edinburgh University Press, Chi-
cago, IL (1981)
193. Ntafos, S.C.: On required element testing. IEEE Transactions on Software Engineering SE-
10(6), 795–803 (1984)
194. Offutt, A.J.: How strong is weak mutation? In: Proceedings of the 4th Symposium on Softwa-
re Testing, Analysis, and Verification, pp. 200–213. IEEE Computer Society Press, Victoria,
British Columbia, CA (1991)
195. Offutt, A.J.: Investigations of the software testing coupling effect. ACM Transactions on
Software Engineering and Methodology (TOSEM) 1(1), 5 – 20 (1992)
196. http://www.opendarwin.org
197. Organick, E.I.: The Multics System: An Examination of its Structure. MIT Press, Cambridge,
MA (1975)
198. Ostrand, T., Weyuker, E.: The distribution of faults in a large industrial software system. In:
Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and
Analysis (ISSTA), pp. 55–64. ACM Press, Roma, Italy (2002)
199. Park, D.: Fixpoint induction and proofs of program properties. Machine Intelligence 5, 59–78
(1969)
200. Patterson, D.A., Gibson, G., Katz, R.H.: A case for redundant arrays of inexpensive disks
(raid). In: SIGMOD ’88: Proceedings of the 1988 ACM SIGMOD international conference
on Management of data, pp. 109–116. ACM Press, New York (1988)
201. Paulk, M.C., Curtis, B., Averill, E., Bamberger, J., Kasse, T., Konrad, M., Perdue, J., Weber,
C.V., Withey, J.: Capability maturity model for software. Tech. Rep. CMU/SEI-91-TR-24
ADA240603, Software Engineering Institute (SEI) (1991)
202. Paulk, M.C., Curtis, B., Chrissis, M.B., Weber, C.V.: Capability maturity model, version 1.1.
IEEE Software 10(4), 18–27 (1993)
203. Paulk, M.C., Weber, C.V., Curtis, B., Chrissis, M.B. (eds.): The Capability Maturity Model:
Guidelines for Improving the Software Process. Addison-Wesley, Reading, MA (1995)
204. Paulk, M.C., Weber, C.V., Garcia, S.M., Chrissis, M.B., Bush, M.: Key practices of the ca-
pability maturity model, version 1.1. Report CMU/SEI-93-TR-25, Software Engineering
Institute, Carnegie Mellon University, Pittsburgh, PA (1993)
554 Literaturverzeichnis

205. Pepper, P.: Funktionales Programmieren in OPAL, ML, HASKELL und GOFER. Springer-
Verlag, Berlin, Heidelberg, New York (2003)
206. Peterson, W.W., Brown, D.T.: Cyclic codes for error detection. Proceedings of the IRE 49,
228 – 235 (1961)
207. Peterson, W.W., Weldon, E.J.: Error Correcting Codes. MIT Press, Cambridge, MA (1972)
208. Petzold, C.: Programming Windows 3.1. Microsoft Press, Redmond, WA (1992)
209. Petzold, C.: Programming Windows 95. Microsoft Press, Redmond, WA (1996)
210. Pfister, G.F.: In search of clusters : The Coming Battle in Lowly Parallel Computing. Prentice
Hall, Upper Saddle River, NJ (1995)
211. Pfleeger, S.L., Fitzgerald, J.C., Rippy, D.A.: Using multiple metrics for analysis of improve-
ment. Software Quality Journal 1, 27–36 (1992)
212. Phadke, M.S.: Quality Engineering Using Robust Design. Prentice-Hall PTR (1989)
213. Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
214. Piwowarski, P.: A nesting level complexity measure. ACM SIGPLAN Notices 17(9), 44–50
(1982)
215. http://www.platform.com
216. http://www.polyspace.com
217. Pradham, D., Reddy, S.: A fault-tolerant communication architecture for distributed systems.
Digest of Papers FTCS 11, 214–220 (1981)
218. Pradhan, D.K.: Fault-Tolerant Computer System Design. Prentice-Hall PTR (1996)
219. Rausch, A., Broy, M., Bergner, K.: Das V-Modell XT. Grundlagen, Methodik und Anwen-
dungen. Springer-Verlag, Berlin, Heidelberg, New York (2007)
220. Riedemann, E.H.: Testmethoden für sequentielle und nebenläufige Systeme. Teubner, Stutt-
gart (1997)
221. Ritchie, D.M.: The development of the c language. Tech. rep., Bell Labs/Lucent Technolo-
gies, Murray Hill, NJ 07974 USA (2003)
222. Roberts, D., Johnson, R.: A refactoring tool for smalltalk. Theory and Practice of Object
Systems 3, 253–263 (1997)
223. Robertson, J.E.: A new class of digital division methods. IRE Transactions Electronic Com-
puters 7(7), 218–222 (1958)
224. Royce, W.W.: Managing the development of large software systems: Concepts and techni-
ques. TRW Software Series SS-70-01, 1 – 9 (1970). Nachgedruckt in [225]
225. Royce, W.W.: Managing the development of large software systems: Concepts and techni-
ques. In: ICSE ’87: Proceedings of the 9th International Conference on Software Enginee-
ring, pp. 328–338. IEEE Computer Society Press, Los Alamitos, CA (1987)
226. Salt, N.F.: Defining software science counting strategies. ACM SIGPLAN Notices 17(3),
58–67 (1982)
227. Schildt, H.: The Annotated ANSI C Standard: American National Standard for Programming
Languages-C : ANSI/ISO 9899-1990. McGraw-Hill, Berkeley, CA (1993)
228. Sedgewick, R.: Algorithmen. Pearson Studium, München (2002)
229. Sedgewick, R.: Algorithmen in Java. Grudlagen, Datenstrukturen, Sortieren, Suchen. Teil 1
– 4. Pearson Studium, München (2003)
230. http://www.sei.cmu.edu/about
231. Sharble, R.C., Cohen, S.S.: The object-oriented brewery: a comparison of two object-
oriented development methods. SIGSOFT Software Engineering Notes 18(2), 60–73 (1993)
232. Silverberg, I.: Source File Management with SCCS. Prentice Hall (1991)
233. Singh, A.: Mac OS X Internals. Addison-Wesley, Upper Saddle River, NJ (2006)
234. Soltau, M.: Unix/Linux Hochverfügbarkeit. Mitp-Verlag, Bonn (2002)
235. Spivey, J.M.: The Z Notation : A Reference Manual. Prentice Hall, New York (1992)
236. http://www.splint.org
237. Spolsky, J.: How Microsoft lost the API war. Apress (2004)
238. Stegmüller, W.: Unvollständigkeit und Unentscheidbarkeit : Die metamathematischen Re-
sultate von Goedel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung.
Springer-Verlag, Berlin, Heidelberg, New York (1973)
Literaturverzeichnis 555

239. Stephen, G.A.: String Searching Algorithms. World Scientific Publishing Company (1994)
240. Stern, H., Eisler, M., Labiaga, R.: Managing NFS and NIS. O’Reilly and Associates, Seba-
stopol (2001)
241. Stevens, W.R.: TCP/IP Illustrated I. The Protocols. Addison-Wesley, Upper Saddle River,
NJ (1994)
242. Swift, J.: Gulliver’s Travels. Penguin Classics (1994)
243. Szulewski, P.A., Sodano, N.M.: Design metrics and ada. In: WADAS ’84: Proceedings of
the 1st Annual Washington Ada Symposium on Ada Acquisition Management, pp. 105–114.
ACM Press, New York (1984)
244. Tai, K.C.: Program testing complexity and test criteria. IEEE Transactions on Software
Engineering SE-6(6), 531–538 (1980)
245. Team, C.P.: Capability maturity model integration, version 1.1, continous representation.
Tech. Rep. CMU/SEI-2002-TR-012, Software Engineering Institute (SEI) (2002)
246. Team, C.P.: Capability maturity model integration, version 1.1, staged representation. Tech.
Rep. CMU/SEI-2002-TR-011, Software Engineering Institute (SEI) (2002)
247. Team, C.P.: Cmmi for development, version 1.2. Tech. Rep. CMU/SEI-2006-TR-008, Soft-
ware Engineering Institute (SEI) (2006)
248. Team, S.U.: Appraisal requirements for cmmi, version 1.2 (arc, v1.2). Tech. Rep. CMU/SEI-
2006-TR-011, Software Engineering Institute (SEI) (2006)
249. Team, S.U.: Standard cmmi appraisal method for process improvement (scampi[sm]) a, ver-
sion 1.2: Method definition document. Tech. Rep. CMU/SEI-2006-HB-002, Software Engi-
neering Institute (SEI) (2006)
250. http://www.teamware.com
251. Terry, P.D.: Compiling with C# and Java. Addison-Wesley, Boston, MA (2005)
252. Thaer, C.: Euklid – Die Elemente, Buch 1-13. Verlag Harri Deutsch (1993)
253. Thaler, G.E.: Software-Metriken. Verlag Heinz Heise (1994)
254. Thaler, M., Utesch, M.: Effizienz und Effektivität von Software-Inspektionen. Software
Technik Trends 14(2), 22–23 (1994)
255. Tichy, W.F.: RCS – a system for version control. RCS – A System for Version Control
15(15), 637 – 658 (1985)
256. Tocher, K.D.: Techniques of multiplication and division for automatic binary computers. IRE
Quaterly Journal of Mech. Applied Math. 11(11), 364 – 384 (1958)
257. Torvalds, L.: Linux kernel coding style
258. http://www.transitive.com
259. http://www.transmeta.com
260. Tucker, A.B.: The Computer Science and Engineering Handbook. CRC Press, Boca Raton
(1997)
261. Turing, A.M.: On computable numbers with an application to the entscheidungsproblem.
Proceedings of the London Mathematical Society 2(42), 230–265 (1936)
262. http://www.uml.org
263. Venners, B.: The demand for software quality. a conversation with bertrand meyer, part i
(2003). URL http://www.artima.com
264. Vigenshow, U.: Objektorientiertes Testen und Testautomatisierung in der Praxis.
Dpunkt.Verlag, Heidelberg (2005)
265. Vlissides, J.: Pattern Hatching. Addison-Wesley, Reading, MA (1998)
266. Wagenknecht, C.: Programmierparadigmen. Eine Einführung auf der Grundlage von Sche-
me. Teubner Verlag, Wiesbaden (2004)
267. Walz, A.: Maple 7 - Rechnen und Programmieren. Springer-Verlag, Berlin, Heidelberg, New
York (2007)
268. Watters, P.A.: Solaris 10 / The Complete Reference.: The Complete Reference. McGraw-
Hill, New York (2005)
269. Weinberg, G.M.: The Psychology of Computer Programming. Dorset House Publishing
(1998)
270. Welker, K.D., Oman, P.W.: Software maintainability metrics models in practics. Crosstalk,
Journal of Defense Software Engineering 8(11), 19–23 (1995)
556 Literaturverzeichnis

271. Winkelhofer, G.A., Kessler, H.: Projektmanagement: Leitfaden zur Steuerung und Führung
von Projekten. Springer-Verlag, Berlin, Heidelberg, New York (2004)
272. http://en.wikiquote.org/wiki/Bill_Gates
273. Wolfram, S.: The Mathematica Book. Wolfram Media Inc., Champaign, IL (2004)
274. Wordsworth, J.B.: Software Development with Z. Addison-Wesley, Wokingham, England
(1992)
275. Yourdon, E., Constantine, L.L.: Structured Design. Prentice-Hall, Englewood Cliffs, NJ
(1979)
276. Zeller, A., Krinke, J.: Essential Open Source Toolset. John Wiley and Sons, New York (2005)
277. Zukowski, J.: Java Collections. Springer-Verlag, Berlin, Heidelberg, New York (2001)
Sachverzeichnis

A Datenfluss- 313, 315

Kontrollfluss- 313
A20-Gate 2 Anomalienanalyse 23, 313
Abhängigkeitsgraph 452 ANSI-C 28, 30, 86, 112–114, 117
Abnahmetest 168 Ant 460
Abstrakte Interpretation 246, 314, 333, 335, Anweisungsüberdeckung 201, 206
361 Architekturportierung 107
Abstraktionsfunktion 367 Arithmetikfehler 238
8/8/8-Modell 114 Artefakt 417, 418
80/20-Regel 269 Assertion siehe Zusicherung
Adressierungsgranularität 112 Assessment 504, 515, 528, 536
Äquivalenzklasse 175 Assoziation 189
eindimensionale 176 Asymmetrische Grenze 402
mehrdimensionale 177 Attributkomplexität
Äquivalenzklassentest 175 gewichtete 264
Akteur 189 Audit 528
Allman, Eric 72 -Team 529
Allman-Notationsstil 72 Aufwandsschätzung 507
Allquantor 341 Ausnahme 81, 105
Alpha-Test 169 Ausnahmebehandlung 105
Altlasten 373, 389, 407 Ausprägungspaar 193
Amelio, Gilbert F. 409, 411 Aussage
Analyse atomare 339
Anomalien- 23, 313 aussagenlogische 339
dateiübergreifende 297 prädikatenlogische 341
Exploit- 23, 300 temporallogische 352
semantische 311 Aussagenlogik 339
syntaktische 306
lexikalische 27 B
Semantik- 272, 281, 283, 288
statische 23, 247 Back engineering 149
Syntax- 271, 272 Back-to-Back-Test 198
Analytische Qualitätssicherung 22 Base pointer 303
Anforderungsmanagement 503 Base practice 538
Annotation Basic path 216
Java- 471 Basic-Path-Test 216
Anomalie 313, 477 Basis 216

557
558 Sachverzeichnis

Batch Change request 508

-Betrieb 465 Checkin 422
distribution 465 projektbezogener 436
submission 465 Checkliste 324
Baumstruktur 375 Checkout 422
BDD siehe Binäres Entscheidungsdiagramm -Modell 430
Beck, Kent 396, 399, 470, 507, 510 reserved 430
Bedingungsüberdeckung 201, 214, 215 unreserved 431
Benington, Herbert D. 493 Checkpoint 476
Benutzbarkeit (Kriterium) 8 Chen, Raymond 412
Berechnungsmodell Church’sche These 350
universelles 350 Church, Alonzo 350
Best practice 493, 503, 509, 525 Clarke, Edmund M. 357, 361
Beta-Test 170 Clean build 457
Betriebssystemportierung 107 ClearCase 419, 427
Big-Bang-Integration 163 CLI siehe Command line interface
Big-Endian 107, 118 Clock-Tick 53
Binäre Suche 161, 402 Cluster 465
Binäres Entscheidungsdiagramm 361 Cluster computing 463
Black-Box-Test 22, 173, 175 CMM siehe Capability Maturity Model
Boehm, Barry W. 493, 502, 543 CMMI siehe Capability Maturity Model
Bottom-Up-Integration 164 Integration
Boundary-Interior Code
-Test 212 -Analyse siehe Analyse
-Überdeckung 212 -Morphing 134
Brain drain 14, 373 -Organisation 110
Branch 420 Coding Style 66
Support- 438 .NET 69
Branching 436 Java 70
Brant, John 401 Linux Kernel 68, 70, 150
Brooks, Jr., Frederick P. 17, 409, 545 Collection framework 160
BSD-Notationsstil 72 Command line interface 470
BSS-Bereich 302 Common Intermediate Language 132
Bucket 487 Common Internet File System 465
Buffer overflow 301 Compiler
Bug 7 Multi-pass 272
Bug-Tracking-System 478 Single-pass 273
Build-Automatisierung 25, 450 Compilierung
Byte-Code 132 bedingte 450
inkrementelle 25
C On-the-fly- 132
verteilte 298, 463
c-use 220 Composite pattern 471
C0 -Test 201, 206 Computation Tree Logic 352, 353
C1 -Test 201, 209 Computational use 220
C99 113, 117 Concurrent Versions System 419
Camel-Case-Notationsstil 66 Config-Spec 427
CAN siehe Controller Area Network Configuration Specification 427
Capability level 532 Container-Datentyp 91
Capability level profile 533 Controller Area Network 3
Capability Maturity Model 519 Fehlerzustände 102
Capability Maturity Model Integration 530 Copland-Projekt 411
Capture-Replay-Test 475 Core engineering workflows 506
Card, David N. 266 Covey, Stephen R. 141
Sachverzeichnis 559

Craig, Rick D. 157 Diversifizierung

Crash report 485, 486 Produkt- 417
Crashtest 171 Varianten- 416
Crosby, Philip B. 516 Versions- 415
CTL siehe Computation Tree Logic Dokumentation 18, 22, 141
Cunningham, Howard G. 396, 507 automatische Extraktion 153
CVS siehe Cocurrent Versions System Dokumentationsgrad 250
.NET 69, 78, 132, 388
D Coding Style 69
dp-Interaktion 221
Darwin 409 Draft findings 530
Data alignment 123 Driver 164
Dateisystem du-Interaktion 220
verteiltes 465 Dvorak, John C. 394
virtuelles 421
Dateiverschmelzung 432, 443 E
Datenabstraktion 367
Datenausrichtung 123 Echtzeitsystem 7, 41
Datenflussanomalie 313, 315 Eclipse 236, 401, 471, 474
Datenflussattribut 220 Edelman, Alan 60
Datenkomplexität 264 Eiffel 83, 388
Datenmodell 112 Eingebettetes System 5, 74, 108, 128, 167,
ILP32- 113 388, 499
ILP64- 114 Elementarer Datentyp 77
LP32- 113 Elementarfehler 242
LP64- 114 Elementarpfad 216
P64- 112 Emerson, E. Allen 357
Datensegment 302 Employee turnover rate 395
Datentyp 76, 77, 110 Endianness 107
dc-Interaktion 220 Endlicher Automat 185
Deadlock 129 Entscheidbarkeit 341
Deduktion 333, 334, 338 Semi- 341
Defektkategorie 483 Entscheidungspunkt 500
Defektmanagement 26, 477 Entscheidungstabelle 191
Defs-Uses Entwurf
-Test 205 Top-Down- 497
-Überdeckung 220 Entwurfsmuster 397
Delta 440, 447 Ergonomietest 172
-Berechnung 447 Erreichbarkeitsproblem 314
-Technik 439 Euklid von Alexandria 252
Rückwärts- 440 Euler, Leonhard 194
Vorwärts- 440 Exception 81, 105
DeMarco, Tom 248, 543 Existenzquantor 341
Dependency 452 Exploit-Analyse 23, 300
target 460 semantische 311
Design by contract 93 syntaktische 306
Design for test 9 Extend-Beziehung 189
Diagramm Extensionsmenge 356
Kiviat- 270 Extreme Programming 26, 397, 506, 507
Pareto- 267
Streu- 269 F
Use-Case- 187
Dijkstra, Edsger W. 519 Fagan, Michael 327
Distributed File System 465 Fagan-Inspektion 327
560 Sachverzeichnis

Fail-safe 102 G
Fallthrough-Mechanismus 295
False negative 292, 310, 312, 338 Gödel, Kurt 342
False positive 338 Gamma, Erich 470
Fan-In 265 Garbage collector 388
Fan-Out 265 Gates, Bill 2, 489
Fat binary 133, 134 GCC siehe GNU Compiler Collection
Feature 385 Gemeinsame Teilfolge 444
Fehler Generics 82, 83
-bericht 477 Generische Schnittstelle 90
-bewertung 61 Geschäftsprozess 187
-blindheit 323 ggT siehe Gröster gemeinsamer Teiler
Glass, Robert L. 266
-datenbank 477
GNU
-induktion 238
-Notationsstil 72
-management 477, 527
-Projekt 278
-merkmal 478 Compiler Collection 232
-transformation 238 Golden log 470
arithmetischer 238 Gröster gemeinsamer Teiler 252
Konstanten- 238 Grafische Benutzungsoberfläche 472
lexikalischer 27 Grammatik 27, 276
Logik- 238 Graph
numerischer 43 stark zusammenhängender 216
Offset- 238 Graphical user interface 472
semantischer 36 Gray-Box-Test 174
syntaktischer 27 Greedy-Methode 28
Variablen- 238, 319 Grenze
Verknüpfungs- 238 asymmetrische 402
Zuweisungs- 238 symmetrische 402
Fehlertoleranz 21, 98 Grenzinduktion 183
Feldman, Stuart 453 Grenzwertbetrachtung 180
Feldtest 169 GT siehe Gemeinsame Teilfolge
Fence post error 402 GUI siehe Graphical user interface
Fenton, Norman E. 269
FileMerge (Applikation) 434 H
Final findings 530
Finalzustand 186 Höherwertige Logik 146, 342
Fisher, Ronald A. 10 Halstead, Maurice H. 251
Fixpunktiteration 357, 362 Halstead-Metrik 251
Halteproblem 314, 348
Flawfinder 307
Hardware-Software-Co-Design 374
FlexRay-Bus 3
Head-Konfiguration 425, 426
Floyd, Robert W. 361
Heap 302
Follow-Up-Sitzung 331 Henry, Sally M. 266
Formale Synthese 105 Hidden feature 331
Format-String 285 Hoare
Fowler, Martin 397 -Kalkül 342
Frame pointer siehe Base pointer -Tripel 343
Free Software Foundation 278 Hoare, Charles A. R. 342
Funktionalität (Kriterium) 7 Hochverfügbarkeit 466
Funktions Hot plugging 466
-Epilog 305 Hot swapping 466
-Prolog 304 Human ressources 530
Funktionstest 170 Humphrey, Watts S. 519
Sachverzeichnis
Hybridsystem 101
Hypervisor 140
I -Compiler 132
ILP32-Datenmodell 113
ILP64-Datenmodell 114
Include-Beziehung 189
Individualisierung 491
Induktionstheorem 342
Initialentwicklung 415
Injektionsvektor 305, 306
Input/Output Control 90
Inside-Out-Integration 165
Inspektion 23, 313, 322, 327
Inspektionsbericht 331
Installationstest 172
Integrated product development
Integration
anwendungsgetriebene 166
Big-Bang- 163
Bottom-Up- 164
funktionsorientierte 166
Inside-Out- 165
Outside-In- 164
risikogetriebene 166
strukturorientierte 163
System- 499
termingetriebene 166
testgetriebene 166
Top-Down- 164
Integrationsabteilung 428
Integrationstest 159, 163
Intervallschachtelung 161
Intervallsuche 161
Invariante 95, 343
Klassen- 95
Schleifen- 95
ISO
9126 6
12207 535
13568 146
15288 535
15504 515, 535
C90 284
J knotenmarkierter 204
Jaskiel, Stefan P. 157
Java 78, 81, 132, 388, 406, 471
Coding Style 70
Jeffries, Ron 507
JIT siehe Just-in-Time
Job specification 466
561
Johnson, Stephen C. 278, 283, 540
Juran, Joseph M. 268
Just-in-Time
K
k-dr-Sequenz 228
K&R-Notationsstil 71
Kafura, Dennis G. 266
Kalkül 338
Kernel space 140
Kernighan, Brian W. 70, 292
Key process area 521
Kiviat-Diagramm 270
Klasse 77
Klasseninvariante 95
530 Koenig, Andrew 28
Kohäsion 265
Kommunikation
dezentrale 3
Kompatibilitätstest 171
Kompatibilitätsumgebung 412
Komplexität 13
algorithmische 128, 172
Daten- 264
Methoden- 264
gewichtete 264
zyklomatische 18, 259
Komplexitätsklasse 172
Komplexitätstest 172
Komponentenmetrik 263
Komponententest 159
Konfiguration 192, 425
Head- 425, 426
Latest- 425, 426
Konfigurationsmanagement 25
Konformitätsanalyse 23, 271
Konformitätsregel 271
Konklusion 343
Konstantenfehler 238
Konstruktive Qualitätssicherung 21, 65
Kontrollflussanomalie 313
Kontrollflussgraph 202
expandierter 204
kantenmarkierter 203
kollabierter 205
teilkollabierter 204
Kontrollflussmodellierung 202
Kopenhagener Deutung 543
Kopplungs
-analyse 265
-effekt 241
562 Sachverzeichnis

-grad 465 Manhattan-Distanz 202

-metrik 265 Manuelle Software-Prüfung 23, 321
Korrektheit Map-Datei 233
partielle 348 Mars Climate Orbiter 87
Kripke-Struktur 334, 351 Maslow’sche Bedürfnispyramide 515
Maslow, Abraham H. 515
L Maturity level 532
Maximal munch strategy 28
Längste gemeinsame Teilfolge 443 McCabe
Label 426 -Metrik 259
Lambda-Kalkül 357 -Überdeckung 201, 216
Last In, First Out 303 McCabe, Thomas J. 18, 216, 259, 261
Lasttest 173 Mehraugenprinzip 323
Lateinisches Quadrat 194 Meilenstein 494, 495
Latest-Konfiguration 425, 426 Merge 420
Laufzeit (Kriterium) 7 -Konflikt 432
Laufzeittest 173 -Revision 443
Laufzeitumgebung 131 Merging 432, 436
Lex-Scanner 274 Message passing 476
Lexikalische Analyse siehe Analyse Messwert
LGT siehe Längste gemeinsame Teilfolge Visualisierung 267
LIFO siehe Last In, First Out Metakommentar 294
Linear Time Logic 352 Metapher 510
Linker 298 Methodenkomplexität 264
Lint 283 gewichtete 264
Linux Kernel Coding Style 68, 70, 150 Metrik 18, 23, 247
Lister, Timothy 543 Gütekriterien 248
Little-Endian 107, 118 Halstead 251
Load Sharing Facility 466 Komponenten- 263
LOC-Metrik 18, 249 Kopplungs- 265
Log file 470 LOC- 18, 249
Logik 338 McCabe- 259
entscheidbare 341 NCSS- 249
höherwertige 146, 342 objektorientierte 262
semi-entscheidbare 341 Struktur- 265
temporale 334, 341, 352 Test- 23, 231
zweiwertige 339 Überdeckungs- 23, 231
Logikfehler 238 Umfangs- 264
Logikkalkül siehe Kalkül Vererbungs- 265
Loophole 84 Meyer, Bertrand 84, 93
Lowercase-Notationsstil 67 Millenium-Bug 51
LP32-Datenmodell 113 Minimalvokabular 254
LP64-Datenmodell 114 Minimalvolumen 255
LSF siehe Load Sharing Facility MISRA 74
LTL siehe Linear Time Logic Mock-Funktion 208
Modellprüfung 333, 334, 350
M symbolische 361
Moderator 327
Möller, Karl-Heinrich 269 Moderatorenrolle 323
Mach Microkernel 409 Modultest 159
Magisches Dreieck 11 MOST-Bus 3
Make 453 Multi-pass Compiler 272
Managementprozess 26, 491 Multiarchitecture binary 133
Mangeltest 173 Multics-Projekt 410
Sachverzeichnis 563

Multiple-Metrics-Graph 270 P
Multiversion File System 421
Mutant 238 p-use 221
Mutationstest 23, 200, 238 P64-Datenmodell 112
prädizierender 239 Paarweises Testen 192
schwacher 242 Pad 125
starker 239 Parallelität
vergleichender 239 als Fehlerquelle 41
Mutationstransformation 238 Parallelstruktur 126, 390
MVFS siehe Multiversion File System Parameterextraktion 279
Myers, Glenford J. 245 Pareto
-Diagramm 267
-Prinzip 268
N
Pareto, Vilfredo F. 268
Park, David 361
Nachbedingung 93, 338, 343 Parser 274
NCSS-Metrik 249 Partition 175
Network byte order 121, 122 Pascal-Case-Notationsstil 66
Network file system 465 Pathfinder 41
Netzdiagramm 270 Paulish, Daniel J. 269
NFS siehe Network file system Peano, Giuseppe 342
Nicely, Thomas R. 58 Peano-Axiome 342
Notationskonvention 65, 66 Peer review 525, 526
Notationsstil 66 Petzold, Charles 67
Allman- 72 Pfad 222
BSD- 72 definitionsfreier 222
Camel-Case- 66 Pfadüberdeckung 201, 210
GNU- 72 strukturierte 212
K&R- 71 Phase 504
Lowercase- 67 Phony target 459
Pascal-Case- 66 Pike, Robert C. 292
Uppercase- 66 Pilotprojekt 527
Whitesmith- 72 PL/I 105
Ntafos, Simeon C. 227 Planungsspiel 509
Plattformunabhängigkeit 107
O Portabilität 21, 45, 107
auf Sprachebene 131
auf Systemebene 134
Oberflächentest 472 Portable C Compiler 283
Objectory Process 502 Portierbarkeit (Kriterium) 9
Objektorientierte Metrik 262 Portierung
Offline review 327, 328 Architektur- 107
Offsetfehler 238 Betriebssystem- 107
Ohlsson, Niclas 269 Sprach- 108
On-the-fly-Compilierung 132 System- 108
Operand 251 Prädikat 341
Operator 251 atomares 215
Optimierung zusammengesetztes 215
inkrementelle 147 Prädikatenlogik 341
Orthogonales Feld 193 Prädizierender Mutationstest 241
Ostrand, Thomas J. 269 Prämisse 343
Out-By-One-Fehler 402 Predicative use 221
Outside-In-Integration 164 Prioritäteninversion 41, 43
Outsourcing 524 Prioritätenvererbung 43
564 Sachverzeichnis

Privilegstufe 139 Receive Error Counter 103

Process area category 532 Redesign 15, 407
Produktdiversifizierung 415, 417 Redundanz 98
Produktqualität 19 dynamische 100
Profiler 232 funktionale 99
Programmdokumentation 141 heterogene 99, 100
Programmieren in Paaren 507, 511 homogene 99
Programmierung informationelle 99
fehlertolerante 21, 98 n-fach-modulare 100
imperative 203, 263 statische 100
objektorientierte 263 strukturelle 99
vertragsbasierte 21, 93 temporale 99
Projektgegenstand 499 Refactoring 15, 396, 407, 511
Projektrolle 499 Reference counter 389
Prototyp 503 Referenzimplementierung 146
Prozess 491 Referenzzähler 389
-attribut 539 Refinement calculus 84
-dimension 504, 536 Regressionstest 25, 198, 468
-management 465 Reifegrad 520
-qualität 25 -dimension 536
Pufferüberlauf 301 -modell 26, 492, 514
Python 79 Reifeprofil 533
Rekonvergenz 376
Q Release 371, 415
-Zweig 439
QMMG siehe Quality Management Maturity Repository 372, 417
Grid Required-k-Tupel
Qualifier 67 -Test 229
Qualität 6 -Überdeckung 227
Produkt- 19 Ressourcen 491
Prozess- 25 -Pool 543
Qualitätskriterium 6 Restbussimulation 168
Qualitätssicherung Review 23, 313, 322, 324
analytische 22 kommentierendes 327
konstruktive 21, 65 Revision 423
Quality feedback agent 489 Revision Control System 419
Quality Management Maturity Grid 516 Revisionsnummer 423, 436
Quantor 341 Risikoanalyse 504
Risikomanagement 503
R Ritchie, Dennis M. 70, 411
Roberts, Donald B. 401
Rückwärtsdelta 440 Robertson, James E. 59
Rückwärtskompatibilität 309, 389 Rollback 420, 513
Race condition 128 Rolle 189, 323, 327, 484, 499
Radardiagramm 270 Royce, Winston W. 493, 495, 496
RAID 466 Running change 374
Range gate 44 Runtime code 233
Rational Approach 502 RUP siehe Rational Unified Process
Rational Objectory Process 502
Rational Unified Process 26, 502 S
RATS 307
RCS siehe Revision Control System Sandbox 420
Reader 329 SCAMPI 535
REC siehe Receive Error Counter Scatter plot 269
Sachverzeichnis 565

SCCS siehe Source Code Control System semi-formale 145

Scheduler 41 SPICE 535
Schlüsselbereich 521 -Prozessdimension 536
Schlüsselpraktik 522 -Reifegraddimension 539
Schleifen Spiralmodell 502
-invariante 95 Spolsky, Joel 391
-variante 95 Sprachfaktoren 250
Schmidt, Eric E. 544 Sprachkonvention 66, 73
Schnittstelle 383 Sprachportierung 108
generische 90 Stack 301
Scripting- 470 -Layout 302
Schrödinger, Erwin 543 -Pointer 303
Scripting-Schnittstelle 470 -Rahmen 303
Second-System-Effekt 407, 409 Stagewise model 493
SEI siehe Software Engineering Institute Stapelzeiger 303
Selbstabschaltung 102 State model 481
Selbstreparatur 103 Statische Analyse 23, 247
Selig, Calvin 266 Story card 508, 509
Semantik 36 Stresstest 173
-Analyse 272, 281, 283, 288 Streudiagramm 269
Semaphor 430 Structure padding 125, 127
Sicherheitstest 172 Strukturmetrik 265
Simonyi, Charles 67 Strukturtest 200
Single-pass Compiler 273 Stub 164
Single-Source-Prinzip 68, 381 Subversion 419
Single-User-System 408 Sudoku 195
Smalltalk 79, 388, 396 Suffix-Baum 448
Refactoring Browser 401 Summenhäufigkeit 268
Smell 397 Support-Branch 438
Smoke test 468 Svn-Protokoll 421
Software Sweeney, Dura W. 59
-Alterung 371 Swift, Jonathan 123
-CMM siehe CMM Symmetrische Grenze 402
-Entropie 9 Syntax 27, 36
-Fäulnis 371 -Analyse 271, 272
-Infrastruktur 25, 415 -Baum 277
-Krise 519 Synthese
-Metrik siehe Metrik formale 105
-Prüfung System
manuelle 23, 321 selbstüberwachendes 101
-Qualität siehe Qualität System engineering 530
-Richtlinie 21, 65 Systemintegration 499
-Verteilung 172 Systemkomplexität
acquisition 530 relative 267
Software Engineering Institute 519 Systemportierung 108
Sojourner 41 Systemtest 166
Source Code Control System 418
Speicherordnung 107, 117 T
Speicherverwaltung
automatische 388 Tag 67, 153
manuelle 388 Talkback 489
Spezifikation 55 Target 452
formale 146 TEC siehe Transmit Error Counter
informelle 143 Teilfolge
566 Sachverzeichnis

gemeinsame 444 Testfallmenge

längste gemeinsame 443 adäquate 241
Temporallogik 334, 341, 352 Testmetrik 23, 231
Test 22, 157 Testträger 168
Abnahme- 168 Testtreiber 164
Alpha- 169 Testware 158
Äquivalenzklassen- 175 Textsegment 302
Back-to-Back- 198 Theorem 146
Basic-Path- 216 Thompson, Kenneth L. 411
Beta- 170 Threshold 232
Black-Box- 22, 173, 175 Timer-Interrupt 129
Boundary-Interior- 212 TMR siehe Triple-modular redundancy
C0 - 201, 206 Tocher, Keith D. 59
C1 - 201, 209 Token 27, 250, 274
Crash- 171 Top-Down-Integration 164
datenflussorientierter 201 Torvalds, Linus 13, 68–70, 72, 73, 109, 150
Defs-Uses- 205 Transitionsszenario 411
diversifizierender 198 Transitionszeitpunkt 407
entscheidungstabellenbasierter 190 Transmit Error Counter 103
Ergonomie- 172 Transparenz (Kriterium) 8, 88, 318
Feld- 169 Triple-modular redundancy 100
funktionaler 170 Trivialtest 170
Funktions- 170 Try-Catch-Block 106
Gray-Box- 174 Turing, Alan M. 350
Installations- 172 Turing-Maschine 350
Kompatibilitäts- 171 Type cast 80
Komplexitäts- 172 Type inference 77
kontrollflussorientierter 201 Typentheorie 77
Last- 173 Typisierung 21, 76
Laufzeit- 173 dynamische 79
Mangel- 173 schwache 79, 80
Mutations- 23, 200, 238 starke 79, 80
operationaler 172 statische 78
paarweiser 192 Typisierungsquadrant 81
Regressions- 25, 198, 468 Typkonformität 77
Required-k-Tupel- 229 Typprüfung
Sicherheits- 172 dynamische 77
Smoke- 468 statische 77
Stress- 173 Typsystem 21, 77
System- 166
temporaler 172 U
Trivial- 170
Überlast- 173 Ubiquitär 3
Unit- 159 Überblicksveranstaltung 328
Use-Case- 186 Überdeckung
vollständiger 245 Anweisungs- 201, 206
White-Box- 22, 174, 200 Bedingungs- 201, 214, 215
Zufalls- 171 Boundary-Interior- 212
zustandsbasierter 183 Defs-Uses- 220
Test runner 471 McCabe- 201, 216
Test screening 170 Pfad- 201, 210
Test script language 476 strukturierte 212
Testautomatisierung 25, 468 Required-k-Tupel- 227
Testbarkeit (Kriterium) 9 Zweig- 201, 209
Sachverzeichnis
Überdeckungskriterium 202
Überdeckungsmetrik 23, 231
Überlasttest 173
Übertragbarkeit (Kriterium) 9
Umfangsmetrik 264
Ungarische Notation 67
UNICS 411
Unified Modeling Language 145, 188
Union siehe Parallelstruktur
Unit-Test 159
Universal binary 133, 134
Unix 411
Update (Interaktionsmuster) 422
Uppercase-Notationsstil 66
Ursache-Wirkungs-Graph 190
Usability-Labor 169
Use case 166, 189, 503, 504
Use-Case-Diagramm 187
Use-Case-Test 186
User space 140
V Wechselwegnahme 252
V-Modell 496
V-Modell XT 26, 498
Validation 496
Van der Linden, Peter 283
Variablenfehler 238, 319
Variant-Datentyp 91
Variante 416
Schleifen- 95
Variantendiversifizierung 416
Varianz 523
Vererbung 263
Vererbungsmetrik 265
Verfügbarkeit 100, 466
Verfeinerungskalkül 84
Verifikation 496, 497
formale 24, 55, 105, 333
partielle 336
semi-formale 24, 335
Verklemmung 129
Verknüpfungsfehler 238
Version 415
Versionierung
globale 424
lokale 423
Versionsdiversifizierung 415
Versionskontrolle 418
Versionsverwaltung 417
Versuchsreihe 439
Vertrag 21, 93
Very Long Instruction Word 135
4/8/8-Modell 114
567
4/4/8-Modell 113
View 427
Virtualisierung 137
Virtuelle Maschine 131
VLIW siehe Very Long Instruction Word
Vorbedingung 93, 338, 343
Vorgehensbaustein 498
Vorgehensmodell 26, 491, 493
agiles 397, 506
Vorwärtsdelta 440
Voter 100
W
Wald 261
Walkthrough 23, 322, 323
Wartbarkeit (Kriterium) 8, 383
Wasserfallmodell 493
Watchdog-Logik 104
Watson, Thomas J., Sr. 1
WebDAV 422
Weinberg, Gerald M. 10
WER siehe Windows Error Reporting
Wettlaufsituationen 128
Weyuker, Elaine J. 269
Wheeler, David A. 307
White-Box-Test 22, 174, 200
datenflussorientierter 174
kontrollflussorientierter 174
Whitesmith-Notationsstil 72
Windows Error Reporting 486
Workflow 505
Workflow Transition Matrix 483
Workload management 465
Wrapper-Funktion 385
X
X-by-Wire 3
XCode 434
XP siehe Extreme Programming
Y
Y2K-Bug 51
Yacc-Parser 276
Z
Zeilenüberdeckung 235
Zeitstempel 425
Ziel 521
Zufallstest 171
568
Zusicherung 96, 471, 473
Zustandsübergangsgraph 185
Zustandsübergangsmodell 481
Zustandsbaum 186, 187
Zustandsmodell 481
Zuverlässigkeit (Kriterium) 8
Zuweisungsfehler 238
Sachverzeichnis
2-aus-3-System 101
Zweigüberdeckung 201, 209
Zweiwertige Logik 339
Zwischencode 131
Zyklomatische Zahl 217, 259
Zyklus 504