Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "walidacja oprogramowania" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Walidacja oprogramowania współrzędnościowych maszyn pomiarowych
Validation of the CMM software
Autorzy:
Nieciąg, H.
Tabisz, R. A.
Powiązania:
https://bibliotekanauki.pl/articles/155798.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
walidacja
systemy pomiarowe
współrzędnościowe maszyny pomiarowe
walidacja oprogramowania
validation
measurement systems
CMMs
software validation
Opis:
Zaproponowano ogólną metodologię walidacji oprogramowania systemów pomiarowych. Przedstawiono możliwość zastosowania tej metodologii do walidacji oprogramowania współrzędnościowych maszyn pomiarowych (WMP). Maszyny te stanowią bardzo ważne wyposażenie pomiarowe w przemyśle, stosującym zaawansowane technologie. Aktualnie brakuje ujednoliconych procedur walidacji oprogramowania tego rodzaju systemów. Publikacja jest wynikiem pierwszego wspólnego podejścia autorów do ujednolicenia działań dotyczących walidacji oprogramowania WMP. Głównymi etapami proponowanej metodologii są: dekompozycja oprogramowania na części, moduły i komponenty, określenie fazy realizacji komponentu, ustalenie kategorii ryzyka, wyspecyfikowanie wymagań, opracowanie procedury walidacji odpowiedniej dla ocenianego komponentu, przeprowadzenie walidacji i wygenerowanie jej certyfikatu.
A general validation methodology for measurement system software is proposed. The possibility of applying this methodology to validation of the software of coordinate measuring machines (CMM) is presented. These machines are important measurement equipment of industrial plants using advanced technologies. Up to now there have not been developed unified and standardized procedures for software validation of such systems. The publication is the result of the authors' joined approach to developing the unified validation methodology of the CMMs software. The main stages of the proposed methodology are: decomposition of the software into parts, modules and components, specifying the requirements, development of the validation procedure appropriate to the assessed component. Since the requirements can be different for each type of the software component subjected to validation, the software examination should be carried in accordance to them. The necessary stage is preparation and generation of the validation certificate.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 12, 12; 1611-1616
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nowoczesne technologie projektowania systemów automatyki
Modern Technologies of Designing Automation Systems
Autorzy:
Pauluk, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/2068660.pdf
Data publikacji:
2020
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
systemy wbudowane
jakość oprogramowania
kryzys oprogramowania
cykl życia oprogramowania
Model V
weryfikacja
walidacja
techniki testowania MIL
techniki testowania SIL
techniki testowania PIL
techniki testowania HIL
embedded systems
quality of software
software crisis
software life cycle
V-Model
verification
validation
MIL model-in-the-loop testing
SIL model-in-the-loop testing
PIL model-in-the-loop testing
HIL model-in-the-loop testing
Opis:
W pracy omówiono stosowane obecnie techniki wytwarzania systemów automatycznej regulacji. Rozpoczęto od przybliżenia stosowanych w inżynierii oprogramowania pojęć: kryzys oprogramowania, katastrofa oprogramowania oraz cykl życia oprogramowania. To ostatnie zostało w kolejnych rozdziałach poszerzone o najbardziej popularne modele wytwarzania oprogramowania. Następnie przybliżono na bazie modelu V rolę weryfikacji i walidacji w cyklu życia oprogramowania i sterownika oraz przedstawiono techniki testowe stosowane w walidacji sterownika. Są to testy typu: oprogramowanie w pętli, procesor w pętli oraz sterownik w pętli. Ostatni rozdział opisuje technikę projektowania systemów automatyki w oparciu o zaawansowane modele matematyczne Model Based Design.
The paper presents the currently used techniques for the development of the automation control systems. It begins with the introduction of the concepts used in software engineering: software crisis, software disaster, and software life cycle. The subsequent chapters extend the latter by including the most popular software development models. Then, based on the V model, the role of verification and validation in the software and controller life cycle is presented, and the test techniques used in the controller validation are given. These test types include: software in the loop, processor in the loop, and controller in the loop. The last chapter describes the technique of designing automation systems based on the advanced mathematical models Model-Based Design.
Źródło:
Pomiary Automatyka Robotyka; 2020, 24, 4; 85--91
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies