5.2. (Тема предложена Oracle в 2010 г.) Анализ и улучшение покрытия графических тестовых сюит.

Даже такие давно развиваемые тестовые сюиты как Swing, AWT, 2D, Accessibility не имеют 100% покрытия публичных методов. Нужно проанализировать причины по которым не покрыты непокрытые методы, составить план по покрытию части из них под руководством технического лидера и написать новые тесты. Исправление уже известных ошибок в тестах для возвращения их в тестовое пространство и улучшения тестового покрытия.

5.3. (Тема предложена Oracle в 2010 г.) Улучшение системы автоматического запуска виртуального тестового окружения.

Улучшение системы автоматического запуска виртуального тестового окружения (Solaris, VirtualBox, ZFS) в зависимости от нужд тестирования. Тестирование системы. Анализ вновь возникающих требований пользователей и помощь в разработке следующей версии.

Решение известных проблем: скорость развертывания виртуального тестового окружения, хранение виртуального тестового окружения после окончания тестирования, повторное развертывание сохраненного виртуального тестового окружения, расширение спектра поддерживаемых виртуальных окружений, корректный выбор и запуск тестового окружения в зависимости от требований пользователя - OS, browser, other installed environment.

5.4. (тема предложена Oracle в 2010 г.) Автоматизация слежения за работоспособностью тестовых сюит. Автоматическая проверка работоспособности тестовых сюит после создания/ удаления/изменения тестов, а также после изменения других тестовых

компонентов: изменения системы распределенного тестирования, изменения тестового харнесса, и т.д. Автоматическая синхронизация тестовых пространств разного уровня, расположенных в разных концах света.

5.5. (тема предложена Oracle в 2010 г.) Developing and executing tests for Java FX application runtime performance. The task includes development of new performance tests for the upcoming JavaFX 2.0 release, execution of the tests and investigation of the performance regressions, development of the performance tests execution and results storage engine (Aurora)

5.6. (тема предложена Oracle в 2010 г.) Java FX 2.0 test automation The task includes development of the test automation library and automated tests for testing new Java FX 2.0 graphics stack, either high level UI controls libraries or low level graphics libraries.

5.7. (тема предложена Oracle в 2010 г.) Java FX 2.0 test and demo applications development. The task includes developing test and demo applications for the upcoming Java FX 2.0 release that could be used for real world testing of Java FX libraries.

5.8. Models and tools for the interactive development of mixed language applications, especially Java-C++ (тема предложена Sun в 2006 г.)

5.9. Analysis for safely and completely refactoring general C++ based applications. Development of high-performance prototype that implements "rename", "move",  "extract",  "inline" operations  (тема предложена Sun в 2006 г.)

5.10. Research on software support of parallel computations on Sun’s multi-core hardware  platforms (Ultra SPARC T1 / Niagara) in the Solaris operating system, programming language extensions and compilers (тема предложена Sun в 2006 г.)

5.11. Участие в open source - проекте OpenJDK:

   Развитие JDK на основе его исходных кодов, предоставляемых фирмой Sun Microsystems    (реализация расширений языка Java, реализация алгоритмов сборки мусора и др.). Участие в спецификации новых JSR, разработка их RI.

   Примеры конкретных расширений:

  - параметры-константы в Java generics

  - формальные спецификации в стиле design-by-contract

5.12. Реализация Java 1.7 (Java Native Compiler) для платформы Windows

5.13. Distributed debugging based on DBX and SOAP over HTTP or FTP (тема предложена Sun в 2006 г.)

5.14. C/C++ programming in Service-Oriented Architecture (SOA) environment (тема предложена Sun в 2006 г.)

5.15. C / C++ ComputeServer (http://computeserver.dev.java.net/) for parallel applications (тема предложена Sun в 2006 г.)

5.16. Перенос Open Source - приложений в среду Solaris (тема предложена Sun в 2006 г.)

5.17. Разработка игр и утилит как расширений (plug-ins, modules) среды NetBeans (www.netbeans.org)

5.18. Завершение реализации поддержки языка UML для C++ в среде NetBeans 6.x C / C++ Pack (тема предложена Sun в 2008 г.)

5.19. Участие в реализации поддержки языка FORTRAN (навигация, выделение ключевых слов, автоматическое завершение кода) в среде NetBeans 6.x (тема предложена Sun в 2008 г.)

5.20. Реализация интерактивного мультимедийного Web-сайта о Санкт-Петербурге на основе технологии JavaFX

5.21. Реализация системы формальной спецификации и автоматической верификации программ на Java на основе аннотаций

6. Trustworthy Computing – надежное и безопасное программирование

6.1.Разработка  инструмента поддержки trustworthy software development на языке C# (plug-in к Visual Studio.NET 2010) – шаблоны безопасного и надежного кода, интеллектуальные подсказки пользователю (code completion), верификация программ на надежность и безопасность и др.

6.2. Разработке системы формальных алгебраических спецификаций и формальной верификации программ на языке C#. Вариант: Разработка подобной системы на основе формализма ASM – Abstract State Machine.

7. Параллельное программирование

7.1.Участие в разработке демонстрационного учебного комплекса параллельных программ “Parallel Dwarfs” (http://paralleldwarfs.codeplex.com) , реализующих параллельные алгоритмы классических задач (метод ветвей и границ, моделирование конечного автомата, обход графа, операции над разреженными матрицами и др.) с использованием новых параллельных технологий Microsoft (OpenMP, MPI, ParallelFx, TPL) в среде Windows 2008 HPC для Visual Studio 2010 на языках F#, C#, C++.

8. Инструменты обучения

8.1. Разработка обучающих игр на основе лекционных курсов проф. В.О. Сафонова по Java-технологии, Microsoft.NET, Compiler Development, Software Engineering, Operating Systems and Networking, Secure Software Engineering и др.

9. Разработка Web-сайтов

9.1. Модернизация и сопровождение Web-сайта лаборатории Java-технологии http://polyhimnie.math.spbu.ru/jtl/