Разработка и исследование методов и средств структурных испытаний программ
Диссертация
Личный вклад автора. Все результаты, составляющие основное содержание диссертационной работы, получены автором самостоятельно. В работе автором диссертационной работы разработаны определения понятий контекст и потенциальный контекст в программе или ее фрагменте и модель множества потенциальных контекстов фрагмента программы. В работах автором разработаны формальные определения традиционных… Читать ещё >
Список литературы
- Введение в языки программирования: Перевод с англ. М.: Мир, 1980. 192 с.
- Борковский А.Б. Англо-русский словарь по программированию и информатике (с толкованиями). М.: Рус. яз., 1990. 335 с.
- Боэм Б., Браун Дж., Каспар X., Липов М., Мак-Леод Г., Мерит М. Характеристики качества программного обеспечения: Пер. с англ. М.: Мир, 1981.206 с.
- Большая Советская Энциклопедия: в 30 т. / Гл. ред. A.M. Прохоров. М.: Советская энциклопедия, 1969−1978. Т. 1−30.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. Перевод с англ. М.: Мир, 1975. 544 с.
- Оценка качества программных средств. Общие положения. ГОСТ 28 195–89. М.: Издательство стандартов, 1989. 38 с.
- Джонсон С.С. Yacc. http//www.docs.rinet.ru/YACC/yacc.html
- Изосимов А.В., Рыжко А. Л. Метрическая оценка качества программ. М.: Изд-во МАИ, 1989. 96 с.
- Кауфман В.Ш. Языки программирования. Концепции и принципы. М.: Радио и связь, 1993. 432 с.
- Коган Б.И. Экспериментальные исследования программ. М.: Наука, 1988. 184 с.
- Коган Б.И. Измерительные языковые процессоры // Адаптируемые средства программирования. Методы оценки трансляторов: Материалы школы-семинара 5−10 июня 1989 г. Кишинев: ДНТ, 1989. С. 59−63.
- Коган Б.И. Использование измерительных языковых процессоров в интеллектуальных средствах оценки качества программ // Методыповышения качества программного обеспечения: Материалы семинара. Владивосток: ДВО АН СССР, 1990. С.31−36.
- Коган Б.И. Измерительные языковые процессоры для исследований и оценки качества программных средств: Диссертация на соискание ученой степени доктора технических наук. Владивосток: ИАПУ ДВО РАН, 1993.450 с.
- Коган Б.И. Определение базовой объективной системы внутренних свойств программных продуктов. Препринт. Владивосток: ИАПУ ДВО РАН, 1996. 56 с. I
- Коган Б.И., Матвеева Т. О. Повышение возможностей автоматизации оценки качества программ при использовании реляционного подхода к их измерению. // Вестник ДВО РАН, N 4, 1996. С. 29−42.
- Коган Б.И., Остроухова С. Н. Построение измерительной модели языка программирования. Препр. Владивосток: ИАПУ ДВО РАН, 1996. 56 с.
- Коган Б.И. Языково-ориентированный подход к оцениванию качества программного обеспечения // Информационные технологии, М.: Машиностроение, N.1, 1998. С.26−30.
- Коган Б.И., Остроухова С. Н. Построение измерительной модели современного языка программирования. Препринт. Владивосток: ИАПУ ДВО РАН, 1998. 38 с.
- Коган Б.И., Никифорова НЛО. Модели традиционных покрытий испытаниями // Материалы региональной научной конференции «Молодежь и научно-технический прогресс». Тезисы доклада. Владивосток: Изд-во ДВГТУ, 1998. С. 100−101.
- Коган Б.И., Шалфеева Е. А. Средства специфицирования моделей и метрик. Препринт 34−2000. Владивосток: ПАПУ ДВО РАН. 47 с.
- Коган Б.И., Никифорова Н. Ю. Контекст в языках программирования: определение контекста в программе. Препринт 4—2001. Владивосток: ИАПУ ДВО РАН, 2001. 21 с.
- Коган Б.И., Никифорова Н. Ю. Контекст в языках программирования: модель контекста в программе. Препринт 5−2001. Владивосток: ИАПУ ДВО РАН, 2001. 43 с.
- Коган Б.И., Никифорова Н. Ю. Метод покрытия испытаниями потенциальных контекстов программной единицы. Препринт 10−2003. Владивосток: ИАПУ ДВО РАН, 2003. 32 с.
- Кодухов В.И. Общее языкознание. Учебное пособие для студентов фил. специальностей. М.: высшая школа, 1974. 303 с.
- Колшанский Г. В. Контекстная семантика. М.: Наука, 1980. 150 с.
- Кристофидес H. Теория графов. Алгоритмический подход. М.: Мир, 1978. 432 с.
- Лавров С.С. Основные понятия и конструкции языков программирования. М.: Финансы и статистика, 1982. 22 с.
- Лингвистический энциклопедический словарь / Гл.ред. В. Н. Ярцева. М.: Сов. энциклопедия, 1990. 685 с.
- Литвин Ф.А. Многозначность слова в языке и речи. М.: Высшая школа, 1984. 119 с.
- Майерс Г. Искусство тестирования программ. М.: Финансы и статистика, 1982. 176 с.
- Матвеева Т.О., Шалфеева Е. А. Специфицирование метрик программных продуктов на основе измерительных языковых моделей // Информационные технологии, 1999. № 7. С. 15−21.
- Никифорова Н.Ю. Система измерений Паскаль-программ для РС-подобных ЭВМ // IV Международная конференция «Качество программного обеспечения информационных технологий», 2−7 ноября 1992 г. Тезисы докл. М.: СНПО «Алгоритм», 1992. С.65−69.
- Никифорова Н.Ю. Определение и модель контекста в языке программирования II Сборник научных трудов Дальневосточной математической школы-семинара имени академика Е.В. Золотова. Тезисы доклада. Владивосток: ИПМ ДВО РАН, 1999. С.63−64.
- Никифорова Н.Ю. Определение и модель контекста в программе // Сборник научных трудов Дальневосточной математической школы-семинара имени академика Е. В. Золотова. Тезисы докл. Владивосток:
- ИПМ ДВО РАН, 2000. С.84−86.
- Никифорова Н.Ю. Контекст в языках программирования: пример построения модели контекста в программе. Препринт 6−2001. Владивосток: ИАПУ ДВО РАН, 2001. 28 с.
- Ожегов С.И. Словарь русского языка / Под ред. Н. Ю. Шведовой. 18-е изд. М.: Рус.яз. 1986. 797 с.
- Остроухова С.Н. Разработка и исследование измерительных процессоров алгоритмических языков программирования. ДиссертацияIна соискание ученой степени кандидата тех. наук. Владивосток: ИАПУ ДВО РАН, 2000. 142с. I
- Першиков В.И., Савинков В. М. Толковый словарь по информатике. М.: Финансы и статистика, 1991. 543 с.
- Русский язык. Энциклопедия /Гл.ред. Ю. Н. Караулов. 2 изд., М.: Большая Российская энциклопедия- Дрофа, 1997. 703 с.
- Татт У. Теория графов. М.: Мир, 1988. 424 с.
- Шалфеева Е.А. Разработка и исследование методов и средствформального специфицирования моделей и метрик программ.
- Диссертация на соискание ученой степени кандидата тех. наук. Владивосток: ИАПУ ДВО РАН, 2000. 146 с.
- Фахрутдинов К.И. Языки программирования. Владивосток: Изд-во Дальневосточного университета, 1991. 188 с.
- Материалы сайта «Algolist». http://algoHst.manual.ru/maths/linalg/
- AMI: Application of metrics in industry. A quantitative approach tosoftware management. London: South Bank University, 1993. 170 p. •
- Bache R., Mullerburg M. Measures of testability as a basis for quality assurance // Software Eng. J., 1990. Vol.5. No.2. P. 86−92.
- Bache R., Bazzana G. Software metrics for product assessment. McGraw-Hill Book Company, 1994. 249 p.
- Basili V.R., Hutchens D.H. An empirical study of a syntactic somplexity family // IEEE Trans, on Software Eng., 1983. Vol.9. No.6. P.664−672.
- Basili V.R., Briand L.C., Melo W.L. A validation of object-oriented design metrics as quality indicators // IEEE Trans, on Software Eng., 1996. Vol. 22. N. 10. P.751−761.
- Bazzana G., Brigliadori R., Cole R., Kirkwood K., Seigneur F. Techniques and Tools for Software Assessment and Certification. Research Report SQ-12−93, University of Strathclyde, Department of Computer Science, 1993. 10 p.
- Beizer B. Black-Box Testing. Wiley, 1995.
- Ben-Menachem M., Marliss G.S. Software Quality. Producing Practical, Consistent Software. International Thomson Computer Press, 1997. 326 p.
- Boehm B. Software Engineering Economics. Prentice-Hall, 1981.
- Brian L., Emam K., Morasca S. On the Application of Measurement Theory in Software Engineering: International Software Engineering Research Network technical report #ISERN-95−04. 23 p.
- The Brighton University Resource Kit for Students, 2002, http://burks.bton.ac.uk7burks/
- Chidamber S.R., Kemerer C.F. A metrics suite for object oriented design: // IEEE Trans. Sofware Eng., 1994. V. 20, N. 6. P.476−493."
- Cogan B.I. Building a basic system of internal attributes for software products: An objective approach // Proc. of Int. Conf. on Software Quality, Maribor, Slovenia, 1995. Maribor: University of Maribor press, 1995. P. 127−136.
- Cogan B.I. and Hunter R.B. Language-oriented approach to software measurement, in SMS-96 (eds C. Munson and Walter F. Tichy), pp. 3 to 8, Proceedings of Software Metrics Symposium. Germany, 1996, Berlin: IEEE Computer Society Press, 1996.
- Cogan B.I., Matveeva Т.О. A relational approach to software measurement and quality assessment. In ESCM'96 (ed Adrian J. Couderoy). Proc. 7th European Software Control and Metrics Conference. UK, 1996, Wilmslow. P. 280−291.
- Cogan B.I., Ostrouchova S.N. Building a measuring model of a programming language, Research Report RR/96/200. Glasgow: University of Strathclyde, Department of Computer Science, 1996. 37 p.
- Cogan B.I., Ostrouchova S.N. Building a measuring model of a modern programming language, Preprint Research Report, University of Strathclyde, Department of Computer Science, 1998. 33 p.
- Cogan B.I., Ostrouchova S.N. Measuring models of programming languages. In: B. Cogan, I. Rosman (eds). Proc. Slovenian-Russian
- Workshop on Software Engineering, Vladivostok, 1998. Maribor University Press, 1998. P.77−90.
- Cogan B. L, Shalfeeva E.A. A generalised structural model of structured programs for software metrics definition // Software Quality J., 2002, No.10. P. 147−165.
- Cornett S. Code Coverage Analysis. 1995. http://www.bullseye.com/coverage.html
- Coupal D., Robillard P.N. Factor analysis of source code metrics // J. Syst. and Software, 1990. Vol.12. No.3. P.263−269.I
- Deutsch M. Verification and Validation // Software Engineering (R. Jensen and C. Tonies, eds.). Prentice-Hall, 1979. pp.329−480.
- Fenton N.E. Software Metrics: A rigorous approach, Chapman & Hall, 1991. 336 p.
- Fenton N.E. Software measurement: A necessary scientific basis // IEEE Trans, on Software Eng., 1994. Vol.20. No.3. P. 199−206.
- Fenton N.E., Pfleeger S.L. Software metrics: A rigorous & practical approach. Second edition. International Thompson Computer Press, 1996. 638 p.
- Ghani A.A., Hunter R. Standards for Sourse Code Metrics, Research Report
- SQ-8−93., University of Strathclyde, Departnfent of Computer *1. Science,! 993. 14 p.
- Gosling J., Joy В., Steele G. The Java language specification. Addison-Wesley Longman Inc. 1996. 825 p.
- Harrison W. Using software metrics to allocate testing resources // J. Man.1.form. Syst., 1988. Vol.4. No.4. P.93−105.
- Horgan J.R., London S, Lyu M. R Achieving software quality with testing coverage measures // IEEE Software, 1994. Vol.11. No.4. P.60−69.
- EE standard glossary of software engineering terminology: ANSI/IEEE Std 610.12−1990. 83 p.
- EE standard for a software quality metrics methodology: IEEE/ANSI Std 1061−1992. 88 p.
- EE standard classification for software anomalies. IEEE/ANSI Std 10 441 993. 26 p.
- O/IEC 9126, Software product evaluation Quality characteristics and guidelines for their use, 1991. 17p.
- Kan S.H. Metrics and Models in Software Quality Engineering. Addison-Wesley, 1995.344 p.
- Kaner Ci, Falk J., Nguyen H.Q. Testing Computer Software. 2nd ed., Van Nostrand-Reinhold, 1993.
- Kaner C. Software negligence and testing coverage. Software QA Quarterly, 1996. Vol.2. P.2−18.
- Manns Т., Coleman M. Software Quality Assurance. Second-'"edition. Macmillan press, 1996.235 p. ' -
- McCabe T. J. A complexity measure // IEEE Trans. Software Eng. 1976. Vol.2. No.4. P.308−320'.
- Microman Examples and Download Links for Lex & Yacc. http://www.uman.com/lexyacc.stml
- Pfleeger S.L. Software Engineering: the Production of Quality Software. Second edition. Macmillan Publishing Company, 1991. 517 p.
- Prather R.E. An axiomatic theory of software complexity measure // Computer J., 1984. Vol 27. No.4. P. 340−347.
- Prather R.E. On hierarchical software metrics // Sortware Eng. J., 1987. Vol.2. No.2. P.42−45.
- Pressman R.S. Software Engineering: Practitioner’s Approach. European Third edition (ed. D. Ince). McGraw-Hill Inc., 1994. 802 p.
- Pressman R.S. Software Engineering: Practitioner’s Approach. Fourth edition. McGraw-Hill Inc., 1997. 885 p.
- Shepperd M. Foundation of software measurement. Prentice Hall International, 1995. 234p.
- Software Quality Assurance and Measurement: A Worldwide Perspective (eds Fenton N., Whitty R., Iizuka Y.). International Thompson Computer Press, London, UK, 1995. 320 p.
- Random House Webster’s, Electronic Dictionary and Thesaurus, College Edition. Version 1.0. 1992.
- Yourdon E., Constantine L.L. Structured design. Prentice Hall, Englewood Cliffs, NJ.1979.