Программа для написания программ

[Аватар]

Формализуйте правила, которые вы используете для анализа таблицы и создания исходника на основании их. Придумайте способ как их записать в виде некоторых данных, например, в табличном виде. Далее используя входящую табличку и ваш свод правил генерите нужный код. Пока формального свода правил не будет - ничего не будет. И ни какой ИИ не поможет

[fanlis]

программа пишется на языке, основанном на pascal'e, в общем-то там все то же самое, только без всяких заморочек и мудростей. Потом программа пропускается через специальный компилятор и делается код, а вот для чего, я не знаю. Учитывая, что фирма связана с разработкой микроэлектроники, возможно этот код зашивается в какую-нибудь ПЗУ. В любом случае при чем тут назначение? Мне предоставили dll, таблицы и набор правил, этого достаточно для написания программы.

[doktor255]

Вот и предоставил бы dll, таблицы, и набор правил в начале темы. Не пришлось бы три дня обсуждать сферическую задачу.

[fanlis]

Сообщение от Аватар

Формализуйте правила, которые вы используете для анализа таблицы и создания исходника на основании их. Придумайте способ как их записать в виде некоторых данных, например, в табличном виде. Далее используя входящую табличку и ваш свод правил генерите нужный код. Пока формального свода правил не будет - ничего не будет. И ни какой ИИ не поможет

Ну по всей видимости в формализации-то и проблема. Я писал в постах ранее, как я пытался это сделать. Но у меня получается, что я просто ищу какие-то частные случаи и их отлавливаю, но достаточно поменяться одному параметру и случай этот не будет найден. Причем все это не систематизировано. То что я делал мне напоминает поиск сигнатур в антивирусах, но у меня не получается применить материалы по этой теме к своему проекту.

[evg_m]

Моя задача состоит в том, чтобы, во-первых, запрограммировать тесты так, чтобы они тратили наименьшее кол-во времени, во-вторых, программа должна иметь минимальный размер. Собственно я нахожу наиболее оптимальное соотношение между временем и размером.

переводим таблицу состояний в таблицу изменений.
0 параметр не изменился +/-n изменение параметра указанную величину.

 0  0  0 0 0 -исходное состояние 
 0 +2 +4 0 0 -новое состояние (надо изменить второй 2=(0+2, третий 4(0+4)
+2 -1 -2 0 0 (первый 2 второй 1(=+2-1) третий 2=(+4-2)

теперь мы честно делаем циклы для установки и ... меняем только там где нужно. (время выиграно!!). причем без всякой модификации программы.
(только за счет других исходных данных!).
Если позволяется менять порядок циклов, то и еще можно выиграть.
Но определение оптимального порядка для общего случая не такая простая задача.

переводим таблицу состояний в таблицу изменений.

это как раз то самое что делаешь ты

я просто ищу какие-то частные случаи и их отлавливаю,

ищем частный случай (изменили/не изменяли) и на сколько изменили.
и формализация этих изменений.
вместо кодирования величин, мы кодируем их изменения.
у такой таблицы есть плюсы (можем управлять временем работы), но есть и минусы (чувствительна к сбоям, накапливание ошибок).

примерный код работы с таблицей изменений

/// один раз выставляем ВСЕ параметры (начальное состояние)
for i:=1 to N do begin
  p[i]:=0;
  Set(i, p[i]); //установка в соответствии  c p[i]
end;

for k:=1 to M do begin
  ReadTest(v); //читаем строку изменений
  for i:=1 to N do begin
    if v[i]<>0 then begin анализируем необходимость изменений
      p[i]:=p[i]+v[i];
      Set(i, p[i]); устанавливаем если требуется
    end;
  end; 
  RunTest; выполняем тест
end;

вместо таблицы изменений, можно просто хранить текущее(точнее предыдущее) состояние и анализ проводить сравнением с ним!

[Smitt&Wesson]

fanlis, вот теперь, более-менее понятна задачка, которую вы хотите решить.
Вам нужна экспертная система примерно такая, как в книге Б. Сойер, Д.Л. Фостер "Программирование эспертных систем на Паскале".
Решение будет примерно таким. Для определённого состояния сигнатуры таблицы (типового состояния), пишется код (один раз ручной работы) и включается в правила эксперта в виде процедуры.
Прогоняем новую таблицу, если тест прошёл, на выходе появляется набор использованных процедур. Вставляем эти роцедуры в заранее подготовленную заготовку и вот он, счастье.
Если тест не прошёл, выводится сообщение, что не получилось. Дописываем процедуру и включаем её в свод правил.
Вот, примерно так.

[fanlis]

evg_m, интересный подход! Посмотрю, можно ли его применить.

Smitt&Wesson, спасибо за книгу, посмотрю что можно из нее извлечь.