Log in

Relevant bibliographies by topics / Correctness testing / Journal articles

To see the other types of publications on this topic, follow the link: Correctness testing.

Journal articles on the topic 'Correctness testing'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Correctness testing.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Howden, William E. "Program testing versus proofs of correctness." Software Testing, Verification and Reliability 1, no. 1 (1991): 5–15. http://dx.doi.org/10.1002/stvr.4370010103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Roca, Jose Luis. "Testing hypotheses on correctness software estimation." Microelectronics Reliability 28, no. 4 (1988): 511–12. http://dx.doi.org/10.1016/0026-2714(88)90132-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dyer, M., and A. Kouchakdjian. "Correctness verification: alternative to structural software testing." Information and Software Technology 32, no. 1 (1990): 53–59. http://dx.doi.org/10.1016/0950-5849(90)90046-t.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Rosenblum, D., and D. Luckham. "Testing the correctness of tasking supervisors with TSL specifications." ACM SIGSOFT Software Engineering Notes 14, no. 8 (1989): 187–96. http://dx.doi.org/10.1145/75309.75330.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Al-Khanjari, Zuhoor A. "Metadata Extraction in Database Testing." Information Management and Business Review 5, no. 3 (2013): 108–12. http://dx.doi.org/10.22610/imbr.v5i3.1033.

Full text

Abstract:

The need for an automated testing tool to test the correctness of the database applications is crucial in our current day since databases play an important role in almost all organizations. Also, databaseâ€™s behavior need to be verified in order to avoid costly errors and false information being extracted from them. The main aim of this paper was to create a component-based tester called DBSoft that tests the correctness of database application systems. The DBSoft toolkit consists of five tools as follows: information collection with the Parser tool, test case generation with the Input Genera

APA, Harvard, Vancouver, ISO, and other styles

6

Kumar, Tarun, Mayank Singh, and Arun Sharma. "Validate the Correctness of Object Oriented Program with Regression Testing." International Journal of Computer Applications 96, no. 14 (2014): 22–26. http://dx.doi.org/10.5120/16863-6751.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Meinke, Karl. "Automated black-box testing of functional correctness using function approximation." ACM SIGSOFT Software Engineering Notes 29, no. 4 (2004): 143–53. http://dx.doi.org/10.1145/1013886.1007532.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

SADI, MD SHAIK, FEI-CHING KUO, JOSHUA W. K. HO, MICHAEL A. CHARLESTON, and T. Y. CHEN. "VERIFICATION OF PHYLOGENETIC INFERENCE PROGRAMS USING METAMORPHIC TESTING." Journal of Bioinformatics and Computational Biology 09, no. 06 (2011): 729–47. http://dx.doi.org/10.1142/s021972001100563x.

Full text

Abstract:

Many phylogenetic inference programs are available to infer evolutionary relationships among taxa using aligned sequences of characters, typically DNA or amino acids. These programs are often used to infer the evolutionary history of species. However, in most cases it is impossible to systematically verify the correctness of the tree returned by these programs, as the correct evolutionary history is generally unknown and unknowable. In addition, it is nearly impossible to verify whether any non-trivial tree is correct in accordance to the specification of the often complicated search and scori

APA, Harvard, Vancouver, ISO, and other styles

9

Bi, Jing Cun, Yan Fei Liu, Wen Hui Dou, and Jian Feng Xu. "An Algorithm for Testing the Unreachable Instruction of an Assembly Program in Software Coverage Testing." Advanced Materials Research 1003 (July 2014): 245–48. http://dx.doi.org/10.4028/www.scientific.net/amr.1003.245.

Full text

Abstract:

Coverage testing is a basic method for dynamic software testing. Based on the basic block theory, an algorithm is proposed for calculating the branch routes of an embedded assembly program in software coverage testing. The correctness of the algorithm is verified on a sample assembly program and it’s time complexity is analyzed also.

APA, Harvard, Vancouver, ISO, and other styles

10

LOVÁSZ, LÁSZLÓ, and KATALIN VESZTERGOMBI. "Non-Deterministic Graph Property Testing." Combinatorics, Probability and Computing 22, no. 5 (2013): 749–62. http://dx.doi.org/10.1017/s0963548313000205.

Full text

