Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов
Диссертация
Программное обеспечение (ПО) вычислительных систем характеризуется наличием большого количества ошибок. Даже при том, что мно1ие ошибки, которые изначально присутствуют в новом ПО, обнаруживаются и исправляются до того, как оно попадает к пользователю, остающиеся продолжают вызывать ненужные затраты и потери времени в течение еще длительного периода после завершения разработки ПО. Таким образом… Читать ещё >
Содержание
- Список используемых сокращений и обозначении
- Глава 1. Современные методы оценки качества тестирования
- 1. 1. Вст)иление
- 1. 2. Анали* покрьпия кода
- 1. 2. 1. Определение АПК
- 1. 2.2 Исходные посылки АПК
- 1. 2. 3. Вазовые критерии покрытия
- 1. 2. 4. Прочие критерии
- 1. 2. 5. Сравнение покашелей
- 1. 3 Мугационное тестирование
- 1. 3. 1. Описание метода МТ
- 1. 3. 2. Затраты на мутационное тестирование
- 1. 3. 3. Генерация тестовых данных, основанная на ограничениях
- 1. 3. 4. Улучшения в технологии М Г
- 1. 3. 5. Новый процесс МГ
Список литературы
- Канер С., Фолк Дж., Нгуен Енг. Тестирование программною обеспечения. К.: ДиаСофт, 2000. — 544с.
- Липаев В.В. Обеспечение качества программных средств. Методы и сгандарты. М.: Синтег, 2001. — 380с.
- Немолочнов О.Ф., Зыков А. Г., Лаздин A.B., Поляков В. И. Верификация в исследовательских, учебных и промышленных системах. // Научно-технический вестник. СПб.: СПбГИТМО (ТУ), 2003.
- Графы и алгоритмы. Структуры данных. Модели вычислений: Учебник / В. Б. Алексеев, В. А. Таланов. М.: Интернет-Университет Информационных технологий- БИНОМ. Лаборатория знаний, 2006. — 320с.
- Goodenough J.В., Gerhart S.L. Toward a Theory of Test Data Selection // IEEE Transactions on Software Engineering, 1975, SE 1, № 2, p. 156−193
- Ntafos S.C. A Comparition of Some Structural Testing Strategies // IEEE 1 ransaction on Software Engineering. 1988. — Vol. SE — 14, № 6. pp 868−874
- Beizer В. Software Testing Techniques ITP, 1990. — 550 pp.
- Zhu H., Hall P.A.V., May J.H.R. Software unit test coverage and adequacy. ACM Computing Survey, pp. 366−427, 1997.
- Липаев В.В. Тестирование программ. М.: Радио и связь, 1986.296с.
- Макгрегор Дж., Сайке Д. Тестирование объектно-ориентированного программного обеспечения. К.: Диасофг, 2002. — 432с.
- Майерс Г. Искусство тестирования программ. М.: Финансы и статистика, 1982.- 176с.
- Hunt A., Thomas D. The Pragmatic Programmer. Addison-Wesley, 1999
- Li, Y.Y. Structural test cases analysis and implementation. 42nd Midwest Symposium on Circuits and Systems, 8−11 August, 1999, Volume 2, pp. 882−885.
- Morell L. A Theoiy of Fault-Based Testing. // IEEE Trans. Software Eng., Vol.16, No.8, August 1990, pp.844−857.
- Ammann P., Black P. A specification-based coverage metric to evaluate test sets. In Proceedings of the 4th IEEE International Symposium on I Iigh Assurance Systems and Engineering, 1999.
- Основы тестирования программною обеспечения: Учебное пособие / В. П. Котляров, Т. В. Коликова. М.: Интернет-Универсшет Информационных 1ехноло1 ий- БИНОМ. Лабораюрия знаний, 2006. — 265с.
- Pressman, R.S. Software engineering: A practitioner’s approach. McGraw-Hill, NY, 1996.
- Винниченко И.В. Автоматизация процессов тестирования СПб.: Питер, 2005. — 203с.
- Perry W. Effective methods for software testing. John Wiley & Sons, NY, 1995.
- Roper M. Software Testing. London, McGraw-Hill Book Company, 1994
- McCabe T.J., Schulmeyer G.G. System Testing Aided by Structured Analysis (A Practical Experience) // COMPSAC'82. Proc. IEEE Comput. Soc. 6th1. ternational Computer Software and Appl. Conference (Chicago, 111, Nov. 8−12, 1982).-pp. 523 -528
- Chilenski J.J., Miller S.P. Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, September 1994, Vol. 9, No. 5, pp. 193−200.
- Hayhurst K.J., Veerhusen D.S., Chilenski J. J., Rierson L.K. A Practical Tutorial on Modified Condition/Decision Coverage, Report NASA/TM-200I-210 876, NASA, USA, May 2001.
- Борзов Ю.В., Уртанс Г. Б., Шимаров B.A. Выбор путей программы для построения тестов // УСиМ. 1989. — N. 6 — с.29−36
- Woodward M.R., Hedley D., Hennell M.A. Experience with Path Analysis and Testing of Programs // IEEE Transactions on Software Engineering, Vol. SE-6, No. 3, pp. 278−286, May 1980.
- Константайн JI., Локвуд JI. Разработка программного обеспечения. -СПб.: Питер, 2004. 592с.
- Брукс Ф. Мифический человеко-месяц или как создаю 1ся программные системы. СПб.: Символ-Плюс, 1999. — 304с.
- Boehm В. Software Engineering Economic/ Prentice-Hall, Inc, N. J. 1981.- 767 pp.
- Marick B. How to Misuse Code Coverage. International Conference and Exposition on Testing Computer Software, June 1999.
- Shimarov V.A. Definition and quantitative estimation of testing criteria // Software Quality Concern for people. Proceedings of the Fourth European Conference on Software Quality. October 17−20, 1994, Basel, Switzerland. Pp 350−360
- Offutt J., Practical Mutation Testing. // Twelfth International Conference on Testing Computer Software, pages 99−109, Washington, DC, June 1995
- Offutt J., Lee A., Rothermel G., Untch R., Zapf Ch. An Experimental Determination of Sufficient Mutant Operators. // ACM Transactions on Software Engineering Methodology, 5(2):99-l 18, April 1996.
- King K.N. A Fortran Language System for Mutation-Based Software Testing. Software Practice and Experience, 21(7):686−718, July 1991.
- Offutt J. Investigations of the Software Testing Coupling Effect. // ACM Transactions on Software Engineering Methodology, 1(1):3−18, January 1992
- Budd T.A. Mutation Analysis of Program Test Data. PhD thesis, Yale University, New Haven CT, 1990.
- DeMillo R., Offutt J. Constraint-Based Automatic Test Data Generation. // IEEE Transactions on Software Engineering, 17(9):900−910, September 1991.
- Andrews J.H., Briand L.C., Labiche Y. Is Mutation an Appropriate Tool for Testing Experiments? // Proc. IEEE International Conference on Software Engineering, St. Louis, Missouri, pp.402−411, 2005.
- Howden W.E. Weak mutation testing and completeness of test sets. // IEEE Transactions on Software Engineering, 8(4):371−379, July 1982.
- Offutt J., Lee S.D. An Empirical Evaluation of Weak Mutation. // IEEE Transactions on Software Engineering, 20(5):337−344, May 1994
- Untch R., Harrold M.J., Offutt J. Mutation Analysis Using Program Schemata. 1993 International Symposium on Software Testing and Analysis, pages 139−148, Cambridge, Massachusetts, June 1993.
- Untch R. Mutation-based software testing using program schemata. In Proceedings of the 30th ACM Southeast Regional Conference, Raleigh, NC, April 1992.
- Offutt J., Rothermel G., Zapf. Ch. An Experimental Evaluation of Selective Mutation. // Fifteenth International Conference on Software Engineering, pages 100−107, Baltimore, Maryland, May 1993.
- Offutt J., Pan J. Automatically Detecting Equivalent Mutants and Infeasible Paths. The Journal of Software Testing, Verification, and Reliability, Vol 7, No. 3, pages 165−192, September 1997.
- Wong W.E. Mutation Testing in the New Century, Kluwer Academic Publishers, ISBN 0−7923−7323−5, 2001.
- Offutt A.J., Untch R.H. Mutation 2000: Uniting the Orthogonal. Proc. Mutation, San Jose, CA, USA, pp. 45−55, October, 2000.
- Kim S., Clark J.A., McDermid J.A. Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method. Software Testing, Verification and Reliability, vol. 11 (3), pp. 207−225, 2001.
- Итерационно-рекурсивная модель вычислительных процессов, порождаемых программами / Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Сидоров А. В., Осовецкий Л. Г. // Изв. ВУЗов. Приборостроение. 2005. Т 48, № 12, С. 14−20
- Немолочнов О.Ф. Методы технической диагностики / Методическое пособие.-Л.: ЛИТМО, 1977.
- Проектирование цифровых вычислительных машин / С. А. Майоров, Г. И. 11овиков, О. Ф. Немолочнов и др. / Под ред. Майорова С. А. М.: Высш. шк., 1972.-344 с.
- Норенков И.П. Основы автоматизированного проектирования: Учеб. Для вузов. 2-е изд., перераб. и дои. М.: Изд-во МГ’ГУ им. Н. Э. Баумана, 2002. -336 с.
- Карибский В.В., Пархоменко П. П., Согомонян Е. С., Халчев В. Ф. / Основы технической диагностики. Кн.1.- М.: Энергия, 1976
- Armstrong D.B. On Finding a Nearly Minimal Set of Fault Detecting Tests for Combinational logic Nets, IEEE Trans., EC-15, 1966.
- Roth I.P. Diagnosis of Automata Failures: A Calculus and A Method. IBM Journal of Res. And Dev., 10, 1966.
- Графы и их применение. Комбинаторные алгоритмы для программистов: Учебное пособие / Н. И. Костюкова. М.: Интернет-Универсиге1 Информационных технологий- БИНОМ. Лаборатория знаний, 2007.-311 с.
- Offutt J., Craft М. Using Compiler Optimization Techniques to Detect Equivalent Mutants. The Journal of Software Testing, Verification, and Reliability, 4(3): 131−154, September 1994
- Керниган Б., Ричи Д. Язык Си. М.: Финансы и статистика, 1990.
- Harrold M.J. Using data flow analysis for testing. Technical Report 93 112, Department of Computer Science, Clemson University, 1993.
- I Iecht M.S. Flow Analysis of Computer Programs. Elsevier, Amsterdam, 1977.
- Herman P.M. A Data Flow Analysis Approach to Program Testing // Australian Computer Journal. 1976. — Vol. 8, № 3. pp. 92−96
- Kennedy K.W. A survey of data flow analysis techniques. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 1, pp 5−54. Prentice-Hall, 1981.
- Бейбер P. Программное обеспечение без ошибок. M.: Радио и связь, 1996.
- Дейкстра Э. Дисциплина программирования. М.: Мир, 1978.
- Фролов А.В., Фролов Г. В. Microsoft Visual С++ и MFC. Программирование для Windows 95 и Windows NT. M.: ДИАЛОГ-МИФИ, 1996.-288 с.
- Кнут Д. Искусство программирования для ЭВМ. Т. 1. Основные алгоритмы. М.: Мир, 1976. — 736 с.
- Петров К.В. Метод верификации подпрограмм, написанных на языке высокою уровня. // Вестник II межвузовской конференции молодых ученых. Сборник научных трудов. / Под ред. B. J1. Ткалич. Том 1, — СПб.: СПбГУ ИТМО, 2005. С. 41−45