Relevant bibliographies by topics / Verification and testing / Journal articles

Journal articles on the topic 'Verification and testing'

To see the other types of publications on this topic, follow the link: Verification and testing.
Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

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 'Verification and 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

Evernden, Jack F. "Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 792–94. http://dx.doi.org/10.1126/science.228.4701.792.b.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Evernden, Jack F. "Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 792–94. http://dx.doi.org/10.1126/science.228.4701.792-b.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Fodor, B., and I. Kollar. "ADC Testing With Verification." IEEE Transactions on Instrumentation and Measurement 57, no. 12 (December 2008): 2762–68. http://dx.doi.org/10.1109/tim.2008.928404.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

EVERNDEN, J. F. "Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 792–94. http://dx.doi.org/10.1126/science.228.4701.792-a.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ferris, E. A. E. "Gender verification testing in sport." British Medical Bulletin 48, no. 3 (1992): 683–97. http://dx.doi.org/10.1093/oxfordjournals.bmb.a072571.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hailpern, B., and P. Santhanam. "Software debugging, testing, and verification." IBM Systems Journal 41, no. 1 (2002): 4–12. http://dx.doi.org/10.1147/sj.411.0004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Margaria, Tiziana, Zongyan Qiu, and Hongli Yang. "Program verification and testing technologies." International Journal on Software Tools for Technology Transfer 16, no. 4 (June 25, 2014): 335–37. http://dx.doi.org/10.1007/s10009-014-0327-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Tracey, Nigel, John Penix, and Willem Visser. "Automated analysis, verification and testing." Software Focus 2, no. 2 (2001): 82. http://dx.doi.org/10.1002/swf.34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Schmitt, Robert L., Awad S. Hanna, Jeffrey S. Russell, and Erik V. Nordheim. "Statistically Based Methods for Verification Testing." Transportation Research Record: Journal of the Transportation Research Board 1761, no. 1 (January 2001): 86–92. http://dx.doi.org/10.3141/1761-11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Findlay, Trevor, and Oliver Meier. "Nuclear Testing: In verification we trust." Bulletin of the Atomic Scientists 57, no. 1 (January 1, 2001): 13–15. http://dx.doi.org/10.2968/057001005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Kitchenham, B., and S. Linkman. "Validation, verification, and testing: diversity rules." IEEE Software 15, no. 4 (1998): 46–49. http://dx.doi.org/10.1109/52.687944.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Kahan, Mark A. "Optical Testing and Verification on HST." Optics and Photonics News 4, no. 11 (November 1, 1993): 28. http://dx.doi.org/10.1364/opn.4.11.000028.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Avresky, D. R. "Formal verification and testing of protocols." Computer Communications 22, no. 7 (May 1999): 681–90. http://dx.doi.org/10.1016/s0140-3664(99)00011-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Tso, Chunto, Lai-Ho Huang, and Chung-Jen Tseng. "Hydrogen Scooter Testing and Verification Program." Energy Procedia 29 (2012): 633–43. http://dx.doi.org/10.1016/j.egypro.2012.09.073.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Karamanlidis, D. "Software validation: inspection - testing - verification - alternatives." Advances in Engineering Software (1978) 7, no. 4 (October 1985): 216. http://dx.doi.org/10.1016/0141-1195(85)90080-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Berg, John L. "Protocol specification, testing, and verification, IV." Computer Standards & Interfaces 7, no. 3 (January 1988): 329. http://dx.doi.org/10.1016/0920-5489(88)90095-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Berg, John L. "Protocol specification, testing, and verification, V." Computer Standards & Interfaces 7, no. 3 (January 1988): 329. http://dx.doi.org/10.1016/0920-5489(88)90096-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Berg, John L. "Protocol specification, testing, and verification, VI." Computer Standards & Interfaces 7, no. 3 (January 1988): 329. http://dx.doi.org/10.1016/0920-5489(88)90097-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

