scholarly journals Use of TTCN-3 for Software Module Testing

Author(s):  
Andreas Johan Nyberg
Keyword(s):  
2017 ◽  
Vol 27 ◽  
pp. 5-21 ◽  
Author(s):  
Michael Pertsinakis

Research on visual feedback has not produced consistent results to show how visual feedback or the lack, thereof, influences individual handwriting characteristics. A two-pronged approach was designed to investigate the degree of this influence. For this purpose, samples of signatures as well as cursive and block text, written with and without visual feedback, were collected from 40 volunteers and imported into a PC via a pen tablet, using an electronic inking pen. The data was analyzed in a handwriting movement analysis software module specially designed for this research that was added to the software MovAlyzeR by Neuroscript LLC. Two forensic document examiners (FDEs) independently analyzed samples from the two groups (samples executed with normal visual feedback versus the group of samples executed without visual feedback). They found no fundamental differences between these two groups. Their analyses also demonstrated that a large number of similarities existed in the general design of the allographs (alternative forms of a letter or other grapheme) and in the pictorial aspects, regardless of the complexity of the samples. In the cursive and block handwriting, four main qualitative characteristics were linked to the absence of visual feedback: change of overall size, non-uniformity of left margins, change of baseline alignment, and inclusion of extra trajectories. The statistical analysis verified the above findings. The comparative analysis also suggests that gender, educational level (above high school) and handedness create an insignificant influence on the individual characteristics of writing produced with and without visual feedback. The only notable exception is the relationship between signature duration and educational level. The volunteers with a medium education level showed a significant increase in duration while signing their names without visual feedback in comparison to those with higher education levels. The combination of the above findings suggests that handwriting is not fundamentally influenced by visual feedback.  Purchase Article - $10


2018 ◽  
Vol 1 (1) ◽  
pp. 87-112 ◽  
Author(s):  
Kamal Z. Zamli ◽  
◽  
Abdulrahman Alsewari ◽  
Bestoun S. Ahmed ◽  
◽  
...  

2020 ◽  
Vol 96 (3s) ◽  
pp. 721-725
Author(s):  
Ф.С. Золотухин ◽  
А.С. Надин ◽  
И.Е. Трифанихина

Разработан прототип программного модуля генератора квалификационных ячеек для автоматизированного контроля геометрических правил проектирования DRC. Проведено тестирование прототипа генератора в реальных рабочих условиях проектирования. The paper presents a prototype of software module of the QA-cells Generator for automated Design Rule Checking. The QA-Cells Generator has been tested in the real workplace within actual microelectronic industrial design.


2021 ◽  
Vol 13 (12) ◽  
pp. 6971
Author(s):  
Mikhail Zarubin ◽  
Larissa Statsenko ◽  
Pavel Spiridonov ◽  
Venera Zarubina ◽  
Noune Melkoumian ◽  
...  

This research article presents a software module for the environmental impact assessment (EIA) of open pit mines. The EIA software module has been developed based on the comprehensive examination of both country-specific (namely, Kazakhstan) and current international regulatory frameworks, legislation and EIA methodologies. EIA frameworks and methods have been critically evaluated, and mathematical models have been developed and implemented in the GIS software module ‘3D Quarry’. The proposed methodology and software module allows for optimised EIA calculations of open pit mines, aiming to minimise the negative impacts on the environment. The study presents an original methodology laid out as a basis for a software module for environmental impact assessment on atmosphere, water basins, soil and subsoil, tailored to the context of mining operations in Kazakhstan. The proposed software module offers an alternative to commercial off-the-shelf software packages currently used in the mining industry and is suitable for small mining operators in post-Soviet countries. It is anticipated that applications of the proposed software module will enable the transition to sustainable development in the Kazakh mining industry.


Author(s):  
TETSUO ICHIMORI

This paper treats an allocation problem of discrete testing resources in module testing where software modules are tested independently. The total amount of discrete testing resources is given beforehand. When an allocation is determined in module testing, each software module defines the share per size. Since discrete resources do not allow each software module to get an equal share per size, there exists a dispersion. The aim of this paper is to find an allocation minimizing the variance of this dispersion.


2021 ◽  
Vol 23 (1) ◽  
pp. 79-88
Author(s):  
Yuriy Loginov ◽  
◽  
Yuliya Zamaraeva ◽  
◽  
◽  
...  

