Nghiên cứu kỹ thuật phân tích khả năng kiểm thử phần mềm và mở rộng tính năng của công cụ SATAN, thử nghiệm ứng dụng trong môi trường Scicos và Simulink

Tài liệu tham khảo

Loại

Chi tiết

[1] J. Bach, Principles of Software Testability, Technical report, ST Labs, 1994

Khác

[2] G. J. Myers, The Art of Software Testing, John Wiley & Sons, 1979

Khác

[3] S. N. Mohanty, Models and Measurements for Quality Assessment of Software, Computing Surveys,vol. 11, no. 3, 1979

Khác

[4] C. M. Clure and J. Martin, Software Maintenance: the Problem and its Solution, Prentice-Hall, 1986

Khác

[5] IEEE Standard Glossary of Software Engineering Terminology, IEEE Computer Society, 1990

Khác

[6] R. Bache and M. Müllerburg, Measures of Testability as a Basis for Quality Assurance, IEEE Software Engineering Journal, pp. 86--92, 1990

Khác

[7] R. S. Freedman, Testability of Software Components, IEEE Transactions on Software Engineering, vol. 17, no. 6, pp. 553--564, 1991

Khác

[8] J. M. Voas, PIE: A dynamic failure-based technique, IEEE Transactions on Software Engineering, vol. 18, no. 8, pp. 717--727, 1992

Khác

[9] A. Petrenko, R. Dssouli, H. Koenig, On Evaluation of Testability of Protocol Structures, Proceedings of the Intenational Workshop on Protocol Test Systems (IFIP), Pau, France, 1993

Khác

[10] J. M. Voas and K. W. Miller, Semantic Metrics for Software Testability, Journal of Systems and Software, vol. 20, no. 3, pp. 207--216, 1993

Khác

[11] A. Bertolino, L. Strigini, On the Use of Testability Measures for Dependability Assessment, IEEE Transactions on Software Engineering, vol. 22, no. 2, pp. 97- 108, 1996

Khác

[12] Yves Le Traon, Analyse conjointe logiciel/materiel de la testabilité de systèmes flot de données, Institut National Polytechnique de Grenoble, 1997

Khác

[13] S. Jungmayr, Reviewing Software Artifacts for Testability, Proceedings of the EroSTAR'99, Barcelona, 1999

Khác

[14] S. Jungmayr, Testability Measurement and Software Dependencies, Proceedings of 12th International Workshop on Software Measurement, Gemany, 2002

Khác

[15] T. J. McCabe, A Complexity Measure, IEEE Transactions On Software Engineering, vol. SE-2, no. 4, pp. 308--320, 1976

Khác

[16] B. A. Nejmeh, Npath: A complexity measure of execution path complexity and its applications, Communications of the ACM, vol. 31, no. 2, pp. 188--200, 1988

Khác

[17] McCabe, Thomas J., Watson, and Arthur H, Software complexity, CrossTalk: Journal of Defense Software Engineering, 1994

Khác

[18] Hwei Yin and James M. Bieman, Improving Software Testability with Assertion Insertion, Proceedings of the IEEE International Test Conference on TEST: The Next 25 Years, pp. 831-839, 1994

Khác

[19] Jeffrey M. Voas and Keith W. Miller, Software testability: The new verification, IEEE Software, vol. 12, pp. 17-28, 1995

Khác

[20] Mark Harman, Lin Hu and Robert Hierons, Joachim Wegener, Harmen Sthamer, Andre Baresel and Marc Roper, Testability Transformation, IEEE Transactions On Software Engineering, vol. 30, pp. 3-16, 2004

Khác