The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
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...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.