Abstract:

A property of finite graphs is called non-deterministically testable if it has a ‘certificate’ such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that consist of one or more unary and/or binary relations on the nodes, in the case of dense graphs. Using the theory of graph limits, we prove that non-deterministically testable properties are also deterministically testable.

APA, Harvard, Vancouver, ISO, and other styles

11

Nemlaha, Eduard, Frantisek Miksa, and Matus Peci. "Minimization of EPS Polyfunctional Buildings Testing." Applied Mechanics and Materials 373-375 (August 2013): 801–5. http://dx.doi.org/10.4028/www.scientific.net/amm.373-375.801.

Full text

Abstract:

Testing and software EPS setting with the emphasis on the cooperation with other related devices represents a complex issue. Each of the EPS testing strives for maximum testing of the system proposed whilst the minimum number of essential tests is used and the maximum reliability and software correctness as well as the requirements of the Regulation No. 726/2002 are met.

APA, Harvard, Vancouver, ISO, and other styles

12

Adjir, Noureddine, Pierre de Saqui-Sannes, and Kamel Mustapha Rahmouni. "Conformance Testing of Preemptive Real-Time Systems." International Journal of Embedded and Real-Time Communication Systems 4, no. 4 (2013): 1–26. http://dx.doi.org/10.4018/ijertcs.2013100101.

Full text

Abstract:

The paper presents an approach for model-based black-box conformance testing of preemptive real-time systems using Labeled Prioritized Time Petri Nets with Stopwatches (LPrSwTPN). These models not only specify system/environment interactions and time constraints. They further enable modelling of suspend/resume operations in real-time systems. The test specification used to generate test primitives, to check the correctness of system responses and to draw test verdicts is an LPrSwTPN made up of two concurrent sub-nets that respectively specify the system under test and its environment. The algo

APA, Harvard, Vancouver, ISO, and other styles

13

Markoski, Branko, Petar Hotomski, Dusan Malbaski, and Danilo Obradovic. "Resolution methods in proving the program correctness." Yugoslav Journal of Operations Research 17, no. 2 (2007): 275–85. http://dx.doi.org/10.2298/yjor0702275m.

Full text

