Tài liệu tham khảo |
Loại |
Chi tiết |
[1] Phạm Ngọc Hùng, Trương Anh Hoàng và Đặng Văn Hưng (2014), Giáo trình kiểm thử phần mềm.Tiếng Anh |
Sách, tạp chí |
Tiêu đề: |
Giáo trình kiểm thử phần mềm |
Tác giả: |
Phạm Ngọc Hùng, Trương Anh Hoàng và Đặng Văn Hưng |
Năm: |
2014 |
|
[3] Beck (2002), Test driven development: By example, Addison Wesley Longman Publishing Co., Inc., Boston, MA, USA |
Sách, tạp chí |
Tiêu đề: |
Test driven development: By example |
Tác giả: |
Beck |
Năm: |
2002 |
|
[4] Fosdick Lloyd D. and Osterweil Leon J. (1976), Data flow analysis in software reliability, ACM Comput. Surv. 8, no. 3, 305–330 |
Sách, tạp chí |
Tiêu đề: |
Data flow analysis in software reliability |
Tác giả: |
Fosdick Lloyd D. and Osterweil Leon J |
Năm: |
1976 |
|
[5] Huang J. C. (1979), Detection of data flow anomaly through program instrumentation, IEEE Trans. Softw. Eng. 5, no. 3, 226–236 |
Sách, tạp chí |
Tiêu đề: |
Detection of data flow anomaly through program instrumentation |
Tác giả: |
Huang J. C |
Năm: |
1979 |
|
[6] K. B. Gallagher and J. R. Lyle, “Using program slicing in software mainte-nance.,” IEEE Trans. Software Eng. , vol. 17, no. 8, pp. 751–761, 1991 |
Sách, tạp chí |
Tiêu đề: |
Using program slicing in software mainte-nance |
|
[8] M. Weiser, “Program slicing.,” IEEE Trans. Software Eng., vol. 10, no. 4, pp. 352–357, 1984 |
Sách, tạp chí |
Tiêu đề: |
“Program slicing.,” |
|
[9] M. Weiser, “Program slicing.,” in IC SE , pp. 439–449, 1981 |
Sách, tạp chí |
Tiêu đề: |
“Program slicing.,” |
|
[11]Michael Kart (2012), Behavior-driven development: conference tutorial, J. Comput. Sci.Coll. 27, no. 4, 75–75 |
Sách, tạp chí |
Tiêu đề: |
Behavior-driven development: conference tutorial |
Tác giả: |
Michael Kart |
Năm: |
2012 |
|
[12] P. C. Jorgensen, Software Testing: A Craftsman’s Approach . CRC Press, 2nd ed., 2002 |
Sách, tạp chí |
Tiêu đề: |
Software Testing: A Craftsman’s Approach |
|
[13] Pezze, M., Young, M.: Software Testing and Analysis: Process, Principles and Techniques. Wiley, New York (2007) |
Sách, tạp chí |
Tiêu đề: |
Software Testing and Analysis: Process, Principles and Techniques |
|
[15] S.Liu (2004), Formal Engineering for Industrial Software Development Using the SOFL Method. Springer-Verlag, ISBN 3-540-20602-7 |
Sách, tạp chí |
Tiêu đề: |
Formal Engineering for Industrial Software Development Using the SOFL Method |
Tác giả: |
S.Liu |
Năm: |
2004 |
|
[18] S. Rapps and E. J. Weyuker, “Selecting software test data using data flow information.,” IEEE Trans. Software Eng. , vol. 11, no. 4, pp. 367–375, 1985 |
Sách, tạp chí |
Tiêu đề: |
Selecting software test data using data flow information.,” |
|
[20] Shaoying Liu, “Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs” |
Sách, tạp chí |
Tiêu đề: |
“Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs |
|
[21] Sneed, H.M., Winter, M.: Testen Objektorientierter Software. Hanser, München (2002) |
Sách, tạp chí |
Tiêu đề: |
Testen Objektorientierter Software |
|
[2] Bath, G., McKay, J.: Praxiswissen Softwaretest - Test Analystund Technical Test Analyst. Dpunkt, Heidelberg (2010) |
Khác |
|
[7] Liggesmeyer (2009), P.: Software-Qualitọt: Testen, Analysieren und Ve rifizieren von Softwa re, 2nd edn. Spektrum-Akademischer Verlag, Berlin |
Khác |
|
[10] Majchrzak, T.A., Kuchen, H.: IHK-Projekt Softwaretests |
Khác |
|
[14] Roitzsch, E .H.P.: Analytische Softwarequalitọtssicherung in Theorie und Praxis: Der Wegzur Software mit hoher Qualitọt durch statisches Prỹfen, dynamisches Testen, formales Beweisen. Monsensteinund Vannerdat (2005) |
Khác |
|
[17] S. Liu, T. Hayashi, K. Takahashi, K. Kimura, T. Nakayama, and S |
Khác |
|
[22] Zeller, A.: Why Programs Fail: A Guide to Systematic Debugging |
Khác |
|