Статті в журналах з теми "Software testing, verification and validation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Software testing, verification and validation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаPetrenko, A. K. "Verification, Validation, and Testing of Software: Special Issue of theProgrammirovanieJournal." Programming and Computer Software 29, no. 6 (November 2003): 296–97. http://dx.doi.org/10.1023/b:pacs.0000004129.28766.3d.
Повний текст джерелаLi, Bing, Li Hong Li, and Fan Ming Liu. "Verification, Validation and Accreditation of Ship Electric Propulsion Simulation System." Applied Mechanics and Materials 433-435 (October 2013): 1915–20. http://dx.doi.org/10.4028/www.scientific.net/amm.433-435.1915.
Повний текст джерелаZhou, Jiantao, Jing Liu, Jinzhao Wu, and Guodong Zhong. "A Latent Implementation Error Detection Method for Software Validation." Journal of Applied Mathematics 2013 (2013): 1–10. http://dx.doi.org/10.1155/2013/138287.
Повний текст джерелаSziray, József. "A Test Model for Hardware and Software Systems." Journal of Advanced Computational Intelligence and Intelligent Informatics 8, no. 5 (September 20, 2004): 523–29. http://dx.doi.org/10.20965/jaciii.2004.p0523.
Повний текст джерелаReddy, Jogannagari Malla, and Kothuri Parashu Ramulu. "The Complexity of Verification and Validation Testing in Component Based Software Engineering." International Journal of Computer Sciences and Engineering 5, no. 12 (December 31, 2017): 296–300. http://dx.doi.org/10.26438/ijcse/v5i12.296300.
Повний текст джерелаVoronova, Anna, Elena Zhilenkova, Anton Zhilenkov, and Vladislav Borisenko. "Practical approaches to verification and validation of engineering software when solving problems of nonlinear and chaotic dynamics." E3S Web of Conferences 258 (2021): 01012. http://dx.doi.org/10.1051/e3sconf/202125801012.
Повний текст джерелаMurray-Smith, David. "Some Issues in the Testing of Computer Simulation Models." International Journal of Business & Technology 5, no. 1 (November 1, 2016): 1–10. http://dx.doi.org/10.33107/ijbte.2016.5.1.01.
Повний текст джерелаZeng, Le-tian, Chun-hui Yang, Mao-sheng Huang, and Yue-long Zhao. "Verification of Imaging Algorithm for Signal Processing Software within Synthetic Aperture Radar (SAR) System." Scientific Programming 2019 (February 21, 2019): 1–12. http://dx.doi.org/10.1155/2019/7105281.
Повний текст джерелаPopov, Dmitry. "Testing and verification of the LHCb Simulation." EPJ Web of Conferences 214 (2019): 02043. http://dx.doi.org/10.1051/epjconf/201921402043.
Повний текст джерелаKumar, Mohit, Geetika Gandhi, and Sushil Garg. "Survey on Various Testing Techniques and Strategies for Bug Finding." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 11, no. 1 (October 25, 2013): 2150–55. http://dx.doi.org/10.24297/ijct.v11i1.1184.
Повний текст джерелаM. Altaie, Atica, Rasha Gh. Alsarraj, and Asmaa H. Al-Bayati. "VERIFICATION AND VALIDATION OF A SOFTWARE: A REVIEW OF THE LITERATURE." Iraqi Journal for Computers and Informatics 46, no. 1 (June 30, 2020): 40–47. http://dx.doi.org/10.25195/ijci.v46i1.249.
Повний текст джерелаCardoso, Rafael C., Georgios Kourtis, Louise A. Dennis, Clare Dixon, Marie Farrell, Michael Fisher, and Matt Webster. "A Review of Verification and Validation for Space Autonomous Systems." Current Robotics Reports 2, no. 3 (June 18, 2021): 273–83. http://dx.doi.org/10.1007/s43154-021-00058-1.
Повний текст джерелаNeri, Giulia R. "The Use of Exploratory Software Testing in SCRUM." ACM SIGSOFT Software Engineering Notes 48, no. 1 (January 10, 2023): 59–62. http://dx.doi.org/10.1145/3573074.3573089.
Повний текст джерелаLópez-Fernández, Jesús J., Esther Guerra, and Juan de Lara. "Combining unit and specification-based testing for meta-model validation and verification." Information Systems 62 (December 2016): 104–35. http://dx.doi.org/10.1016/j.is.2016.06.008.
Повний текст джерелаRexhepi, Burim, and Ali Rexhepi. "SOFTWARE TESTING TECHNIQUES AND PRINCIPLES." Knowledge International Journal 28, no. 4 (December 10, 2018): 1383–87. http://dx.doi.org/10.35120/kij28041383b.
Повний текст джерелаWang, Rui Li, Xiao Liang, Wen Zhou Lin, Xue Zhe Liu, and Yun Long Yu. "Verification and Validation of a Detonation Computational Fluid Dynamics Model." Defect and Diffusion Forum 366 (April 2016): 40–46. http://dx.doi.org/10.4028/www.scientific.net/ddf.366.40.
Повний текст джерелаTebes, Guido, Luis Olsina, Denis Peppino, and Pablo Becker. "Specifying and Analyzing a Software Testing Ontology at the Top-Domain Ontological Level." Journal of Computer Science and Technology 21, no. 2 (October 21, 2021): e12. http://dx.doi.org/10.24215/16666038.21.e12.
Повний текст джерелаPasaribu, Johni Setiady. "Perbandingan Pengujian Boundary Value Analysis, Equivalence Partitioning dan Error Guessy (Studi Kasus Indeks Nilai)." Jurnal ICT : Information Communication & Technology 20, no. 2 (December 15, 2021): 210–17. http://dx.doi.org/10.36054/jict-ikmi.v20i2.388.
Повний текст джерелаROUSSET, MARIE-CHRISTINE, and SUSAN CRAW. "ECAI-96 workshop on validation, verification and refinement of KBS: A short report." Knowledge Engineering Review 12, no. 01 (January 1997): 95–98. http://dx.doi.org/10.1017/s0269888997000052.
Повний текст джерелаZhukov, Victor P. "Verification, Validation, and Testing of Kinetic Mechanisms of Hydrogen Combustion in Fluid-Dynamic Computations." ISRN Mechanical Engineering 2012 (August 13, 2012): 1–11. http://dx.doi.org/10.5402/2012/475607.
Повний текст джерелаJoosten, Joosten. "THE BLACK BOX TESTING AND LOC METHOD APPROACH IN TESTING AND STREAMLINING THE PATIENT REGISTRATION PROGRAM." Jurnal Riset Informatika 3, no. 2 (March 2, 2021): 137–44. http://dx.doi.org/10.34288/jri.v3i2.188.
Повний текст джерелаPutri, Dwi Ismiyana. "Teknik Equivalence Partitions untuk Pengujian Aplikasi Manajemen Kas dan Inventaris Berbasis Web." INFORMATION MANAGEMENT FOR EDUCATORS AND PROFESSIONALS : Journal of Information Management 6, no. 2 (October 24, 2022): 193. http://dx.doi.org/10.51211/imbi.v6i2.1922.
Повний текст джерелаNidagundi, Padmaraj, and Leonids Novickis. "Introduction to Lean Canvas Transformation Models and Metrics in Software Testing." Applied Computer Systems 19, no. 1 (May 1, 2016): 30–36. http://dx.doi.org/10.1515/acss-2016-0004.
Повний текст джерелаAcharya, Sushil, Priyadarshan Anant Manohar, Peter Wu, Bruce Maxim, and Mary Hansen. "Design, Development and Delivery of Active Learning Tools in Software Verification & Validation Education." Journal of Education and Learning 7, no. 1 (August 23, 2017): 13. http://dx.doi.org/10.5539/jel.v7n1p13.
Повний текст джерелаYin, Peili, Jianhua Wang, and Chunxia Lu. "Measuring Software Test Verification for Complex Workpieces based on Virtual Gear Measuring Instrument." Measurement Science Review 17, no. 4 (August 1, 2017): 197–207. http://dx.doi.org/10.1515/msr-2017-0023.
Повний текст джерелаNeicu, Marian Ştefan, and George Gustav Savii. "Evaluation of Algorithms and Methods for Developing Business Information Systems Using Virtual Factory." Applied Mechanics and Materials 841 (June 2016): 367–72. http://dx.doi.org/10.4028/www.scientific.net/amm.841.367.
Повний текст джерелаRowe, Alexander D., Stephanie D. Stoway, Henrik Åhlman, Vaneet Arora, Michele Caggana, Anna Fornari, Arthur Hagar, et al. "A Novel Approach to Improve Newborn Screening for Congenital Hypothyroidism by Integrating Covariate-Adjusted Results of Different Tests into CLIR Customized Interpretive Tools." International Journal of Neonatal Screening 7, no. 2 (April 23, 2021): 23. http://dx.doi.org/10.3390/ijns7020023.
Повний текст джерелаZhou, Deyuan, Changtuan Guo, Xiaohan Wu, and Bo Zhang. "Seismic Evaluation of a Multitower Connected Building by Using Three Software Programs with Experimental Verification." Shock and Vibration 2016 (2016): 1–18. http://dx.doi.org/10.1155/2016/8215696.
Повний текст джерелаAcharya, Sushil, Priyadarshan Manohar, Peter Wu, and Walter Schilling. "Using Academia-Industry Partnerships to Enhance Software Verification & Validation Education via Active Learning Tools." Journal of Education and Learning 6, no. 2 (January 5, 2017): 69. http://dx.doi.org/10.5539/jel.v6n2p69.
Повний текст джерелаRusu, Vlad. "Combining formal verification and conformance testing for validating reactive systems." Software Testing, Verification and Reliability 13, no. 3 (2003): 157–80. http://dx.doi.org/10.1002/stvr.274.
Повний текст джерелаVerma, Shubham, and Dipti Dipti Ranjan. "EB: Eye Biometrics Based a Novel Human Recognition System for Cardless Online Payment Security Improvement in ATMs." International Journal of Engineering Research in Computer Science and Engineering 9, no. 9 (September 21, 2022): 69–76. http://dx.doi.org/10.36647/ijercse/09.09.art017.
Повний текст джерелаFAN, Yuyang, Zhi DENG, and Zihang LI. "Verification and reliability analysis of synchronizers in clock domain crossing." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 40, no. 2 (April 2022): 369–76. http://dx.doi.org/10.1051/jnwpu/20224020369.
Повний текст джерелаOleksandr, Shepeliev, and Mariia Bilova. "SOFTWARE TESTING RESULTS ANALYSIS FOR THE REQUIREMENTS CONFORMITY USING NEURAL NETWORKS." Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies, no. 2 (6) (December 28, 2021): 8–14. http://dx.doi.org/10.20998/2079-0023.2021.02.02.
Повний текст джерелаMishra, Ashutosh, and Meenu Singla. "A Software Fault Prediction on Inter- and Intra-Release Prediction Scenarios." International Journal of Open Source Software and Processes 12, no. 4 (October 2021): 1–18. http://dx.doi.org/10.4018/ijossp.287611.
Повний текст джерелаHarman, Mark, and Bogdan Korel. "Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011)." Software Testing, Verification and Reliability 23, no. 7 (September 16, 2013): 529. http://dx.doi.org/10.1002/stvr.1506.
Повний текст джерелаHarman, Mark, and Bogdan Korel. "Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011)." Software Testing, Verification and Reliability 23, no. 6 (August 27, 2013): 437. http://dx.doi.org/10.1002/stvr.1507.
Повний текст джерелаKUMAR, VIJAY, SUNIL KUMAR KHATRI, HITESH DUA, MANISHA SHARMA, and PARIDHI MATHUR. "AN ASSESSMENT OF TESTING COST WITH EFFORT-DEPENDENT FDP AND FCP UNDER LEARNING EFFECT: A GENETIC ALGORITHM APPROACH." International Journal of Reliability, Quality and Safety Engineering 21, no. 06 (December 2014): 1450027. http://dx.doi.org/10.1142/s0218539314500272.
Повний текст джерелаAl Zaabi, Abdulla, Chan Yeob Yeun, and Ernesto Damiani. "Trusting Testcases Using Blockchain-Based Repository Approach." Symmetry 13, no. 11 (October 26, 2021): 2024. http://dx.doi.org/10.3390/sym13112024.
Повний текст джерелаCronqvist, Mattias Lantz, Carl-Oscar Jonson, and Erik Prytz. "Development and Initial Validation of a Stochastic Discrete Event Simulation to Assess Disaster Preparedness." Prehospital and Disaster Medicine 34, s1 (May 2019): s118. http://dx.doi.org/10.1017/s1049023x19002528.
Повний текст джерелаWebster, Matt, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, and Anthony G. Pipe. "A corroborative approach to verification and validation of human–robot teams." International Journal of Robotics Research 39, no. 1 (November 25, 2019): 73–99. http://dx.doi.org/10.1177/0278364919883338.
Повний текст джерелаStankaitis, Paulius, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït-Ameur, Fuyuki Ishikawa, and Alexander Romanovsky. "A refinement-based development of a distributed signalling system." Formal Aspects of Computing 33, no. 6 (November 24, 2021): 1009–36. http://dx.doi.org/10.1007/s00165-021-00567-y.
Повний текст джерелаILLARRAMENDI REZABAL, MIREN, ASIER IRIARTE, AITOR ARRIETA AGUERRI,, GOIURIA SAGARDUI MENDIETA, and FELIX LARRINAGA BARRENECHEA. "DIGITAL SAFETY MANAGER: IOT SERVICE TO ASSURE THE SAFE BEHAVIOUR OF MACHINES AND CONTROLS IN THE DIGITAL INDUSTRY." DYNA 97, no. 1 (January 1, 2022): 18–22. http://dx.doi.org/10.6036/10243.
Повний текст джерелаElahi, Mohammad M., and Seyed M. Hashemi. "A Framework for Extension of Dynamic Finite Element Formulation to Flexural Vibration Analysis of Thin Plates." Shock and Vibration 2017 (2017): 1–10. http://dx.doi.org/10.1155/2017/5905417.
Повний текст джерелаBenthem, P., R. Wayth, E. de Lera Acedo, K. Zarb Adami, M. Alderighi, C. Belli, P. Bolli, et al. "The Aperture Array Verification System 1: System overview and early commissioning results." Astronomy & Astrophysics 655 (October 28, 2021): A5. http://dx.doi.org/10.1051/0004-6361/202040086.
Повний текст джерелаBenthem, P., R. Wayth, E. de Lera Acedo, K. Zarb Adami, M. Alderighi, C. Belli, P. Bolli, et al. "The Aperture Array Verification System 1: System overview and early commissioning results." Astronomy & Astrophysics 655 (October 28, 2021): A5. http://dx.doi.org/10.1051/0004-6361/202040086.
Повний текст джерелаBertolino, Antonia, and Yvan Labiche. "Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012)." Software Testing, Verification and Reliability 24, no. 5 (July 2, 2014): 339–40. http://dx.doi.org/10.1002/stvr.1541.
Повний текст джерелаFraser, Gordon, and Darko Marinov. "Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015)." Software Testing, Verification and Reliability 27, no. 6 (August 30, 2017): e1644. http://dx.doi.org/10.1002/stvr.1644.
Повний текст джерела