Abstract:

Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents derivation within a formal theory of special predicted calculus. A well-known variant of this conception is described: correctness based on programming logic rules. It is shown that programming logic rules may be used in automatic resolution procedure. Illustrative examples are given, realized in prolog-like LP-language (with no restrictions t

APA, Harvard, Vancouver, ISO, and other styles

14

Zhang, Xin Jie, and Zong Yu Chang. "Kinematics Analysis of Offshore Flexible Riser Fatigue Testing Machine." Applied Mechanics and Materials 633-634 (September 2014): 1281–84. http://dx.doi.org/10.4028/www.scientific.net/amm.633-634.1281.

Full text

Abstract:

Kinematics model is established for offshore flexible riser fatigue testing machine using vector analytical method, and motion simulation was carried out by ADAMS software. The motion curves of driven member were got，correctness of design results were proved through comparing with theoretical value.

APA, Harvard, Vancouver, ISO, and other styles

15

Wen, Cheng, and Chuan De Zhou. "Study on Noise Testing Based on Qin's Model." Applied Mechanics and Materials 333-335 (July 2013): 2428–32. http://dx.doi.org/10.4028/www.scientific.net/amm.333-335.2428.

Full text

Abstract:

On the basis of the introduction of new virtual instrument development model, Qin's model, this paper discusses the virtual instrument development theory and analyzes the characteristics of this development mode. Based on the discussion above, the noise analyzer with practical test function was developed and the correctness and feasibility of development mode of the virtual instrument were verified.

APA, Harvard, Vancouver, ISO, and other styles

16

Emery, X. "Testing the correctness of the sequential algorithm for simulating Gaussian random fields." Stochastic Environmental Research and Risk Assessment 18, no. 6 (2004): 401–13. http://dx.doi.org/10.1007/s00477-004-0211-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Klauenberg, Katy, and Clemens Elster. "Testing normality." tm - Technisches Messen 86, no. 12 (2019): 773–83. http://dx.doi.org/10.1515/teme-2019-0148.

Full text

Abstract:

AbstractIn metrology, the normal distribution is often taken for granted, e. g. when evaluating the result of a measurement and its uncertainty, or when establishing the equivalence of measurements in key or supplementary comparisons. The correctness of this inference and subsequent conclusions is dependent on the normality assumption, such that a validation of this assumption is essential. Hypothesis testing is the formal statistical framework to do so, and this introduction will describe how statistical tests detect violations of a distributional assumption.In the metrological context we wil

APA, Harvard, Vancouver, ISO, and other styles

18

Marcus, Leo. "The incorporation of testing into formal verification: Direct, modular, and hierarchical correctness degrees." Formal Methods in System Design 9, no. 3 (1996): 235–61. http://dx.doi.org/10.1007/bf00122083.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Garbacz, Piotr, and Piotr Czajka. "Application of Optical Inspection Method for Testing the Correctness of Ball Bearings Assembly." Solid State Phenomena 223 (November 2014): 264–71. http://dx.doi.org/10.4028/www.scientific.net/ssp.223.264.

Full text

Abstract:

The article presents the optical inspection method for the correct assembly of bearings with rolling elements in the form of balls. During the assembly process, faults can occur of incomplete fill of the rolling elements in a bearing cage or a lack of rivets for fixing both parts of the cage. These are critical defects, disqualifying the bearing from the operation. In order to detect these faults, the method of backlighting was used in the form of a modular LED panel illuminator located under the inspected bearing. The chosen method of lighting provides a high contrast and good sharpness with

APA, Harvard, Vancouver, ISO, and other styles

20

Лапко А, Н., А. Куцакин М, А. Дунаев В, and В. Чемодуров М. "METHODOLOGICAL TOOLS FOR THE AUTOMATED VERIFICATION OF SQL QUERIES CORRECTNESS." СИСТЕМЫ УПРАВЛЕНИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, no. 4(82) (December 1, 2020): 97–101. http://dx.doi.org/10.36622/vstu.2020.13.30.022.

Full text

Abstract:

Статья посвящена автоматизации проверки правильности составления SQL-запросов. Детально описана методика проверки SQL-запросов на основе запросов-образцов и наборов тестирующих инструкций. Приведена структурная схема автоматизированной системы и схема логической структуры базы заданий. The article is devoted to the automated verification of SQL queries correctness. The technique of verification of SQL queries based on sample queries and sets of testing instructions is described in detail. The automated system structural schema and the logical diagram of the task database are presented.

APA, Harvard, Vancouver, ISO, and other styles

21

Hussain, Shariq, Zhao Shun Wang, and Ibrahima Kalil Toure. "Survey of the Tools for Web Service Testing." Applied Mechanics and Materials 427-429 (September 2013): 2951–55. http://dx.doi.org/10.4028/www.scientific.net/amm.427-429.2951.

Full text

Abstract:

Web services technology is becoming increasingly ubiquitous and gaining rapid adoption due to its support for integration of distributed autonomous components. Testing is necessary to assure the performance and functional correctness of web services. Many commercial as well as opensource tools are available today for web service testing. In this paper, we present results of a brief survey of web service testing tools. The study will provide an informative overview and may help in selection and use of appropriate testing tools.

APA, Harvard, Vancouver, ISO, and other styles

22

Yin, Yong Feng, Yi Bin Zhou, and Yan Rong Wang. "Research and Improvements on Mutation Operators for Simulink Models." Applied Mechanics and Materials 687-691 (November 2014): 1389–93. http://dx.doi.org/10.4028/www.scientific.net/amm.687-691.1389.

Full text

Abstract:

In order to test the Simulink models, this paper focused on the model-based testing for Simulink based on mutation testing. Considering the situation that the present model-based test adequacy criteria are imperfect, we propose a mutation testing process for Simulink models. Based on studying the application of mutation testing technique to Simulink models, some improvements on mutation operators for Simulink models are presented. The experimentation results verified the effectiveness and correctness.

APA, Harvard, Vancouver, ISO, and other styles

23

Wang, Lei. "The Development of the Testing System of Mill Roll's Surface Morphology." Applied Mechanics and Materials 442 (October 2013): 328–31. http://dx.doi.org/10.4028/www.scientific.net/amm.442.328.

Full text

Abstract:

In this paper, I design and develop a surface morphology testing system using Visual Basic language matched with the measuring instrument used in the production site to get the three-dimensional parameters. This system realizes that to get the parameters directly to show the surface morphology of the mill roll. At last, I analyze the testing data and confirm the correctness and practicability of the testing system.

APA, Harvard, Vancouver, ISO, and other styles

24

Wu, Ju Yi, Jin Tian, and Ting Di Zhao. "Assurance Technology of Testing Adequacy Based on Functional Analysis." Advanced Materials Research 430-432 (January 2012): 1502–8. http://dx.doi.org/10.4028/www.scientific.net/amr.430-432.1502.

Full text

Abstract:

Sufficient and efficient functional testing could efficiently find the defects existed in product development. However, due to the growing complexity of product, sufficient functional and performance testing is more difficult. Integrality of test objectives and correctness of test approach are essential to ensure the sufficient testing of products. This paper focused on the problem of integrality of test objectives and proposed a new functional analysis approach based on physical view to list all the functions and interrelationships between them.

APA, Harvard, Vancouver, ISO, and other styles

25

Shine, Lester C., and Charles M. Stoup. "On Transforming Ordered Residuals for Purposes of Testing the Correctness of a Regression Model." Educational and Psychological Measurement 45, no. 2 (1985): 211–16. http://dx.doi.org/10.1177/001316448504500203.

Full text

Abstract:

A logical method is presented for transforming ordered residuals for purposes of testing the correctness of a regression model. The method maintains the same logical ordering in the transformed residuals as that of the original residuals. The method is suitable for either uncorrelated or correlated data and requires minimal computational effort. Calculation examples are presented.

APA, Harvard, Vancouver, ISO, and other styles

26

Sagaydak, A. I., V. V. Bardakov, S. V. Elizarov, and V. I. Ivanov. "STANDARDS FOR THE TECHNICAL STATE TESTING OF REINFORCED CONCRETE STRUCTURES BY MEANS OF ACOUSTIC EMISSION METHOD." Kontrol'. Diagnostika, no. 264 (June 2020): 32–39. http://dx.doi.org/10.14489/td.2020.06.pp.032-039.

Full text

Abstract:

The review of 3 standards in the field of concrete and reinforced concrete acoustic emission testing, developed and issued by International Organization for Standardization in 2019 is provided in the article. The first standard describes the process of acoustic emission signals measuring in concrete and reinforced concrete. The second standard describes test method for damage qualification of reinforced concrete beams. This standard allows dividing the damage degree of reinforced concrete beams into 3 groups: minor, intermediate, heavy. The third standard describes method for active cracks cla

APA, Harvard, Vancouver, ISO, and other styles

27

Sagaydak, A. I., V. V. Bardakov, S. V. Elizarov, and V. I. Ivanov. "STANDARDS FOR THE TECHNICAL STATE TESTING OF REINFORCED CONCRETE STRUCTURES BY MEANS OF ACOUSTIC EMISSION METHOD." Kontrol'. Diagnostika, no. 264 (June 2020): 32–39. http://dx.doi.org/10.14489/td.2020.06.pp.032-039.

Full text

Abstract:

The review of 3 standards in the field of concrete and reinforced concrete acoustic emission testing, developed and issued by International Organization for Standardization in 2019 is provided in the article. The first standard describes the process of acoustic emission signals measuring in concrete and reinforced concrete. The second standard describes test method for damage qualification of reinforced concrete beams. This standard allows dividing the damage degree of reinforced concrete beams into 3 groups: minor, intermediate, heavy. The third standard describes method for active cracks cla

APA, Harvard, Vancouver, ISO, and other styles

28

Ćwiąkała, Paweł. "Testing Procedure of Unmanned Aerial Vehicles (UAVs) Trajectory in Automatic Missions." Applied Sciences 9, no. 17 (2019): 3488. http://dx.doi.org/10.3390/app9173488.

Full text

Abstract:

This paper describes an experimental test campaign while using an Unmanned Aerial Vehicle (UAV) and measuring the obtained UAV positions during different flight tasks and in different operative conditions. A new test procedure has been presented and tested for different devices in various weather conditions. This paper describes and analyses the measurements of the flight trajectory of the UAV that was performed with the use of a robotic total station (RTS), as compared to the design data and the data recorded in the internal memory of the UAV. Five different test tasks have been conducted. Th

APA, Harvard, Vancouver, ISO, and other styles

29

Aladyev, Yu Yu, A. G. Gordienko, D. V. Lukin, and R. Yu Romanihin. "UNIT FOR MONITORING OF OPERABILITY OF FXS CHANNELS OF A DIGITAL AUTOMATIC TELEPHONE EXCHANGE." Issues of radio electronics, no. 12 (December 20, 2018): 50–55. http://dx.doi.org/10.21778/2218-5453-2018-12-50-55.

Full text

Abstract:

In some cases, digital automatic telephone exchanges (DATE) require objective monitoring of the correctness of switching, which is quite a challenge when using conventional telephone channels with a two‑wire termination (FXS lines). The article describes the features of the operation and circuit implementation of the control unit for monitoring telephone channel of the DATE. The main idea of the proposed implementation is the use of test signals of frequency dialing for testing the correctness of addressing and as a source of controlled sound. The control unit consists of two keys and a high‑p

APA, Harvard, Vancouver, ISO, and other styles

30

Marijan, Dusica, and Arnaud Gotlieb. "Software Testing for Machine Learning." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 09 (2020): 13576–82. http://dx.doi.org/10.1609/aaai.v34i09.7084.

Full text

Abstract:

Machine learning has become prevalent across a wide variety of applications. Unfortunately, machine learning has also shown to be susceptible to deception, leading to errors, and even fatal failures. This circumstance calls into question the widespread use of machine learning, especially in safety-critical applications, unless we are able to assure its correctness and trustworthiness properties. Software verification and testing are established technique for assuring such properties, for example by detecting errors. However, software testing challenges for machine learning are vast and profuse

APA, Harvard, Vancouver, ISO, and other styles

31

Papez, Vaclav, Jiri Hájek, and Bedrich Kojecký. "Capacitive methods for testing of power semiconductor devices." Facta universitatis - series: Electronics and Energetics 28, no. 3 (2015): 495–505. http://dx.doi.org/10.2298/fuee1503495p.

Full text

Abstract:

Electrical capacity of power semiconductor devices is quite an important parameter that can be utilized not only for testing a component itself, but it can also be applied practically; e.g. in series-connected high voltage devices. This paper first analyzes the theoretical voltage distribution on the bases of the polarized p-n junction, as well as the size of capacity. The measurement of the voltage-capacity dependence using the resonance principle is illustrated on the samples of 4kV and 6kV thyristors. The correspondence between theoretical estimation of the capacity, measured voltage capaci

APA, Harvard, Vancouver, ISO, and other styles

32

Cañizares, Pablo C., Alberto Núñez, and Juan de Lara. "An expert system for checking the correctness of memory systems using simulation and metamorphic testing." Expert Systems with Applications 132 (October 2019): 44–62. http://dx.doi.org/10.1016/j.eswa.2019.04.070.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Szerafin, Jerzy. "Experimental testing of the new flow equation of cement dispersion." Budownictwo i Architektura 4, no. 1 (2009): 051–62. http://dx.doi.org/10.35784/bud-arch.2333.

Full text

Abstract:

The new flow equation of cement dispersion included factor of the friction between cement grains is presented in the paper. The analysis of the calculation’s results confirms the property of new equation. In the main part of the paper the results of experimental research were presented. The first part of research applies to cement flow through annular pipe, which exactly matches the theoretical model assumptions. The second part of flow tests was carried out in aggregate pile, which is typical to many practical applications of cement injection. Calculation and experimental test’s results are c

APA, Harvard, Vancouver, ISO, and other styles

34

Wang, Kang Yi. "Conversion Method of Description Files in Structural Testing of Digital Circuit." Applied Mechanics and Materials 427-429 (September 2013): 1285–88. http://dx.doi.org/10.4028/www.scientific.net/amm.427-429.1285.

Full text

Abstract:

With the continuous development of large-scale integrated circuit technology, the importance of structural testing and testability design for digital logic circuit has become increasingly evident. In the testing domain, Bench is the most commonly used formats to describe a measured circuit. In order to test the measured circuit using computer, files with various formats must be converted to a netlist file which can be identified by computer. Lev format is a common netlist file. This paper mainly discusses how to convert the Bench file into Lev file, and it is proved by testing program correctn

APA, Harvard, Vancouver, ISO, and other styles

35

Jiang, Yue, Hongyi Chen, Xiangrui Yang, Zhigang Sun, and Wei Quan. "Design and Implementation of CPU & FPGA Co-Design Tester for SDN Switches." Electronics 8, no. 9 (2019): 950. http://dx.doi.org/10.3390/electronics8090950.

Full text

Abstract:

The southbound protocol of Software Defined Networking (SDN) enables the direct access into SDN switches which accelerates the innovation and deployment of network functions in the data plane. Correspondingly, SDN switches that support the new southbound protocol and provide high performance are developed continuously. Therefore, there is an increasing need for testing tools to test such equipment in terms of protocol correctness and performance. However, existing tools have deficiencies in flexibility for verifying the novel southbound protocol, time synchronization between the two planes, an

APA, Harvard, Vancouver, ISO, and other styles

36

Larrouy-Maestri, Pauline. "“I know it when I hear it”." Music & Science 1 (January 1, 2018): 205920431878458. http://dx.doi.org/10.1177/2059204318784582.

Full text

Abstract:

Listeners regularly judge the accuracy of musical performances. However, as is true for several types of judgments (e.g., beauty or obscenity), estimating the correctness of melodies is not based on a precise definition of the object/performance but rather follows arguments such as “I know it when I hear it”. In order to clarify the definition of correctness in melodies, participants identified parametrically manipulated sung melodies as in-tune or out-of-tune, using the method of limits procedure (Experiment 1). Listeners’ tolerance with regard to mistuning was compared across melodies (Exper

APA, Harvard, Vancouver, ISO, and other styles

37

PRESSON, NORA, BRIAN MacWHINNEY, and NATASHA TOKOWICZ. "Learning grammatical gender: The use of rules by novice learners." Applied Psycholinguistics 35, no. 4 (2012): 709–37. http://dx.doi.org/10.1017/s0142716412000550.

Full text

Abstract:

ABSTRACTTwo experiments successfully trained novices to categorize French nouns by grammatical gender, resulting in high levels of performance after delay. Training with a frequent exemplar and training with a more diverse exemplar set led to equivalent learning. However, providing explicit rules with correctness feedback led to better generalization and retention than did correctness feedback alone or feature focusing without explicit rule information. This suggests that, at least for some grammar tasks, explicit information about form–function mappings improves learning. Moreover, the advant

APA, Harvard, Vancouver, ISO, and other styles

38

Tong, Bo, Yan Chao Yin, and Lei Wu. "The Simulation and Design of a Kind of Fitness Ball Testing Machine." Advanced Materials Research 945-949 (June 2014): 194–97. http://dx.doi.org/10.4028/www.scientific.net/amr.945-949.194.

Full text

Abstract:

Due to the growing demand for fitness ball in current domestic market, and the demand for different size ball is also on the rise. In this paper, a kind of fitness testing institution has been proposed in this paper. The preliminary design and modeling of the agency were conducted in the Solidworks. In order to validate the correctness of the model design, the motion simulation was proceed by the Adamas. From the data obtained by the simulation, we can know the functions of the machine, which can provide data support for the subsequent design.

APA, Harvard, Vancouver, ISO, and other styles

39

Repko, Alexandr, Milan Sága, Boris Sentyakov, and Vladislav Sviatskii. "Development and Testing of a Block Hydrocyclone." Processes 8, no. 12 (2020): 1577. http://dx.doi.org/10.3390/pr8121577.

Full text

Abstract:

The study aimed to theoretically substantiate the efficiency of liquid purification and obtain corroborating experimental data for a hydrocyclone, consisting of several blocks. Mathematical models of the process of hydrodynamic fluid filtration were developed with the use of screw swirlers. The obtained mathematical models characterize all the main processes of fluid movement in various zones of the functioning of the hydrocyclone. Formulas for calculating the structures of hydrocyclone blocks are included. A block for swirling the flow of the liquid to be cleaned has been made in the form of

APA, Harvard, Vancouver, ISO, and other styles

40

LAST, M., M. FRIEDMAN, and A. KANDEL. "USING DATA MINING FOR AUTOMATED SOFTWARE TESTING." International Journal of Software Engineering and Knowledge Engineering 14, no. 04 (2004): 369–93. http://dx.doi.org/10.1142/s0218194004001737.

Full text

Abstract:

In today's software industry, the design of test cases is mostly based on human expertise, while test automation tools are limited to execution of pre-planned tests only. Evaluation of test outcomes is also associated with a considerable effort by human testers who often have imperfect knowledge of the requirements specification. Not surprisingly, this manual approach to software testing results in heavy losses to the world's economy. In this paper, we demonstrate the potential use of data mining algorithms for automated modeling of tested systems. The data mining models can be utilized for re

APA, Harvard, Vancouver, ISO, and other styles

41

El-Zawawy, Mohamed A. "Testing Automation of Context-Oriented Programs Using Separation Logic." Applied Computational Intelligence and Soft Computing 2014 (2014): 1–8. http://dx.doi.org/10.1155/2014/930186.

Full text

Abstract:

A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP). This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programming, as implemented in COP languages such as ContextJ*and ContextL, this paper introduces accurate operational semantics. The language model of this paper uses Java concepts and is equipped with layer techniques for activation/deactivation of layer contexts. This paper also presents a logical system f

APA, Harvard, Vancouver, ISO, and other styles

42

Xu, An Hua, and Jian Hong Fang. "Study on Roadbed Soil Dynamic Resilient Modulus Test." Advanced Materials Research 671-674 (March 2013): 1245–53. http://dx.doi.org/10.4028/www.scientific.net/amr.671-674.1245.

Full text

Abstract:

This paper draws on the successful experience from domestic and abroad researches, testing repeatedly of powder subgrade with load triaxial tests, analyzing the relationship between the subgrade soil resilient modulus, deviatoric stress, water content and degree of compaction. At the same time, conducting corresponded roadbed soil resilient modulus forecast model, and qualifying its correctness of test data model.

APA, Harvard, Vancouver, ISO, and other styles

43

Liu, Chien Hung, and Shu Ling Chen. "Classifying Dynamic Pages for Supporting JSP-Based Web Application Testing." Applied Mechanics and Materials 411-414 (September 2013): 563–67. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.563.

Full text

Abstract:

To ensure the correctness of Web applications, the dynamically generated Web pages must be tested. However, this can be impractical as dynamic pages can be infinite depending on user inputs and internal states of Web applications. This paper presents an approach to classify the JSP dynamic pages for reducing the number of pages to be tested. Specifically, the approach identifies the HTML statement slices inside a JSP script and classifies the dynamic pages generated by the script according to the compositions of the HTML statement slices associated with the script's linearly independent paths.

APA, Harvard, Vancouver, ISO, and other styles

44

Pang, Dan, Xi Lin Zhang, Zhen Hao Wang, Dan Zhang, and Xiao Juan Han. "Functions and Theoretical Basis of Partial Discharge On-Line Monitoring System for High-Voltage Cables." Applied Mechanics and Materials 672-674 (October 2014): 854–57. http://dx.doi.org/10.4028/www.scientific.net/amm.672-674.854.

Full text

Abstract:

A partial discharge (PD) on-line monitoring and positioning system for high-voltage cables based on double-ended testing technology is developed. The hardware of this system includes a high-frequency current sensor, site PD signal acquisition and PD monitoring server. In order to achieve real-time monitoring and remote diagnostics of the XLPE cable partial discharge status, the designed software system is divided into front-end control system and remote diagnostic system. And finally, the correctness and effectiveness of the system is verified by XLPE cable partial discharge testing.

APA, Harvard, Vancouver, ISO, and other styles

45

Liu, Fa Gui, Yu Song Peng, Nan He, Ying Yi Yang, Jin Yang, and Xiao Ke Zhang. "Research and Implementation of Key Techniques of Osgi Integration Testing Platform." Advanced Materials Research 791-793 (September 2013): 936–40. http://dx.doi.org/10.4028/www.scientific.net/amr.791-793.936.

Full text

Abstract:

The innovation and development of software and information technology has stimulated the mature of service-oriented architecture (SOA) platform technology, while the loosely coupled, modular, dynamic loading feature of OSGi service platform has made itself a popular architecture within the SOA community. To embody the advantages of the OSGi framework application with a longer lifecycle and ensure the quality of OSGi applications, we need to run a series of rigorous testing, especially integration testing. Existing tools do not support separation of testing and development, testing records play

APA, Harvard, Vancouver, ISO, and other styles

46

Orlik-Kożdoń, Bożena, and Artur Nowoświat. "Modelling and testing of a granular insulating material." Journal of Building Physics 42, no. 1 (2017): 6–15. http://dx.doi.org/10.1177/1744259117715715.

Full text

Abstract:

In the following article, the Authors present the results of initial researches into a building component needed for thermal insulation. The building component is a elastic insulation plate made from recycling materials. The solution is protected by industry patter Elastyczna pyta izolacyjna No 23 621 for Silesian University of Technology Gliwice. The paper presents the determination method of effective thermal conductivity for granular materials. It is based on the geometrical model for the determination of granular medium structure, which is based on the theory of the highest-density arrange

APA, Harvard, Vancouver, ISO, and other styles

47

Deaconu, Adrian Marius, and Delia Spridon. "Adaptation of Random Binomial Graphs for Testing Network Flow Problems Algorithms." Mathematics 9, no. 15 (2021): 1716. http://dx.doi.org/10.3390/math9151716.

Full text

Abstract:

Algorithms for network flow problems, such as maximum flow, minimum cost flow, and multi-commodity flow problems, are continuously developed and improved, and so, random network generators become indispensable to simulate the functionality and to test the correctness and the execution speed of these algorithms. For this purpose, in this paper, the well-known Erdős–Rényi model is adapted to generate random flow (transportation) networks. The developed algorithm is fast and based on the natural property of the flow that can be decomposed into directed elementary s-t paths and cycles. So, the pro

APA, Harvard, Vancouver, ISO, and other styles

48

Mańkowska-Snopczyńska, Anita, Witold Piekoszewski, Marian Szczerek, Waldemar Tuszyński, Ireneusz Kotela, and Andrzej Kotela. "METHODOLOGY FOR TESTING A JOINT CARTILAGE." Tribologia 294, no. 6 (2021): 29–38. http://dx.doi.org/10.5604/01.3001.0014.8333.

Full text

Abstract:

A research method was developed to analyse the tribological properties of cartilage tissue. Based on the literature data and the possibility of obtaining samples of appropriate dimensions, the frequency and amplitude of friction tests were adopted. Based on the previously conducted preliminary tests, other test parameters were proposed, such as the frictional contact load and the number of test runs. It was assumed that the results of the research will be the friction coefficient and the wear intensity of the tribological system. According to the developed method, a series of verification test

APA, Harvard, Vancouver, ISO, and other styles

49

Foorthuis, Ralph, Frank Hofman, Sjaak Brinkkemper, and Rik Bos. "Compliance Assessments of Projects Adhering to Enterprise Architecture." Journal of Database Management 23, no. 2 (2012): 44–71. http://dx.doi.org/10.4018/jdm.2012040103.

Full text

Abstract:

This article examines how to assess projects, which implement business processes and IT systems, on compliance with an Enterprise Architecture (EA) that provides them with constraints and high-level solutions. The authors begin by presenting the core elements of EA compliance testing. Next, the authors discuss the testing process and four types of compliance checks (i.e., correctness check, justification check, consistency check, and completeness check). Finally, an empirical case is reported in which a real-life project has been tested on conformance, demonstrating and evaluating the authors’

APA, Harvard, Vancouver, ISO, and other styles

50

Reznik, Oleksandr. "Global informatization and autonomy of workers engaged in mental work in Ukraine." Ukrainian society 2012, no. 4 (2012): 71–86. http://dx.doi.org/10.15407/socium2012.04.071.

Full text

Abstract:

The paper deals with hypothesis for probable socio-economic, professional-educational, information-technological and personal-innovational preconditions of employee’s autonomy in Ukraine under global informatization. This hypothesis correctness is confirmed to a considerable extent by its empirical testing with the use of the model of multiple linear regression. It is established that socio-economic predetermining of employees’ autonomy prevails in the contemporary Ukrainian society.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!