Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы
Диссертация
Цели и задачи диссертационной работы. Целью диссертационной работы является сокращение трудоемкости процесса разработки тестовых сценариев путем применения высокоуровневых иСМ-моделей, контролируемых заказчиком. Сокращение трудоемкости осуществляется автоматизацией следующих этапов: преобразование иСМ-моделей в модели базовых протоколовструктурирование модели базовых протоколовпоиск определенных… Читать ещё >
Список литературы
- Баранов С.Н., Дробинцев П. Д., Летичевский A.A., Котляров В. П. Верификационная технология базовых протоколов для разработки и проектирования программного обеспечения // Программные продукты и системы. 2005. № 1(69). С. 25−28.
- Бурдонов И.Б., Косачев A.C., Пономаренко В. Н., Шнитман В. З. Обзор подходов к верификации распределенных систем. Препринт Института системного программирования РАН, № 16, 2006. 61 с.
- Веселов А.О., Котляров В. П. Автоматизация тестирования проектов в области телекоммуникаций // Научно-технические ведомости СПбГПУ. № 4. СПб.: Изд-во Политехнического ун-та, 2010. С. 180−185.
- Веселов А.О., Иванов A.C., Тютин Б. В., Котляров В. П. Автоматизация тестирования телекоммуникационных приложений // Научно-технические ведомости СПбГПУ. № 3. СПб.: Изд-во Политехнического ун-та, 2009. С. 208 212.
- Воинов Н.В., Веселов А. О., Котляров В. П. Автоматизация тестирования UML проектов // Вычислительные, измерительные и управляющие системы. Сборник научных трудов. СПб.: Изд-во Политехнического ун-та. 2007. — С. 57−65.
- Воинов Н.В., Котляров В. П. Верификация и автоматизация тестирования UML проектов // Научно-технические ведомости СПбГПУ. № 3. СПб.: Изд-во Политехнического ун-та, 2009. С. 220−225.
- Воинов Н.В., Котляров В. П. Применение метода эвристик для создания оптимального набора тестовых сценариев // Научно-технические ведомости СПбГПУ. № 4 (103). СПб.: Изд-во Политехнического ун-та. 2010. — С. 169 174.
- Дробинцев П.Д. Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования. Диссерт. на соискание уч. ст. канд. техн. наук. СПб.: СПбГПУ, 2006. 238 с.
- Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем. «БХВ-Петербург», 2010. 560 с.
- Кознов Д.В., Арчак H.A. Апробация технологии тестирования UniTesK // Системное программирование. / Под ред. проф. А. Н. Терехова и Д. Ю. Булычева. СПб: Изд СПбГУ, 2004. С. 335−348.
- Колчин A.B. Разработка инструментальных средств для проверки формальных моделей асинхронных систем. Диссерт. на соискание уч. ст. канд. физ.-мат. наук. Киев, 2009. 140 с.
- Кулямин В.В. Методы верификации программного обеспечения // Всероссийский конкурсный отбор обзорно-аналитических статей по приоритетному направлению «Информационно-телекоммуникационные системы». 2008. 117 с.
- Кулямин В.В., Петренко А. К., Косачев A.C., Бурдонов И. Б. Подход UniTesK к разработке тестов // Программирование. 2003. — № 29(6). С. 25−43.
- Летичевский A.A. Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами. Диссерт. на соискание уч. ст. канд. физ.-мат. наук. Киев, 2005. 138 с.
- Летичевский A.A., Капитонова Ю. В., Волков В. А., и др. Спецификация систем с помощью базовых протоколов // Кибернетика и Системный Анализ. 2005. № 4. С. 3−21.
- Никифоров И.В., Петров A.B., Юсупов Ю. В. Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map // Научно-технические ведомости СПбГПУ. № 4. СПб.: Изд-во Политехнического ун-та, 2010. С. 191−195.
- Петренко А.К., Бритвина E.H., Грошев С. Г., Монахов A.A., Петренко О. Л. Тестирование на основе моделей // Открытые системы. 2003. — № 9. http://www.osp.ru/os/2003/09/183 388/*
- Abrial J.-R. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996. 813 p.
- AGEDIS // http://www.agedis.de/
- Последняя проверка актуальности приведенных ссылок 22.02.2011
- Ambert F., Bouquet F., Chemin S., Guenaud S., Legeard B., Peureux F., Vacelet N., Utting M. BZ-TT: A tool-set for test generation from Z and B using constraint logic programming. Proc. of FATES'2002 August 2002. P. 105−119.
- Ammann P., Black P. E. Abstracting formal specifications to generate software tests via model checking. Proc. of 18-th Digital Avionics Systems Conference, IEEE, October 1999 Vol.2. P. 10.A.6−1-10.A.6−10.
- Artisan Studio // http://www.artisansoftwaretools.com/products/artisan-studio/
- Boehm B. Software risk management: principles and practices. Software, IEEE, 8(1), 1991. P. 32−41.
- Booch Gr., Maksimchuk R., Engel M., Young B., Conallen J., Houston K. Object-Oriented Analysis and Design with Applications. Addison-Wesley Professional- 3rd edition, 2007. 720 p.
- Borland Together // http://www.borland.com/us/products/together/index.html
- Boyapati C., Khurshid S., Marinov D. Korat: automated testing based on Java predicates. Proc. of International Symposium on Software Testing and Analysis, 2002. P. 123−133.
- Brinksma E. A theory for the derivation of tests. Proc. of 8-th International Conference on Protocol Specification, Testing and Verification, North Holland, 1988. P. 63−74.
- Broy M., Jonsson B., Katoen J.-P., Leucker M., Pretschner A. (eds.). Model Based Testing of Reactive Systems. LNCS 3472, Springer, 2005. 659 p.
- Buhr R. J. A., Casselman R. S. Use Case Maps for Object-Oriented Systems, Prentice Hall, 1995. 302 p.
- Eclipse // www.eclipse.org/
- Engel C., Hahnle R. Generating unit tests from formal proofs. Y. Gurevich, B. Meyer, eds. Proc. of TAP 2007. LNCS 4454, Springer-Verlag, 2007. P. 169−188.
- Enterprise Architect // http://www.sparxsvstems.com.au/
- Enterprise JavaBeans // http://www.oracle.com/technetwork/topics/eib3Q-92 128.html
- Everette R. Keith. Agile Software Development Processes: A Different Approach to Software Design. 25 p. www.cs.nvu.edu/courses/spring03/V22.0474−001/lectures/agile/AgileDevelopmentDifferentApproach.pdf
- Farchi E., Hartman A., Pinter S. S. Using a model-based test generator to test for standard conformance. IBM Systems Journal, 41(1), 2002. P. 89−110.
- Fernandez J.-C., Jard C., Jeron T., Viho C. Using On-the-Fly Verification Techniques for the Generation of Test Suites. Proc. of 8-th International Conference on Computer Aided Verification, LNCS 1102, Springer, 1996. P. 348−359.
- Futatsugi K., Goguen J. A. Principles of OBJ2. In: 12th ACM Symp. on Principles of Programming Languages. — New Orleans, 1985. P. 52−66.
- Gargantini A., Heitmeyer C. Using model checking to generate tests from requirements specifications. ACM SIGSOFT Software Engineering Notes, 24(6), November 1999. P. 146−162.
- GOTCHA-TCBeans // www.haifa.ibm.com/proiects/verification/gtcb/index.html
- Gotlieb A., Botella B., Rueher M. Automatic test data generation using constraint solving techniques. ACM SIGSOFT Software Engineering Notes, 23(2), 1998. P. 53−62.
- GraphML // http ://graphml. graphdrawing.org/51. GraphXML // http://strategoxt.org/Transfon-n/GraphXML
- Gurevich Y. Evolving Algebras: An Introductory Tutorial. Bulletin of the European Association for Theoretical Computer Science 43:264−284, February 1991.
- Guttag J., Horning J. Larch: Languages and Tools for Formal Specification. -Heidelberg: Springer-Verlag, 1993. 250 p.
- HP QuickTest Professional //https://hl0078.wwwl.hp.com/cda/hpms/display/main/hpms content. jsp?zn=bto&cp:= 1−11−127−24A1352 4000 100
- Hoare C.A.R. Communicating sequential processes, Prentice Hall, London, 1985.260 p.
- Huima A., Invited Talk: Implementing Conformiq Qtronic. Lecture Notes in Computer Science, 2007, Volume 4581, Testing of Software and Communicating Systems. P. 1−12.
- IBM Rational SDL Suite http://www-01 .ibm.com/software/awdtools/sdlsuite/
- IBM Rational Software Architect (RSA) // http://www-01 .ibm.com/software/awdtools/architect/swarchitect/
- IBM Rational Software Modeler (RSM) // http://www-01 .ibm.com/software/awdtools/modeler/swmodeler/
- IBM Rhapsody // http://www-01.ibm.com/software/awdtools/rhapsody/
- ISO TC97/SC21, Estelle—A Formal Description Technique Based on an Extended State Transition Model, 1988. International Standard 9074.
- ITU-T Recommendation Z.100, CCITT Specification and Description Language (SDL), 03/93.
- ITU Recommendation Z.120. Message Sequence Charts (MSC), 11/99.
- JUnit II http://www. junit.org/
- Kull A. PhD Thesis: Model Based Testing of Reactive Systems, Thesis, Tallinn University of Technology, Faculty of Information Technology, 2009. 101 p.
- Larman C., Basiii V. Iterative and Incremental Development: A Brief History, Computer, vol. 36, no. 6, June 2003. P. 47−56.
- Letichevsky A.A., Kapitonova J.V., Volkov V.A., Vyshemirskii V.V., Letichevsky Jr. A.A. Insertion Programming // Cybernetics and Systems Analysis, Volume 39, Issue 1 (January 2003). P. 16−26.
- Letichevsky A.A., Kapitonova J.V., Volkov V.A., Letichevsky Jr A.A., Baranov S.N., Kotlyarov V.P., Weigert T. System Specification with Basic Protocols // Cybernetics and Systems Analysis, Volume 41, Issue 4 (July 2005). P. 479−493.
- LoadRunner // http://software-testing.rU/library/vendors/l41 -loadrunner/
- MDL // http://verifV.stanford.edu/dill/murphi.html
- MessageMagic // http://www.elvior.ee/messagemagic/general
- Microsoft Solutions Framework (MSF) // http://www.microsoft.com/rus/msdn/msf/
- Milner R. Communication and Concurrency. Prentice Hall, 1989. 272 p.80. MOTES // www.elvior.ee
- Myers G. J. The Art of Software Testing. John Wiley & Sons, 1979. 192 p.
- NUnit // http://www.nunit.org/
- Objecteeing // http://www.obiecteering.com/
- OCL // http://lcm.csa.iisc.ernet.in/soft arch/OCL.htm
- OMG Unified Modeling Language http://www.omg.Org/spec/UML/2.2/
- ParTeG // http://parteg.sourceforge.net
- Paulk M.C., Curtis B., Chrissis M.B., Weber C.V. Capability Maturity Model for Software, version 1.1. // CMU/SEI-93-TR-024, February, 1993. 82 p.
- Pezze M., Young M. Software Testing and Analysis: Process, Principles and Techniques, Wiley, 2007. 488 p.
- Pex: Microsoft Research // http://research.microsoft.com/en-us/projects/pex/
- Poseidon // http://www.gentleware.com/91. QARun //http://supportline.microfocus.com/documentation/ASQ/QARunDocs.aspx/
- Qtronic // www.conformiq.com
- RAISE // http://www.iist.unu.edu/raise
- Rational Robot // http://www-01 .ibm.com/software/awdtools/tester/robot/
- Rising L, Janoff NS. The scrum software development process for small teams. IEEE Software, 2000-(4):2−8.
- RUP (Rational Unified Process) //http://www.augustana.ab.ca/~mohri/courses/2000.winter/csc220/papers/rupbestpra ctices/rup bestpractices. html
- Sen K., Agha G. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. Proc. of Computer Aided Verification, Aug 2006. P. 419−423.
- Shafique M., Labiche Y. A Systematic Review of Model Based Testing Tool Support. Carleton University, Technical Report, May 2010. 21 p.99. SOATest//http://www.parasoft.com/isp/solutions/soa solution. isp-jsessionid-aaa7EAlvipZLSd? itemld=319
- Spec Explorer: Microsoft Research // http://research.microsoft.com/specexplorer
- Spec Explorer: MSDN // http://msdn.microsoft.com/en-us/library/ee62041 l. aspx
- Spy editor // http://www.altova.com/xml-editor/
- Telelogic TAU G2 // http://www.telelogic.com/products/tau/tau/index.cfm/
- Telelogic TTCN Suite // http://www.telelogic.com/products/ttcn/index.cfiTi/
- TestArchitect // http://www.logigear.com/services/test-automation/turnkey-global-test-automation-with-testarchitect.html/
- TestOptimal // www.testoptimal.com
- Test Designer // www.smartesting.com
- Test RealTime // http://www-01 .ibm.com/software/awdtools/test/realtime/
- TopCased // http://www.topcased.org/
- Tretmans J. A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede, The Netherlands, 1992. 282 p.
- Tretmans J., Belinfante A. Automatic testing with formal methods. Proc. Of 7th European Conference on Software Testing, Analysis and Review, Barcelona, Spain, November 1999. P. 8−10.
- The Z Notation: a reference manual // http://spivey.oriel.ox.ac.uk/mike/zrm/
- UniTESK // http://www.unitesk.ru/
- UPPAAL // http://www.uppaal.com/
- Uppaal CORA // http://www.es.aau.dk/~behrmann/cora/
- Use Case Map Navigator http://iucmnav.softwareengineering.ca
- Utting M., Pretschner A., Legeard B. A Taxonomy of Model-Based Testing. Technical Report, Department of Computer Science, The University of Waikato, New Zealand, 2006. 17 p.
- Utting M., Legeard B. Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2007. 456 p.
- VDM // http ://www.vienna.cc/e/evdm.htm
- Visser W., Pasareanu C. S., Khurshid S. Test input generation with Java PathFinder. ACM SIGSOFT Software Engineering Notes, 29(4), July 2004. P. 97 107.
- Voinov N., Kotlyarov V. Verification and Testing Automation of UML Projects // Proceedings of the Third Spring Young Researchers' Colloquium on Software Engineering. Vol. 3. Moscow, 2009. P. 41−45.
- WinRunner // http://www.cbueche.de/WinRunner%20User%20Guide.pdf
- XMI // http://www.omg.org/spec/XMI125. yED // http://www.vworks.com