Использование предметно-ориентированных языков для повышения продуктивности создания программных продуктов

Сайт российского отделения Кенгуру

• 
  id – идентификатор тэга
  
• 
  Название – непустая строка
  

1. 
   Фамилия и имя
   
2. 
   Набранные баллы
   
3. 
   Оценка "удовлетворительно", "хорошо", "отлично"
   
4. 
   Для каждого из тегов выводится процент решенных задач с этим тегом
   
5. 
   Список ответов ученика
   

1. 
   Ввод списка учеников и решений (ответов) учеников.  В этом режиме учитель настраивает список учеников, которые участвуют в тестировании, и вводит данные ими ответы
   
2. 
   Обработка результатов. В этом режиме учитель видит только текст "Подождите, результаты вычисляются, оглашение произойдет в такой-то момент времени"
   
3. 
   Таблицы результатов. В этом режиме учитель видит таблицу результатов.
   

1. 
   Незарегистированныйучастик
   
   1. 
      регистрируется на сайте. Одна регистрация соответствует одному классу, для которого проводится тестирование. При регистрации учитель вводит обязательные данные:
      
      1. 
         ФИО
         
      2. 
         Логин. Произвольный набор символов, это не email. Подтверждения регистрации не высылаются
         
      3. 
         Пароль и подтверждение пароля
         
      4. 
         Email - для восстановления пароля и для обратной связи. Разные логины могут иметь одинаковыйemail
         
      5. 
         Название или номер школы (в произвольной форме)
         
      6. 
         Название класса (в произвольной форме)
         
   2. 
      авторизируется, при этом он становится Учителем или Администратором
      
   3. 
      просит выслать забытый пароль на e-mail. При этом высылаются все пароли, связанные с данным e-mail
      
2. 
   Учитель
   
   1. 
      cкачивает PDF с условием задачи
      
   2. 
      редактирует список имен учеников. Добавляет, удаляет, изменяет имена. В имени учитель вводит ФИО или ФИ, на свое усмотрение.
      
   3. 
      редактирует ответы учеников
      
   4. 
      смотрит таблицу результатов и печатает её (HTML с CSS-файлом для печати). Над таблицей результатов приведена дополнительная информация такая как правильные ответы к задачам, пояснения к тегам и другие организационные данные
      
3. 
   Администратор
   
   1. 
      закачивает новый файл с условием задачи (*) 
      
   2. 
      вводит список правильных ответов
      
   3. 
      редактирует тексты на страницах, которые видит учитель (*)
      
   4. 
      выкачивает в формате CSV (текстовый файл со значениями разделёнными ";") всю информацию о классах и ответах, данных учениками. Формат CSV описан в отдельном разделе
      
   5. 
      Настраивает параметры для таблицы результатов:
      
      1. 
         количество задач, и разбиение их на группы
         
      2. 
         балл, начиная с которого выставляется оценка "отлично", "хорошо", "удовлетворительно". Это три целых числа
         
      3. 
         список тегов с описаниями (возможно добавлять теги, удалять, редактировать имя)
         
      4. 
         таблица тегов и соответствующих им задач
         

• 
  Дан треугольник, построить вписанную в него окружность.
  
• 
  Дан треугольник, построить описанную вокруг него окружность.
  
• 
  Дан выпуклый многоугольник, построить вписанную в него окружность.
  
• 
  Даны 3 касающиеся друг друга окружности, найти вписанную окружность, касающуюся 3-х данных.
  

• 
  Задача на построение – задача имеет атрибуты:
  
  • 
    Условие для ученика – текст условия, который будет показан ученику.
    
  • 
    Дано – чертёж с начальным построением, на котором все объекты поименованы, чтобы на них можно было ссылаться в формальном условии
    
  • 
    Построить – перечислены объекты, которые должен по условию задачи построить ученик;
    
  • 
    Такие что – перечислены свойства, которыми эти объекты должны обладать.
    
  • 
    Используя – перечислены инструменты (возможности программы), которые может использовать ученик при решении задачи.
    

• 
  Точка – задаётся 2 уравнениями , где и координаты точки;
  
• 
  Прямая – задаётся уравнением , конкретная прямая определяется тремя коэффициентами . Перпендикуляр к данной прямой ;
  
• 
  Отрезок – задаётся координатами вершин.
  
• 
  Луч – задаётся координатами точки начала и координатами одной точки лежащей на луче.
  
• 
  Окружность – задаётся уравнением , конкретная окружность определяется тремя коэффициентами . Две окружности одинаковы при совпадении всех коэффициентов.
  