HANNON, W. J. "In Reply: Verification of Nuclear Testing." Science 228, no. 4701 (May 17, 1985): 794. http://dx.doi.org/10.1126/science.228.4701.794.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Mousavi, Mohammad Reza, and Jun Pang. "Special issue: software verification and testing." Innovations in Systems and Software Engineering 9, no. 2 (April 30, 2013): 57–58. http://dx.doi.org/10.1007/s11334-013-0211-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Yamada, Shigeru. "Software validation: Inspection-testing-verification-alternatives." European Journal of Operational Research 27, no. 3 (December 1986): 385. http://dx.doi.org/10.1016/0377-2217(86)90337-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Øvergaard, Asgeir, and Gerrit Muller. "6.4.2 System Verification by Automatic Testing." INCOSE International Symposium 23, no. 1 (June 2013): 356–67. http://dx.doi.org/10.1002/j.2334-5837.2013.tb03024.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Foster, Kenneth A. "An example of testing versus verification." Software Testing, Verification and Reliability 2, no. 1 (May 1992): 3–6. http://dx.doi.org/10.1002/stvr.4370020103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Popov, Dmitry. "Testing and verification of the LHCb Simulation." EPJ Web of Conferences 214 (2019): 02043. http://dx.doi.org/10.1051/epjconf/201921402043.

Full text
Abstract:
Monte-Carlo simulation is a fundamental tool for high-energy physics experiments, from the design phase to data analysis. In recent years its relevance has increased due to the ever growing measurements precision. Accuracy and reliability are essential features in simulation and particularly important in the current phase of the LHCb experiment, where physics analysis and preparation for data taking with the upgraded detector need to be performed at the same time. In this paper we will give an overview of the full chain of tests and procedures implemented for the LHCb Simulation software stack to ensure the quality of its results. The tests comprise simple checks to validate new software contributions in a nightlies system as well as more elaborate checks to probe simple physics and software quantities for performance and regression verifications. Commissioning of a new major version of the simulation software for production implies also validating its impact using a few physics anlayses. A new system for Simulation Data Quality (SimDQ) that is being put in place to help in the first phase of commissioning and for fast verification of all samples produced is also discussed.
APA, Harvard, Vancouver, ISO, and other styles
25

Venugopal, Manokar, Manju Nanda, G. Anand, and Hari Chandana Voora. "An integrated Hardware/Software Verification and Validation methodology for Signal Processing Systems." ITM Web of Conferences 50 (2022): 02001. http://dx.doi.org/10.1051/itmconf/20225002001.

Full text
Abstract:
The testing and validation services team assesses project deliverables at various stages of development using innovative and effective verification and validation, to ensure that the deliverables are compliance with the customer specifications and requirements. Whenever new products and devices are released, completely integrated verification and validation services are delivered to accurate and complete records usability, performance, and quality assurance services. Throughout the product development and testing process, the testing and validation services team employs verification and validation techniques. Code reviews, walk through, inspections, desk-checking, and code execution are all examples of verification and validation techniques. Services for verification and validation are used to assess whether or not the software or application provided complies with the requirements and serves the intended purpose. A procedure used to ensure that the software created is of good quality and consistently operates as expected is independent testing and validation services. Unit testing (also known as “White Box Testing”), hardware-software integration testing (HSIT), and system testing are the three primary independent verification and validation approaches (Black Box Testing). The teams responsible for the verification and validation services actively participate in each stage of the project and design the services according to the project’s needs (e.g., prototype, spiral, iterative, V Model, and Agile). Our expertise in the embedded domain, tried-and-true verification and validation techniques, and a thorough methodology provide a quick turnaround and excellent results for the targeted solution. Independent Verification and validation services covering Source code, design, and requirements White box testing, or unit testing Testing for hardware-software integration Black box testing, or system testing To reduce test cycle-time significantly on test Automation solutions. Verification and validation techniques can be used to effectively and efficiently carry out stress and performance tests, and to detect defects early in the life cycle. Documentation of test process. Liaison and Certification
APA, Harvard, Vancouver, ISO, and other styles
26

Elqortobi, Mounia, Warda El-Khouly, Amine Rahj, Jamal Bentahar, and Rachida Dssouli. "Verification and testing of safety-critical airborne systems: A model-based methodology." Computer Science and Information Systems 17, no. 1 (2020): 271–92. http://dx.doi.org/10.2298/csis190430040e.

