Tool sprawdzający co robi kod.

Tool sprawdzający co robi kod.
0

Cześć,
Szukam jakiegoś tool'a który sprawdzi czy dwa kawałki kodu żródłowego w języku C wykonują to samo. Czy istnieje coś takiego?
Przykładowo te dwie funkcje wykonują to samo zadanie, mimo tego że są napisane inaczej.

Kopiuj
void fun1(uint8_t a)
{
    if(a == 0)
    {
        doSth1();
    }
    else if(a == 1)
    {
        doSth2();
    }
    else
    {
        doSth3();
    }
}

void fun2(uint8_t a)
{
    switch(a)
    {
        case 0:
            doSth1();
        break;
        
        case 1:
            doSth2();
        break;
        
        default:
            doSth3();
        break;
    }
}
SA
  • Rejestracja:około 12 lat
  • Ostatnio:około 5 godzin
  • Postów:1427
1

Nie sądzę, żeby istniało coś takiego.

  1. Nawet zakładając, że te funkcje są pure udowodnienie ich równoważności to zadanie stricte matematyczne
  2. Nadal zakładając, że są pure de facto można być sprawdzić efekty działania dla każdej wartości wejściowej (szczególnie że to 1 bajtowy int)
  3. Niestety, te funkcje mogą robić magiczne rzeczy w środku, w zasadzie żeby wiedzieć czy robią to samo trzeba by porównywać stany pamięci przed i po wykonaniu (bo programy to funkcje z pamięci w pamięć). W ogólnym przypadku łatwiej wydedukować czy robią to samo je czytając.

Edit:
Ten przykład w poście jest zbyt trywialny, żeby stanowił przykład dla tego problemu

edytowany 1x, ostatnio: Saalin
mr_jaro
  • Rejestracja:ponad 13 lat
  • Ostatnio:około 3 lata
  • Lokalizacja:Grudziądz/Bydgoszcz
  • Postów:5300
2

To mi troche przypomina pytanie o testy :D Tzn zazwyczaj piszesz kod i testy, potem ten kod refaktoryzujesz a testy powinny wykazać czy nowy kod robi to samo co stary no ale w tym przypadku wiesz co ma robić a czegoś takiego jak nie wiem co robi ale porównajmy wyniki to to raczej nie ma i nie tędy droga. Powiedz raczej do czego ci to potrzebne.


It's All About the Game.
0

Właśnie robię refraktoryzację dość dużego modułu. Testy nie zostały jeszcze napisane. Kod jest niskopoziomowy i obecnie nie mam dostępu do HW aby to sprawdzić w rzeczywistości, dlatego pomyślałem o jakimś narzędziu sprawdzającym.

Michał Sikora
Michał Sikora
  • Rejestracja:około 7 lat
  • Ostatnio:prawie 4 lata
  • Lokalizacja:Kraków
  • Postów:834
1
Saalin napisał(a):
  1. Nawet zakładając, że te funkcje są pure udowodnienie ich równoważności to zadanie stricte matematyczne

Jest gorzej. To zadanie już zostało rozwiązane.

SA
Chodziło mi o udowadnianie równoważności dwóch konkretnych funkcji, a nie w ogólnym przypadku.
Azarien
  • Rejestracja:ponad 21 lat
  • Ostatnio:2 minuty
3

Załóżmy, że jeden program wpada w nieskończoną pętlę i nigdy się nie kończy.
Sprawdzenie czy drugi „robi to samo” sprowadza się więc do próby udowodnienia, że ten drugi też się nigdy nie kończy.

https://pl.wikipedia.org/wiki/Problem_stopu

Przykro mi.

Silv
W punkt! Podoba mi się ten argument.
kq
Moderator C/C++
  • Rejestracja:ponad 11 lat
  • Ostatnio:około 19 godzin
  • Lokalizacja:Szczecin
0

Możesz sprawdzić, czy kompilatory generują dla nich identyczny kod w assembly (np. na godbolt.org). Przy czym jedyne, co tak udowodnisz, to że funkcje mają jednakowe działanie. Różny kod wynikowy nic nie mówi.


ClassicProgrammer
  • Rejestracja:prawie 9 lat
  • Ostatnio:około 18 godzin
  • Lokalizacja:Polska, Poznań
  • Postów:92
0

