Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: patches

Sortuj według:

Ogranicz wyniki do:

Mutants as Patches: Towards a formal approach to Mutation Testing

Lewowski Tomasz, Madeyski Lech

Foundations of Computing and Decision Sciences

2019

Vol. 44, No. 4

379--405

Background: Mutation testing is a widely explored technique used to evaluate the quality of software tests, but little attention has been given to its mathematical foundations. Aim: We provide a formal description of the core concepts in mutation testing, relations between them and conclusions that can be drawn from the presented model. Method: We introduce concepts of mutant space and patch space, and refer to patch merging procedure from the patch theory. We explicitly present constraints, such as location-dependence, that affect mutation operators. We also present a way to use introduced formalism with traditional operators proposed in other papers. Results: The proposed formalism allows to describe interactions between separate mutations using well-known abstract algebra notation. Conclusion: The presented formalism may substantially decrease the number of tested weak mutants and increase the number of valuable ones, while giving tools to partially address the problem of equivalent mutants, particularly for higher-order mutation testing. However, additional empirical evaluation is still needed.

Nieznana historia oznak Marynarki Wojennej

Ciechanowski G.

Zeszyty Naukowe / Akademia Morska w Szczecinie

2009

nr 19 (91)

24-34

W artykule przedstawiono proces opracowania i wdrożenia w okresie 1997-1999 oznak przeznaczonych dla załóg jednostek Marynarki Wojennej. Autor opisuje tradycje wojskowych odznak pamiątkowych w Wojsku Polskim, przyczyny odstąpienia od nich w okresie PRL, historię odrodzenia ich idei po 1989 r. wraz z pierwszymi próbami czynionymi na tym polu od początku lat osiemdziesiątych. Główną część materiału zajmuje opis procesu opracowania odznak i oznak dla załóg okrętów Marynarki Wojennej, realizacji pomysłu oraz rezultatów i emocji, jakie budziły wśród marynarzy. Oznaki, choć pierwotnie pomyślane jako pamiątkowe emblematy, zostały zaadoptowane przez marynarzy jako ich własne wyróżniki. Część z nich trafiła na mundury, stając się ich widocznym elementem.

The article describes the project creating Polish Navy patches in the period 1997-1999. They were designed and directed immediately to crews of vessels and shipborne forces consist of auxiliary vessels, cutters and motorboats, etc. Author starts with information about Polish military traditions concerning military badges and sources of the patches idea. The next part presents history of project realization and stress the effects. Part of the patches was adopted by crews and became official element of seaman.s uniform. The patches were in use only for two years and therefore it is rather unknown details of Polish Navy history.