Full text
Abstract:
In this paper, we address the issues of safety-critical software verification and testing that are key requirements for achieving DO-178C and DO- 331 regulatory compliance for airborne systems. Formal verification and testing are considered two different activities within airborne standards and they belong to two different levels in the avionics software development cycle. The objective is to integrate model-based verification and model-based testing within a single framework and to capture the benefits of their cross-fertilization. This is achieved by proposing a new methodology for the verification and testing of parallel communicating agents based on formal models. In this work, properties are extracted from requirements and formally verified at the design level, while the verified properties are propagated to the implementation level and checked via testing. The contributions of this paper are a methodology that integrates verification and testing, formal verification of some safety critical software properties, and a testing method for Modified Condition/Decision Coverage (MC/DC). The results of formal verification and testing can be used as evidence for avionics software certification.
APA, Harvard, Vancouver, ISO, and other styles
27

Eichler, Taro, Ute Philipp, and Lorenz Rädler. "Novel Testing Metrics." New Electronics 54, no. 16 (November 2021): 28–30. http://dx.doi.org/10.12968/s0047-9624(22)60562-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Li, Qiu Ying, and Xing Chao You. "Software Reliability Verification Testing Program Considering Hyper-Parameter." Applied Mechanics and Materials 511-512 (February 2014): 1215–18. http://dx.doi.org/10.4028/www.scientific.net/amm.511-512.1215.

Full text
Abstract:
The impact of hyper-parameters is considered in the software reliability verification testing program based on the traditional Bayesian theory and a new Bayesian software reliability verification testing program is proposed, which could be used for high-reliability software. Examples are given to illustrate the effectiveness of this verification testing program.
APA, Harvard, Vancouver, ISO, and other styles
29

Ekert, Damjan, Jürgen Dobaj, and Alen Salamun. "Cybersecurity Verification and Validation Testing in Automotive." JUCS - Journal of Universal Computer Science 27, no. 8 (August 28, 2021): 850–67. http://dx.doi.org/10.3897/jucs.71833.

Full text
Abstract:
The new generations of cars have a number of ECUs (Electronic Control Units) which are connected to a central gateway and need to pass cybersecurity integration tests to fulfil the homologation requirements of cars. Cars usually have a gateway server (few have additional domain servers) with Linux and a large number of ECUs which are real time control of actuators (ESP, EPS, ABS, etc. – usually they are multicore embedded controllers) connected by a real time automotive specific bus (CAN-FD) to the domain controller or gateway server. The norms (SAE J3061, ISO 21434) require cybersecurity related verification and validation. Fir the verification car manufacturers use a network test suite which runs > 2000 test cases and which have to be passed for homologation. These norms have impact on the way how car communication infrastructure is tested, and which cybersecurity attack patterns are checked before a road release of an ECU/car. This paper describes typical verification and validation approaches in modern vehicles and how such test cases are derived and developed.
APA, Harvard, Vancouver, ISO, and other styles
30

Spring, Gary S., John Collura, Paul W. Shuldiner, and James Watson. "Testing, Verification, and Validation of Expert Systems." Journal of Transportation Engineering 117, no. 3 (May 1991): 350–60. http://dx.doi.org/10.1061/(asce)0733-947x(1991)117:3(350).

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Wei-Tek Tsai, Lian Yu, Feng Zhu, and R. Paul. "Rapid Embedded System Testing Using Verification Patterns." IEEE Software 22, no. 4 (July 2005): 68–75. http://dx.doi.org/10.1109/ms.2005.103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Khanna, S. "Logic Programming for Software Verification and Testing." Computer Journal 34, no. 4 (April 1, 1991): 350–57. http://dx.doi.org/10.1093/comjnl/34.4.350.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Mousavi, Mohammad Reza, and Jun Pang. "Special section on Software Verification and Testing." Science of Computer Programming 95 (December 2014): 273–74. http://dx.doi.org/10.1016/j.scico.2014.06.015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Gunter, Elsa, and Doron Peled. "Model checking, testing and verification working together." Formal Aspects of Computing 17, no. 2 (August 2005): 201–21. http://dx.doi.org/10.1007/s00165-005-0059-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Malagardis, N. "Organization of verification and testing in France." Computer Standards & Interfaces 5, no. 4 (January 1986): 235–40. http://dx.doi.org/10.1016/0920-5489(86)90030-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Sciuto, Donatella, and Fabrizio Lombardi. "Functional testing and verification of array systems." Microprocessors and Microsystems 13, no. 6 (July 1989): 403–12. http://dx.doi.org/10.1016/0141-9331(89)90049-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Rizvi, Navaid Zafar, Rajat Arora, and Niraj Agrawal. "Implementation and Verification of Synchronous FIFO using System Verilog Verification Methodology." Journal of Communications Technology, Electronics and Computer Science 2 (November 21, 2015): 18. http://dx.doi.org/10.22385/jctecs.v2i0.19.