W C może być problem, wiem że w przypadku języków generujących kod pośredni są narzędzia do automatycznego wygenerowania testów Java -> Randoop, C# -> IntelliTest. Bawiłem się kiedyś tym jednak są one kiepskie w przypadku dużych modułów, w skrócie do niczego większego niż prosty kalkulator nie udało mi się wygenerować :D :D :D wymagało to ręcznego podefiniowania mock'ów niektórych klas co już jest słabe i w sumie nic nie automatyzuje albo po prostu rzucało że nie umie wygenerować kodu uruchamijącego jakiś inny bo nie.
Poza tym dało się tak napisać metode/funkcje nawet prostą żeby testy jednak w 100% nie testowały jej (wykorzystują Dynamic Symbolic Execution) więc przy generowaniu testu było pilnowane żeby osiągnąć wszystkie ścieżki w kodzie więc jak był gdzieś powiedzmy if(x == 0 || x == 1) to jak wygenerowało test pokrywający ścieżke z parameter x = 0 to już nie generowało dla x = 1 nawet nie szukało że można tylko odhaczało ścieżke w kodzie jak przetestowaną.
Wiem że to nie dokładnie to co szukasz ale problem podobny, który nie ma dobrego rozwiązania na ten moment więc myślę ze nie ma takiego narzędzia którego szukasz (chcę się mylić i chętnie o jakimś przeczytam jeśli znacie). Powodzenia ;)

vpiotr
  • Rejestracja:ponad 13 lat
  • Ostatnio:prawie 3 lata
1

Można spróbować użyć testów mutacyjnych do tego. Ale nie używałem, więc to tylko luźny pomysł.
https://github.com/mull-project/mull
https://github.com/nlohmann/mutate_cpp

ClassicProgrammer
Ale testy mutacyjne nie służą przypadkiem(mogę się mylić, też nigdy nie korzystałem) do testowania innych testów jednotkowych/integracyjne? więc chyba tu nie pomogą bo ich nie mamy.
Kliknij, aby dodać treść...

Pomoc 1.18.8

Typografia

Edytor obsługuje składnie Markdown, w której pojedynczy akcent *kursywa* oraz _kursywa_ to pochylenie. Z kolei podwójny akcent **pogrubienie** oraz __pogrubienie__ to pogrubienie. Dodanie znaczników ~~strike~~ to przekreślenie.

Możesz dodać formatowanie komendami , , oraz .

Ponieważ dekoracja podkreślenia jest przeznaczona na linki, markdown nie zawiera specjalnej składni dla podkreślenia. Dlatego by dodać podkreślenie, użyj <u>underline</u>.

Komendy formatujące reagują na skróty klawiszowe: Ctrl+B, Ctrl+I, Ctrl+U oraz Ctrl+S.

Linki

By dodać link w edytorze użyj komendy lub użyj składni [title](link). URL umieszczony w linku lub nawet URL umieszczony bezpośrednio w tekście będzie aktywny i klikalny.

Jeżeli chcesz, możesz samodzielnie dodać link: <a href="link">title</a>.

Wewnętrzne odnośniki

Możesz umieścić odnośnik do wewnętrznej podstrony, używając następującej składni: [[Delphi/Kompendium]] lub [[Delphi/Kompendium|kliknij, aby przejść do kompendium]]. Odnośniki mogą prowadzić do Forum 4programmers.net lub np. do Kompendium.

Wspomnienia użytkowników

By wspomnieć użytkownika forum, wpisz w formularzu znak @. Zobaczysz okienko samouzupełniające nazwy użytkowników. Samouzupełnienie dobierze odpowiedni format wspomnienia, zależnie od tego czy w nazwie użytkownika znajduje się spacja.

Znaczniki HTML

Dozwolone jest używanie niektórych znaczników HTML: <a>, <b>, <i>, <kbd>, <del>, <strong>, <dfn>, <pre>, <blockquote>, <hr/>, <sub>, <sup> oraz <img/>.

Skróty klawiszowe

Dodaj kombinację klawiszy komendą notacji klawiszy lub skrótem klawiszowym Alt+K.

Reprezentuj kombinacje klawiszowe używając taga <kbd>. Oddziel od siebie klawisze znakiem plus, np <kbd>Alt+Tab</kbd>.

Indeks górny oraz dolny

Przykład: wpisując H<sub>2</sub>O i m<sup>2</sup> otrzymasz: H2O i m2.

Składnia Tex

By precyzyjnie wyrazić działanie matematyczne, użyj składni Tex.

