Расширение платформы тестирования домашних заданий для включения анализа кода (C / C ++) - PullRequest
Новая
       41

Расширение платформы тестирования домашних заданий для включения анализа кода (C / C ++)

7 голосов
/ 14 сентября 2010

Я поддерживаю / разрабатываю платформу для тестирования домашних заданий. Это в основном автоматическое. Теперь мне нужно добавить анализ кода. Мне нужно проверить код для конкретных конструкций.

Например:

Содержит ли файл main.cpp класс с именем user с методом const get_name()

Есть ли какой-нибудь инструмент, который позволил бы мне делать такие вещи (в идеале это было бы то, что можно было бы написать по сценарию). Только для Linux.

Ответы [ 5 ]

3 голосов
/ 14 сентября 2010

Одной из возможностей может быть запуск кода через GCC и использование расширения GCC-XML для создания XML-описаний внутренней структуры программы. Затем вы можете использовать вашу любимую XML-библиотеку для анализа документа или применить к нему XSLT, если все, что вам нужно сделать, это отобразить его как HTML или как угодно.

1 голос
/ 14 сентября 2010

Как это относится к C? :)

Содержит ли файл main.cpp класс с именем user и методом const get_name ()?

Создайте другой файл (test.cpp) с помощью 

void test(void) {
  const user x;
  x.get_name();
}

скомпилируйте test.cpp и main.cpp вместе. Если есть ошибка (код выхода! = 0), то NO! , файл main.cpp не определяет (общедоступный) класс с именем user с указанным методом.

Предостережение: я не знаю C++, поэтому извините за любые серьезные (или незначительные) ошибки в приведенном выше.

Редактировать Сценарий добавлен 

#! /bin/sh

cat main.c test.c > 3710532.c
if gcc 3710532.c > /dev/null 2>&1
then echo OK
else echo BZZZT
fi
rm 3710532.c

У меня нет готового к использованию компилятора C++, установленного на этом компьютере, на котором я работаю, поэтому мой тест проводился с C компилятором и C файлами. Мой компилятор не «работал» с gcc -combine main.c test.c, поэтому я настроил эту часть.

При запуске этого сценария с рабочей комбинацией main.c и test.c выводится «ОК», в противном случае выводится «BZZZT».

Для тестов я использовал это main.c

typedef int user;

int get_name(void) {
  return 0;
}

int main(void) {
  return 0;
}

и это test.c

void test(void) {
  const user x;
  get_name();
}

Пример прогона 

$ ./3710532.sh
OK
1 голос
/ 14 сентября 2010

Вы могли бы, вероятно, взломать что-то, что использовало GCC-XML framework без особых проблем.

0 голосов
/ 15 сентября 2010

Я обнаружил обезвоживающее средство от Mozilla. Похоже, что он в основном написан для внутренних целей, но, возможно, это именно то, что я искал.

https://developer.mozilla.org/En/Dehydra/Using_Dehydra

Редактировать: Дегидра великолепна. В нем отсутствуют некоторые незначительные особенности, такие как определение константных методов, но в остальном это здорово.

0 голосов
/ 15 сентября 2010

Если вы хотите выполнить произвольный анализ кода, вам нужен произвольный анализ / сопоставление / и т.д. GCC-XML предоставит вам информацию декларации, но не содержание методов.

Наш инструментарий реинжиниринга программного обеспечения DMS будет предоставлять ту же абстрактную информацию, что и GCC-XML, но дополнительно включить полную информацию о содержании определений (например, тело метода информация), поддерживается его C ++ Front End . Это позволит вам получить доступ к материалам delcarations и для проверки программ ваших студентов.

DMS обеспечивает синтаксический анализ общего назначения для AST, таблиц символов и сопоставления исходного кода. Внешний интерфейс C ++ обеспечивает полный синтаксический анализ C ++, сборку CST A ++ и соответствующую символьную информацию. То, что вы делаете после этого для распознавания, зависит от вас, но ваш пример, похоже, касается поиска определенного паттерна.

Половина вашего примера будет обработана несколькими шаблонами исходного кода DMS для C ++: 

pattern is_correct_student_class(m:members):class =
  " class user { \m } ".

pattern is_correct_student_method_present(p:parameters,s:statements):method =
  " const  get_name(\p) { \s } "

(простите мой синтаксис C ++, я его мало пишу), который будет соответствовать любому AST, соответственно соответствующий именованный пользовательский класс и требуемый метод const. Кавычки являются мета-кавычками, а внутри содержится синтаксис C ++ с escape-символами. \ p, \ m и \ s представляют мета-переменные p, m и s, которые должны быть синтаксически список параметров, список методов и списки операторов соответственно, чтобы соответствовать шаблону. Определения списка параметров и т. Д. Выводятся автоматически из грамматической части C ++ внешнего интерфейса C ++.

Другая половина реализована с помощью небольшого кода DMS PARLANSE, выполняемого после вызов синтаксического анализатора C ++ и преобразователя имени / типа: 

   (define has_student_code (lamdba (function boolean [tree AST]))
      (AST:IsInTree tree
          (lambda (function boolean [tree1 AST]
              (&& (Registry:MatchPattern tree1 "is_correct_student_class")
                  (AST:IsInList (AST:GetNthGrammarChild tree1 4) ; the member list
                       (lambda (function boolean [tree2 AST]) 
                           (Registry:MatchPattern tree2 ; a member
                                 "is_correct_student_method_present")
                       )lambda
          )lambda
      )
   )define

с некоторыми свободами, взятыми для упрощения изложения.

Это довольно простая проверка; Вы можете получить доступ к таблице символов из кода PARLANSE, чтобы выполнить более сложную проверку, если это имеет смысл.

Хотя DMS не работает непосредственно под Linux, похоже, она работает под Wine.

...