• 
  Круг – задаётся неравенством , определяется и сравнивается как окружность.
  
• 
  Прямоугольник – задаётся координатами 4 вершин, сравниваются с точностью до перестановки вершин.
  
• 
  Треугольник– задаётся координатами 3 вершин.
  
• 
  Многоугольник
  

• 
  “Равенство” – для некоторых объектов (например, для точек) проверяется сравнением коэффициентов, для других же объектов (например, прямых), нужна специальная процедура сравнения.
  
• 
  “Перпендикулярность” – отношение проверяемое для прямых или отрезков как равенство скалярного произведения соответствующих векторов нулю.
  
• 
  “Параллельность” – можно применить только к прямым. У двух параллельных прямых заданных уравнениями вида коэффициенты и должны быть пропорциональны, т.е. удовлетворять уравнению
  
• 
  “Пересечение” – два геометрических объекта имеют хотя бы одну общую точку.
  
• 
  “Касание” – два геометрических объекта имеют ровно 1 общую точку.
  
• 
  “Вписанная” (окружность) – окружность максимально возможного радиуса, расположенная внутри фигуры и касающаяся окружности.
  
• 
  “Описанная” (окружность) – окружность минимально возможного радиуса, расположенная так, что фигура располагается целиком внутри и касается окружности.
  

• 
  “Прямоугольный” (треугольник) – вид треугольника, у которого один из углов прямой
  

• 
  Циркуль – можно использовать для построения окружностей, а также, чтобы отмерить одинаковое расстояние от заданной точки к другой точке.
  
• 
  Линейка без делений – можно строить прямые, проходящие через 2 точки, а также отрезки от точки до точки, а также строить касательные к окружности проходящие через заданную точку.
  
• 
  Линейка с делениями – можно измерять расстояния и откладывать произвольные расстояния от произвольных точек (расстояния вводятся).
  
• 
  Угольник – можно построить перпендикуляр к прямой или отрезку в заданной точке
  

• 
  пользователь с ролью учитель, именем teacher и паролем
  
• 
  пользователь по умолчанию с ролью ученик, именем student и без пароля.
  

• 
  Условиедля ученика, в которую вложены две ячейки:
  
  • 
    с константной строкой “Условие для ученика”
    
  • 
    строкой для редактирования условия задачи.
    
• 
  Данос вложенным списком ячеек с начальным построением. Эта ячейка заполняется при помощи графического редактора, в котором можно сделать начальное геометрическое построение, текст в ячейке появляется автоматически при построении чертежа. Прямо на чертеже можно давать объектам имена.
  
• 
  Построить, которая позволяет добавлять объекты из глоссария (Точка, Прямая и т.д.) и при этом вводить им имена, чтобы можно было ссылаться на них из условий.
  
• 
  Такие что, в которой можно выбирать предикаты из глоссария и выбирать объекты (либо на чертеже, либо имя объекта из выпадающего списка) по отношению к которым надо применить данный предикат.
  
• 
  Инструменты, в которую можно добавлять и удалять элементы из глоссария “инструменты”.
  

Дальнейшие шаги

1. Список литературы (библиография)

1. 
   (5)
   
2. 
   Дмитрий Кириллов. Ориентация на язык //Компьютерра (14 марта 2006)http://www.rsdn.ru/article/philosophy/LOP.xml
   
3. 
   (6)
   
4. 
   M. Ward. Language Oriented Programming. Software - Concepts and Tools, 15, 147-161  1994, http://www.dur.ac.uk/martin.ward/martin/papers/middle-out-t.pdf
   
5. 
   ЛайзаКриспин, ДжанетГрегори Гибкое тестирование: практическоеруководстводлятестировщиков ПО и гибких команд = Agile Testing: A Practical Guide for Testers and Agile Teams. — М.: «Вильямс», 2010. — 464 с. — (Addison-Wesley Signature Series). — 1000 экз. — ISBN 978-5-8459-1625-9
   
6. 
   Кент Бек. Экстремальное программирование: разработка через тестирование. — «Питер», 2003. ISBN 5-8046-0051-6, ISBN 0-321-14653-0
   
7. 
   Александров А.Д., Вернер А. Л., Рыжик В. И., Ходот Т.Г. Геометрия. 7-9 класс: учебник для общеобразовательных школ. – СПб: Просвещение. – 2003 – 272 с.
   
8. 
   DomainSpecificLanguage в своем приложении - это просто – http://igor.quatrocode.com/2008/10/domain-specific-language.html
   

Список литературы