<tex>arcctg(x) = argtan(\frac{1}{x}) = arcsin(\frac{1}{\sqrt{1+x^2}})</tex>

Kod źródłowy

Krótkie fragmenty kodu

Wszelkie jednolinijkowe instrukcje języka programowania powinny być zawarte pomiędzy obróconymi apostrofami: `kod instrukcji` lub ``console.log(`string`);``.

Kod wielolinijkowy

Dodaj fragment kodu komendą . Fragmenty kodu zajmujące całą lub więcej linijek powinny być umieszczone w wielolinijkowym fragmencie kodu. Znaczniki ``` lub ~~~ umożliwiają kolorowanie różnych języków programowania. Możemy nadać nazwę języka programowania używając auto-uzupełnienia, kod został pokolorowany używając konkretnych ustawień kolorowania składni:

```javascript
document.write('Hello World');
```

Możesz zaznaczyć również już wklejony kod w edytorze, i użyć komendy  by zamienić go w kod. Użyj kombinacji Ctrl+`, by dodać fragment kodu bez oznaczników języka.

Tabelki

Dodaj przykładową tabelkę używając komendy . Przykładowa tabelka składa się z dwóch kolumn, nagłówka i jednego wiersza.

Wygeneruj tabelkę na podstawie szablonu. Oddziel komórki separatorem ; lub |, a następnie zaznacz szablonu.

nazwisko;dziedzina;odkrycie
Pitagoras;mathematics;Pythagorean Theorem
Albert Einstein;physics;General Relativity
Marie Curie, Pierre Curie;chemistry;Radium, Polonium

Użyj komendy by zamienić zaznaczony szablon na tabelkę Markdown.

Lista uporządkowana i nieuporządkowana

Możliwe jest tworzenie listy numerowanych oraz wypunktowanych. Wystarczy, że pierwszym znakiem linii będzie * lub - dla listy nieuporządkowanej oraz 1. dla listy uporządkowanej.

Użyj komendy by dodać listę uporządkowaną.

1. Lista numerowana
2. Lista numerowana

Użyj komendy by dodać listę nieuporządkowaną.

* Lista wypunktowana
* Lista wypunktowana
** Lista wypunktowana (drugi poziom)

Składnia Markdown

Edytor obsługuje składnię Markdown, która składa się ze znaków specjalnych. Dostępne komendy, jak formatowanie , dodanie tabelki lub fragmentu kodu są w pewnym sensie świadome otaczającej jej składni, i postarają się unikać uszkodzenia jej.

Dla przykładu, używając tylko dostępnych komend, nie możemy dodać formatowania pogrubienia do kodu wielolinijkowego, albo dodać listy do tabelki - mogłoby to doprowadzić do uszkodzenia składni.

W pewnych odosobnionych przypadkach brak nowej linii przed elementami markdown również mógłby uszkodzić składnie, dlatego edytor dodaje brakujące nowe linie. Dla przykładu, dodanie formatowania pochylenia zaraz po tabelce, mogłoby zostać błędne zinterpretowane, więc edytor doda oddzielającą nową linię pomiędzy tabelką, a pochyleniem.

Skróty klawiszowe

Skróty formatujące, kiedy w edytorze znajduje się pojedynczy kursor, wstawiają sformatowany tekst przykładowy. Jeśli w edytorze znajduje się zaznaczenie (słowo, linijka, paragraf), wtedy zaznaczenie zostaje sformatowane.

  • Ctrl+B - dodaj pogrubienie lub pogrub zaznaczenie
  • Ctrl+I - dodaj pochylenie lub pochyl zaznaczenie
  • Ctrl+U - dodaj podkreślenie lub podkreśl zaznaczenie
  • Ctrl+S - dodaj przekreślenie lub przekreśl zaznaczenie

Notacja Klawiszy

  • Alt+K - dodaj notację klawiszy

Fragment kodu bez oznacznika

  • Alt+C - dodaj pusty fragment kodu

Skróty operujące na kodzie i linijkach:

  • Alt+L - zaznaczenie całej linii
  • Alt+, Alt+ - przeniesienie linijki w której znajduje się kursor w górę/dół.
  • Tab/⌘+] - dodaj wcięcie (wcięcie w prawo)
  • Shit+Tab/⌘+[ - usunięcie wcięcia (wycięcie w lewo)

Dodawanie postów:

  • Ctrl+Enter - dodaj post
  • ⌘+Enter - dodaj post (MacOS)