Academic literature on the topic 'Software testing, verification and validation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Software testing, verification and validation.'
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.
Journal articles on the topic "Software testing, verification and validation"
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 textYamada, 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 textVenugopal, 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 textPetrenko, 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.
Full textLi, 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.
Full textZhou, 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.
Full textSziray, 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.
Full textReddy, 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.
Full textVoronova, 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.
Full textMurray-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.
Full textDissertations / Theses on the topic "Software testing, verification and validation"
Tekin, Yasar. "An Automated Tool For Requirements Verification." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605401/index.pdf.
Full text#8217
s world, only those software organizations that consistently produce high quality products can succeed. This situation enforces the effective usage of defect prevention and detection techniques. One of the most effective defect detection techniques used in software development life cycle is verification of software requirements applied at the end of the requirements engineering phase. If the existing verification techniques can be automated to meet today&
#8217
s work environment needs, the effectiveness of these techniques can be increased. This study focuses on the development and implementation of an automated tool that automates verification of software requirements modeled in Aris eEPC and Organizational Chart for automatically detectable defects. The application of reading techniques on a project and comparison of results of manual and automated verification techniques applied to a project are also discussed.
Imanian, James A. "Automated test case generation for reactive software systems based on environment models." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Jun%5FImanian.pdf.
Full textThesis Advisor(s): Mikhail Auguston, James B. Michael. Includes bibliographical references (p. 55-56). Also available online.
Natraj, Shailendra. "An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4047.
Full textshailendra.natraj@gmail.com +4917671952062
Cong, Kai. "Post-silicon Functional Validation with Virtual Prototypes." Thesis, Portland State University, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3712209.
Full textPost-silicon validation has become a critical stage in the system-on-chip (SoC) development cycle, driven by increasing design complexity, higher level of integration and decreasing time-to-market. According to recent reports, post-silicon validation effort comprises more than 50% of the overall development effort of an 65nm SoC. Though post-silicon validation covers many aspects ranging from electronic properties of hardware to performance and power consumption of whole systems, a central task remains validating functional correctness of both hardware and its integration with software. There are several key challenges to achieving accelerated and low-cost post-silicon functional validation. First, there is only limited silicon observability and controllability; second, there is no good test coverage estimation over a silicon device; third, it is difficult to generate good post-silicon tests before a silicon device is available; fourth, there is no effective software robustness testing approaches to ensure the quality of hardware/software integration.
We propose a systematic approach to accelerating post-silicon functional validation with virtual prototypes. Post-silicon test coverage is estimated in the pre-silicon stage by evaluating the test cases on the virtual prototypes. Such analysis is first conducted on the initial test suite assembled by the user and subsequently on the expanded test suite which includes test cases that are automatically generated. Based on the coverage statistics of the initial test suite on the virtual prototypes, test cases are automatically generated to improve the test coverage. In the post-silicon stage, our approach supports coverage evaluation of test cases on silicon devices to ensure fidelity of early coverage evaluation. The generated test cases are issued to silicon devices to detect inconsistencies between virtual prototypes and silicon devices using conformance checking. We further extend the test case generation framework to generate and inject fault scenario with virtual prototypes for driver robustness testing. Besides virtual prototype-based fault injection, an automatic driver fault injection approach is developed to support runtime fault generation and injection for driver robustness testing. Since virtual prototype enables early driver development, our automatic driver fault injection approach can be applied to driver testing in both pre-silicon and post-silicon stages.
For preliminary evaluation, we have applied our coverage evaluation and test generation to several network adapters and their virtual prototypes. We have conducted coverage analysis for a suite of common tests on both the virtual prototypes and silicon devices. The results show that our approach can estimate the test coverage with high fidelity. Based on the coverage estimation, we have employed our automatic test generation approach to generate additional tests. When the generated test cases were issued to both virtual prototypes and silicon devices, we observed significant coverage improvement. And we detected 20 inconsistencies between virtual prototypes and silicon devices, each of which reveals a virtual prototype or silicon device defect. After we applied virtual prototype-based fault injection approach to virtual prototypes for three widely-used network adapters, we generated and injected thousands of fault scenarios and found 2 driver bugs. For automatic driver fault injection, we have applied our approach to 12 widely used drivers with either virtual prototypes or silicon devices. After testing all these drivers, we found 28 distinct bugs.
De, Sousa Barroca José Duarte. "Verification and validation of knowledge-based clinical decision support systems - a practical approach : A descriptive case study at Cambio CDS." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-104935.
Full textLacerda, Jésus Thiago Sousa. "Investigação de operadores essenciais de mutação para programas orientados a aspectos." Universidade Federal de São Carlos, 2014. https://repositorio.ufscar.br/handle/ufscar/585.
Full textFinanciadora de Estudos e Projetos
Context: The literature on software testing reports on the application of the Mutation Analysis criterion or mutation testing as a promising approach for revealing faults in aspect-oriented (AO) programs. However, it is widely known that this criterion is highly costly due to the large number of generated mutants and the effort required to identify equivalent mutants. We highlight that little existing research on mutation testing for AO programs focuses on cost reduction strategies. Objective: this work aims at investigating the cost reduction of mutation testing for AO programs. In particular, we intend to reduce the cost of mutation testing by identifying a reduced set of mutation operators that are capable of keeping the effectiveness in guaranteeing the quality of the designed test sets. Method: to achieve the goals, we applied an approach called Sufficient Procedure. Such approach yields sufficient (sets of) mutation operators. Test sets that are adequate with respect to mutants produced by sufficient operators are able to reveal the majority of faults simulated by a whole set of mutants. Results: by applying the Sufficient Procedure, we obtained substantial cost reductions for three groups of AO programs. The cost reduction in the experiments range from 52% to 62%. The final mutation scores yielded by the test sets that are adequate to mutants produced by the sufficient operators range from 92% to 94%. Conclusion: with the achieved results, we conclude that it is possible to reduce the cost of mutation testing applied to AO programs without significant losses with respect to the capacity of revealing prespecified fault types. The Sufficient Procedure has shown to be able to support cost reduction and to maintain the effectiveness of the criterion.
Contexto: A literatura de teste de software relata a aplicação do critério Análise de Mutantes ou teste de mutação em programas orientados a aspectos (OA) como uma forma promissora para revelar defeitos. Entretanto, esse critério é reconhecidamente de alto custo devido ao grande número de mutantes usualmente gerados e ao esforço para detectar os mutantes equivalentes. Ressalta-se que as iniciativas de aplicação de teste de mutação nesse contexto apresentam pouco enfoque em estratégias de redução de custo. Objetivo: este trabalho tem como objetivo investigar a redução de custo de teste de mutação para programas OA. Em específico, este trabalho objetiva reduzir o custo do teste de mutação por meio da identificação de um conjunto reduzido de operadores de mutação que mantenham a efetividade do critério em garantir a qualidade dos conjuntos de teste produzidos. Metodologia: para atingir o objetivo proposto, aplicou-se uma abordagem intitulada Procedimento Essencial, a qual resulta em conjuntos de operadores essenciais de mutação. Os testes adequados para os mutantes produzidos com esses operadores são capazes de revelar a maioria dos defeitos simulados em um conjunto completo de mutantes. Resultados: por meio da aplicação do Procedimento Essencial, foi possível obter reduções de custo substanciais para três conjuntos de programas OA. As reduções obtidas nos experimentos variam de 52% a 62%. Os escores de mutação finais alcançados pelos testes adequados aos mutantes produzidos com os operadores essenciais variam de 92% a 94%. Conclusão: com os resultados alcançados neste trabalho pode-se afirmar que é possível reduzir o custo do teste de mutação em programas OA sem perdas significativas na capacidade de revelar tipos de defeitos pré-definidos. O Procedimento Essencial mostrou-se eficaz na redução de custo e na manutenção da efetividade do critério.
Addy, Edward A. "Verification and validation in software product line engineering." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1068.
Full textTitle from document title page. Document formatted into pages; contains vi, 75 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 35-39).
von, Spakovsky Alexis P., Reffela Davidson, Ashley Mathis, and David Patterson. "Software Independent Verification and Validation (SIVandV) simplified." Monterey, California. Naval Postgraduate School, 2006. http://hdl.handle.net/10945/10063.
Full textSIVandV has been in existence for some 40 years, and many people still know little about its existence. Software IVandV certifies the quality of the software and independently validates and verifies that it meets or exceeds the customer[alpha]s expectations. Independent VandV for component or element software development activities encompasses the following: 1) review and thorough evaluations of the software development, 2) review and comment on software documentation, 3) participation in all software requirements and design reviews, and 4) participation in software integration and testing for each software build. This thesis will explore and explain the benefits and rationale for Software Independent Verification and Validation. It will identify SIVandV processes that are used to support acquisition weapon systems. [beta]SIVandV Simplified[gamma] will translate, into understandable terms, why SIVandV is considered [beta]Cheap Insurance[gamma] and why it is needed. Additionally, this thesis serves as a tutorial, providing suggested policy and guidance, suggested software Computer-Aided Software Engineering (CASE) tools, criteria, and lessons learned for implementing a successful SIVandV program.
Arno, Matthew G. (Matthew Gordon). "Verification and validation of safety related software." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/33517.
Full textArgote, Garcia Gonzalo. "Formal verification and testing of software architectural models." FIU Digital Commons, 2009. http://digitalcommons.fiu.edu/etd/1308.
Full textBooks on the topic "Software testing, verification and validation"
Haug, Michael, Eric W. Olsen, and Luisa Consolini, eds. Software Quality Approaches: Testing, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7.
Full textBeautiful testing. Sebastopol, Calif: O'Reilly, 2010.
Find full textHaug, Michael. Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.
Find full textBerglund, Tim. Building and testing with Gradle. Sebastopol, CA: O'Reilly Media, 2011.
Find full textSpecification by example: How successful teams deliver the right software. Shelter Island, N.Y: Manning, 2011.
Find full textBach, James. Lessons learned in software testing: A context-driven approach. New York: Wiley, 2002.
Find full textWorkshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.). Formal methods for trustworthy computer systems (FM89): Report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada. Edited by Craigen Dan 1953- and Summerskill Karen 1958-. London: Springer-Verlag, 1990.
Find full textIEEE International High-Level Design Validation and Test Workshop (6th 2001 Monterey, Calif.). Sixth IEEE International High-Level Design Validation and Test Workshop: Proceedings : 7-9 November, 2001. Los Alamitos, Calif: IEEE Computer Society, 2001.
Find full textIEEE Computer Society. Technical Council on Test Technology. and IEEE Computer Society. Design Automation Technical Committee., eds. Seventh IEEE International High-Level Design Validation and Test Workshop: Proceedings : 27-29 October, 2002, Cannes, France. Los Alamitos, California: IEEE Computer Society, 2002.
Find full textEngel, Avner. Verification, Validation, and Testing of Engineered Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2010. http://dx.doi.org/10.1002/9780470618851.
Full textBook chapters on the topic "Software testing, verification and validation"
Voges, U., and J. R. Taylor. "Systematic Testing." In Verification and Validation of Real-Time Software, 115–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70224-2_4.
Full textEhrenberger, W. "Statistical Testing of Real Time Software." In Verification and Validation of Real-Time Software, 147–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70224-2_5.
Full textAdir, Allon, Amir Nahir, Avi Ziv, Charles Meissner, and John Schumann. "Reaching Coverage Closure in Post-silicon Validation." In Hardware and Software: Verification and Testing, 60–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19583-9_10.
Full textHaug, Michael, Eric W. Olsen, and Luisa Consolini. "Software Process Improvement A European View." In Software Quality Approaches: Testing, Verification, and Validation, 3–15. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7_1.
Full textKadry, Wisam, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, and Vitali Sokhin. "Improving Post-silicon Validation Efficiency by Using Pre-generated Data." In Hardware and Software: Verification and Testing, 166–81. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03077-7_12.
Full textHaug, Michael, Eric W. Olsen, and Luisa Consolini. "Summaries of PIE Reports." In Software Quality Approaches: Testing, Verification, and Validation, 215–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7_10.
Full textHaug, M., and E. W. Olsen. "The EUREX Project." In Software Quality Approaches: Testing, Verification, and Validation, 17–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7_2.
Full textHaug, M., and E. W. Olsen. "The EUREX Taxonomy." In Software Quality Approaches: Testing, Verification, and Validation, 25–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7_3.
Full textConsolini, L. "Perspectives." In Software Quality Approaches: Testing, Verification, and Validation, 33–81. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7_4.
Full textConsolini, L. "Resources for Practitioners." In Software Quality Approaches: Testing, Verification, and Validation, 83–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7_5.
Full textConference papers on the topic "Software testing, verification and validation"
Bianchi, Francesco A. "Testing Concurrent Software Systems." In 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2016. http://dx.doi.org/10.1109/icst.2016.45.
Full textVemuri, Venkata Raghunath. "Testing Predictive Software in Mobile Devices." In 2008 International Conference on Software Testing, Verification, and Validation. IEEE, 2008. http://dx.doi.org/10.1109/icst.2008.61.
Full textChu, Matt, Christian Murphy, and Gail Kaiser. "Distributed In Vivo Testing of Software Applications." In 2008 International Conference on Software Testing, Verification, and Validation. IEEE, 2008. http://dx.doi.org/10.1109/icst.2008.13.
Full textDantas, Ayla, Francisco Brasileiro, and Walfredo Cirne. "Improving Automated Testing of Multi-threaded Software." In 2008 International Conference on Software Testing, Verification, and Validation. IEEE, 2008. http://dx.doi.org/10.1109/icst.2008.38.
Full textFraser, Gordon, and Neil Walkinshaw. "Behaviourally Adequate Software Testing." In 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2012. http://dx.doi.org/10.1109/icst.2012.110.
Full textTøndel, Inger Anne, Martin Gilje Jaatun, and Jostein Jensen. "Learning from Software Security Testing." In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop. IEEE, 2008. http://dx.doi.org/10.1109/icstw.2008.25.
Full textKarhu, Katja, Tiina Repo, Ossi Taipale, and Kari Smolander. "Empirical Observations on Software Testing Automation." In 2009 International Conference on Software Testing Verification and Validation (ICST). IEEE, 2009. http://dx.doi.org/10.1109/icst.2009.16.
Full textBardin, Sebastien, and Philippe Herrmann. "Structural Testing of Executables." In 2008 International Conference on Software Testing, Verification, and Validation. IEEE, 2008. http://dx.doi.org/10.1109/icst.2008.8.
Full textBenton, Bruce. "Designing and Building a Software Test Organization." In 2008 International Conference on Software Testing, Verification, and Validation. IEEE, 2008. http://dx.doi.org/10.1109/icst.2008.49.
Full textFraser, Gordon. "Gamifying software testing (keynote)." In Gamify '22: 1st International Workshop on Gamification of Software Development, Verification, and Validation. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3548771.3570193.
Full textReports on the topic "Software testing, verification and validation"
Wallace, Dolores R., and Roger U. Fujii. Software verification and validation. Gaithersburg, MD: National Institute of Standards and Technology, 1989. http://dx.doi.org/10.6028/nist.sp.500-165.
Full textOlund, Thomas S. Software Verification and Validation Procedure. Office of Scientific and Technical Information (OSTI), September 2008. http://dx.doi.org/10.2172/1027706.
Full textRiemenschneider, R. A., Theodore A. Linden, Karen Morgan, and William Vrotney. Verification and Validation of AI Software. Fort Belvoir, VA: Defense Technical Information Center, May 1992. http://dx.doi.org/10.21236/ada254601.
Full textKalinina, Elena Arkadievna. TSL-CALVIN Software Verification and Validation. Office of Scientific and Technical Information (OSTI), October 2014. http://dx.doi.org/10.2172/1163120.
Full textCollofello, James S. Introduction to Software Verification and Validation. Fort Belvoir, VA: Defense Technical Information Center, December 1988. http://dx.doi.org/10.21236/ada236117.
Full textNarahari, Bhagirath, Rahul Simha, and Alok Choudhary. Evolvable Approaches to Software Verification and Validation. Fort Belvoir, VA: Defense Technical Information Center, February 2009. http://dx.doi.org/10.21236/ada495407.
Full textSmith, Curtis L., Yong-Joon Choi, and Ling Zou. RELAP-7 Software Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), September 2014. http://dx.doi.org/10.2172/1168648.
Full textMorris, Katherine C. Architecture for Validation Testing System Software. Gaithersburg, MD: National Institute of Standards and Technology, 1991. http://dx.doi.org/10.6028/nist.ir.4742.
Full textRae J. Nims and Kent M. Norris. SAPHIRE 8 Software Independent Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), February 2010. http://dx.doi.org/10.2172/974787.
Full textRae J. Nims. SAPHIRE 8 Software Independent Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), April 2009. http://dx.doi.org/10.2172/957547.
Full text