Introduction. For pressure treatment of low-plastic metals, it is necessary to develop special techniques for increasing plasticity. In the cold state, an increase in plastic properties is possible due to an increase in the level of compressive stresses during deformation. In the processes of forging precipitation, this is achieved by using shells or clips of various types. At the same time, the configuration of the precipitation tool also matters. To create additional compressive stresses and increase the ductility of the metal, the working surface of the tool can be configured differently than with a normal free draft, where it is obviously larger than the contact surface area of the workpiece, so that metal broadening can occur. The stress state has a great influence on the plasticity of the processed material. This state is described by methods of tensor representation, but to assess the situation, it is customary to use invariants of tensors in one form or another, which eliminates the influence of coordinates on the results of the analysis. In the sections of deformable body mechanics dealing with the influence of the stress state on plasticity, the first, but sometimes other invariants of the stress tensor are used, the invariants themselves are transformed into the stress state indicator and the lode coefficient. The aim of the work: mathematical evaluation of invariant parameters of the stress state of the magnesium precipitation process at room temperature, according to the results of which it is possible to obtain a positive result in real experiments. Research methods: finite element simulation using the DEFORM software module. Results and discussion. The theoretical justification of increasing the plasticity of the magnesium billet in the process of precipitation in the cage without its compression is carried out. An increase in the stress state index modulo 2...5 times is revealed, which contributes to an increase in the plasticity of the metal. At the same time, a zone with a lode coefficient close to zero is identified. It is adjacent to the middle of the height of the workpiece at the point of contact with the cage and can be a dangerous cross-section from the position of crack formation.


2019 ◽  
Vol 24 (3-4) ◽  
pp. 73-81
Author(s):  
Berezsky O.M. ◽  
◽  
Pitsun O.Y. ◽  
Dolynyuk T.M. ◽  
Batko Y.M. ◽  
...  

Modern approaches to finding image elements are analyzed. An algorithm for searching micro-objects in histological and cytological images using a database is developed. A tiered-parallel form of parallelization of the process of micro-object pattern search is designed. Micro-object pattern search software is implemented. The obtained result show that the operating time of the software module with parallelization speeds up the processing on average by 20% for cytological images


Kerntechnik ◽  
2021 ◽  
Vol 86 (5) ◽  
pp. 343-352
Author(s):  
J. Cui ◽  
Y. Cai ◽  
Y. Wu

Abstract Software criticality analysis examines the degree of contribution that each individual failure mode of a software component has on the reliability of software. Higher safety integrity levels are assigned to software modules whose failures cause an unacceptable impact on the operation of the system, and these levels require the implementation of more rigorous software quality assurance measures as defined in IEEE Std 1012 and in the customer’s system requirements specification. In this paper, a novel software criticality analysis method is proposed, the results of which can be used to guide the development of newly developed software and the procurement of Commercial-Off-The-Shelf (COTS) software. The software structure is first analyzed and the software is divided into modules according to their functions. Then the criticality levels of software components are preliminarily classified by means of a safety criticality preliminary analysis tree, followed by their verification through the software hazard and operability analysis (HAZOP). Finally, the target Safety Integrity Level (SIL) of each software module is determined based on its criticality level and the overall safety objective (i. e., SIL) of the system it resides in. As an example, this proposed method is applied to a nuclear power plant safety-critical system to demonstrate the detail application process and to verify the feasibility of the method. Compared with the existing software criticality analysis methods, this method has better operability and verifiability, and can be utilized as a technical guidance for the software criticality analysis of nuclear power plant digital control systems.


2013 ◽  
Vol 333-335 ◽  
pp. 167-171
Author(s):  
Peng Qing Wang ◽  
Hong Jun Wang ◽  
He Peng Gao

In order to measure the rotating machinery fault quickly and conveniently at a construction site, a new measuring system of rotating accuracy of spindle was developed according to three point method. With summarizing the principle of error separation technique based on three point method, the function, hardware construction and software module of this module were introduced. The problem of harmonic suppression is relieved by changing the sensor arrangement. The measuring system mainly consists of three eddy current sensors ,a acquisition card and a personal computer. After a few parameters were inputted, the rotation accuracy of calculation and display could be carried out automatically on line at a construction site.


Sign in / Sign up

Export Citation Format

Share Document