Full text
Abstract:
Developing complex nature of patterns & concurrency of Integrated Circuits has made conventional coordinated test- benches an unworkable answer for testing. Nowadays, testing as a word has been substituted with check. Confirmation specialists need to guarantee what goes to the plant for assembling is an exact representation of the specification of configuration. Verification is the maximum time consuming stage in the whole design process, thus it has become a necessity to minimize the time required to encounter the confirmation necessities. The relentless growth in the complexity of the system, has led to the requirement of a more advanced, well organized and automated approach for creating verification environments. As the designs gets complex, the probability of occurrence of bugs increases. This nеcеssitatеd the introduction of the verification phase for verifying the functionality of the IC and to detect the bugs at an early stage. In this paper, the synchronous FIFO design is verified using System Verilog Verification Environment.
APA, Harvard, Vancouver, ISO, and other styles
39

MESNARD, FRED, ÉTIENNE PAYET, and GERMÁN VIDAL. "Concolic Testing in CLP." Theory and Practice of Logic Programming 20, no. 5 (September 2020): 671–86. http://dx.doi.org/10.1017/s1471068420000216.

Full text
Abstract:
AbstractConcolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by means of substitutions) but could not represent negative constraints. In this paper, we present a novel framework for concolic testing of CLP programs that generalizes the previous technique. In the CLP setting, one can represent both positive and negative constraints in a natural way, thus giving rise to a sound and (potentially) more efficient technique. Defining verification and testing techniques for CLP programs is increasingly relevant since this framework is becoming popular as an intermediate representation to analyze programs written in other programming paradigms.
APA, Harvard, Vancouver, ISO, and other styles
40

Kroening, Michael, Yana Salchak, and Dmitriy A. Sednev. "Closure Welds Identification by Means of Ultrasonic Testing." Advanced Materials Research 1040 (September 2014): 933–36. http://dx.doi.org/10.4028/www.scientific.net/amr.1040.933.

Full text
Abstract:
In present paper, possibilities for identification and verification of closure welds were discussed. It might be applied for nonproliferation purposes, where validity and reliability of verification are often crucial issue. Methodology of ultrasonic testing and signal processing procedure were proposed. Through set of experiments, the validity of proposed solution was approved.
APA, Harvard, Vancouver, ISO, and other styles
41

Chertok, Nikita Dmitrievich, and Mikhail Mikhaylovich Chupilko. "Survey of Methods for Functional Online Testing of Microprocessors." Proceedings of the Institute for System Programming of the RAS 33, no. 6 (2021): 131–48. http://dx.doi.org/10.15514/ispras-2021-33(6)-9.

Full text
Abstract:
Online testing is a process of functional verification of microprocessors produced in silicon or their FPGA-prototypes, i.e. post-silicon verification. This type of testing differs both from the manufacturing testing, aimed at checking the workability of manufactured chips (e.g., absence of physical defects, admissibility of physical characteristics) and from simulation-based pre-silicon functional verification of microprocessors models (where internal microprocessor signals are available for observing, and the execution process can be controlled). Post-silicon verification enables to rapidly run huge numbers of tests and detect bugs missed during pre-silicon functional verification. Tests for microprocessors are usually represented by executable programs. Accordingly, the main tasks of online testing are high-performance generation of test programs in the given ISA and creation of a test environment responsible for launching programs, assessing the correctness of their execution by a microprocessor, diagnosing errors, and interacting with the outside world. This paper examines the problems arising in the development of online testing systems (online test program generators), reviews existing solutions in this area, and, on the base on them, proposes a promising approach to organizing online testing.
APA, Harvard, Vancouver, ISO, and other styles
42

