Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
By comparing the test verification method, the testability virtual verification technique based on Modelica is proposed. This paper designs the model architecture of testability virtual verification, completes implementations of the testability virtual verification and develops a software about testability virtual verification based on OpenModelica. And through a system instance, practicality and...
At present, With the wide application of Linux system, the security performance of Linux system is meeting more and more challenges. This paper analyzes the the security flaw of traditional Linux security mechanism in which the presence of superuser root violates the principle of least privilege in security system design, which brings various kinds of privilege elevation attacks. The current fine-grained...
This paper presents the design and analysis of a high-speed XYZ nanopositioning stage. The developed stage is composed of a parallel-kinematic XY stage and a Z stage which is nested within the end-effector of the XY stage. To achieve high resonance frequencies, four special flexure modules with large stiffness are employed for the XY stage. These modules are arranged symmetrically to reduce cross-coupling...
Since testability physical verification has many shortcomings, such as high risk, difficulty in fault injection, long verification period, high verification cost and so on. Testability nonphysical verification acquires more and more attentions. While most of the traditional testability evaluation models can only describe the relationship of signals, faults and tests qualitatively, they have little...
Testability allocation is an important process in design for testability, which allocates system-hierarchy testability index hierarchy by hierarchy down to every part of the system. Aiming at the shortage of the existing testability allocation methods, an unconventional allocation method based on Analytic Hierarchy Process (AHP) and comprehensive weighted method is proposed in this paper. On the basis...
In order to better understand system, modeling is necessary. In software development process, the UML is usually used as a standard method to model related products. This paper introduces the UML and its modeling process, and then uses object-oriented technology to model the information platform for basic education.
this paper put forward a way of improving the software quality by setting up a software failure models library. It manges the failure models efficiently which is extracted from software system. This method is also convenient for the users to retrieve and help the software developers avoiding the potential design defects and errors on conscious. With the B/S construct, we realize the internet share...
This paper presents the target-based software process evaluation model (TSPEM) with the decomposition and analysis of the organization goals and application of typical technology of statistical process control (SPC). This paper also achieves assessment of each subprocess by analyzing the mapping relationship among organization goals, metric indicators and subprocesses. At the end of this paper, an...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.