Kroll, Martin H., Patricia E. Styer, and Delmiro Anthony Vasquez. "Calibration Verification Performance Relates to Proficiency Testing Performance." Archives of Pathology & Laboratory Medicine 128, no. 5 (May 1, 2004): 544–48. http://dx.doi.org/10.5858/2004-128-544-cvprtp.

Full text
Abstract:
Abstract Context.—Since 1988, the College of American Pathologists has been offering materials for calibration verification coupled with the surveys for linearity, called the linearity (LN) surveys. Objective.—To determine whether successful completion of the College of American Pathologists LN surveys provides a benefit in terms of improved proficiency testing (PT) performance. Design.—In this study, we used information from LN surveys LN1/2, LN3, and LN5 and from the PT surveys C, Z, and K administered and analyzed in the year 2000. For the PT data, we calculated 4 measures of performance: passing PT, results exceeding 2 SDs, sum of absolute SD intervals, and the absolute sum of SD intervals. For the LN data, we classified laboratories as participants versus nonparticipants in LN surveys and by whether or not LN survey performance was successful. Results.—LN enrollees had fewer unacceptable PT results than did nonenrollees. Additionally, for many analytes there was a significant positive association between LN performance and PT performance. Conclusions.—For most analytes studied, there was strong evidence linking performance on PT surveys with performance on LN surveys. Eight of 13 analyses (62%) demonstrated improved performance with successful calibration verification.
APA, Harvard, Vancouver, ISO, and other styles
43

Sun, Ming Cheng, Chao Qun Zhang, Chao Yang, and De Bin Han. "Verification and Calibration of Instrumented Indentation Testing Machines." Key Engineering Materials 734 (April 2017): 301–9. http://dx.doi.org/10.4028/www.scientific.net/kem.734.301.

Full text
Abstract:
The frame compliance is calibrated by experimental and calculation methods for an instrumented indentation equipment. The indentation depth and contact diameter with single cycle test is determined by confocal laser scanning microscopy directly. The alternative method is to calculate the contact depth and the contact radius from the load-depth curves. The observed and calculated frame compliances are obtained respectively according to EN ISO 14577-4 Annex Methods 2.
APA, Harvard, Vancouver, ISO, and other styles
44

Hong, Seok-Hee. "Testing Transactions based on Verification of Isolation Levels." Journal of the Korea Contents Association 8, no. 7 (July 28, 2008): 75–84. http://dx.doi.org/10.5392/jkca.2008.8.7.075.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Siewert, T. A., D. P. Vigliotti, L. B. Dirling,, and C. N. McCowan. "Performance verification of impact machines for testing plastics." Journal of Research of the National Institute of Standards and Technology 104, no. 6 (November 1999): 557. http://dx.doi.org/10.6028/jres.104.034.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

RAJAKUMAR, G. R., and S. V. PATIL. "Development and performance verification of soil testing kit." INTERNATIONAL JOURNAL OF FORESTRY AND CROP IMPROVEMENT 7, no. 1 (June 15, 2016): 41–45. http://dx.doi.org/10.15740/has/ijfci/7.1/41-45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Richardson, D. J., and L. A. Clarke. "Partition Analysis: A Method Combining Testing and Verification." IEEE Transactions on Software Engineering SE-11, no. 12 (December 1985): 1477–90. http://dx.doi.org/10.1109/tse.1985.231892.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Poulding, Simon, and John A. Clark. "Efficient Software Verification: Statistical Testing Using Automated Search." IEEE Transactions on Software Engineering 36, no. 6 (November 2010): 763–77. http://dx.doi.org/10.1109/tse.2010.24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Clune, T. L., and R. B. Rood. "Software Testing and Verification in Climate Model Development." IEEE Software 28, no. 6 (November 2011): 49–55. http://dx.doi.org/10.1109/ms.2011.117.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Stanard, Christopher L. "Reliability Verification, Testing, and Analysis in Engineering Design." Technometrics 46, no. 4 (November 2004): 486–87. http://dx.doi.org/10.1198/tech.2004.s227.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Verification and testing' for other source types:
Dissertations / Theses Books
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!

To the bibliography