Добірка наукової літератури з теми "Software testing, verification and validation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Software testing, verification and validation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "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.
Повний текст джерела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.
Повний текст джерелаДисертації з теми "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.
Повний текст джерела#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.
Повний текст джерелаThesis 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.
Повний текст джерелаshailendra.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.
Повний текст джерелаPost-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.
Повний текст джерелаLacerda, 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.
Повний текст джерелаFinanciadora 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.
Повний текст джерелаTitle 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.
Повний текст джерелаSIVandV 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.
Повний текст джерелаArgote, Garcia Gonzalo. "Formal verification and testing of software architectural models." FIU Digital Commons, 2009. http://digitalcommons.fiu.edu/etd/1308.
Повний текст джерелаКниги з теми "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.
Повний текст джерелаBeautiful testing. Sebastopol, Calif: O'Reilly, 2010.
Знайти повний текст джерелаHaug, Michael. Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.
Знайти повний текст джерелаBerglund, Tim. Building and testing with Gradle. Sebastopol, CA: O'Reilly Media, 2011.
Знайти повний текст джерелаSpecification by example: How successful teams deliver the right software. Shelter Island, N.Y: Manning, 2011.
Знайти повний текст джерелаBach, James. Lessons learned in software testing: A context-driven approach. New York: Wiley, 2002.
Знайти повний текст джерелаWorkshop 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.
Знайти повний текст джерелаIEEE 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.
Знайти повний текст джерелаIEEE 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.
Знайти повний текст джерелаEngel, Avner. Verification, Validation, and Testing of Engineered Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2010. http://dx.doi.org/10.1002/9780470618851.
Повний текст джерелаЧастини книг з теми "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.
Повний текст джерелаEhrenberger, 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.
Повний текст джерелаAdir, 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.
Повний текст джерелаHaug, 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.
Повний текст джерелаKadry, 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.
Повний текст джерелаHaug, 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.
Повний текст джерелаHaug, 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.
Повний текст джерелаHaug, 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.
Повний текст джерелаConsolini, 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.
Повний текст джерелаConsolini, 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.
Повний текст джерелаТези доповідей конференцій з теми "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.
Повний текст джерелаVemuri, 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.
Повний текст джерелаChu, 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.
Повний текст джерелаDantas, 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.
Повний текст джерелаFraser, 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.
Повний текст джерелаTø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.
Повний текст джерелаKarhu, 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.
Повний текст джерелаBardin, 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.
Повний текст джерелаBenton, 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.
Повний текст джерелаFraser, 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.
Повний текст джерелаЗвіти організацій з теми "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.
Повний текст джерелаOlund, Thomas S. Software Verification and Validation Procedure. Office of Scientific and Technical Information (OSTI), September 2008. http://dx.doi.org/10.2172/1027706.
Повний текст джерелаRiemenschneider, 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.
Повний текст джерелаKalinina, Elena Arkadievna. TSL-CALVIN Software Verification and Validation. Office of Scientific and Technical Information (OSTI), October 2014. http://dx.doi.org/10.2172/1163120.
Повний текст джерелаCollofello, James S. Introduction to Software Verification and Validation. Fort Belvoir, VA: Defense Technical Information Center, December 1988. http://dx.doi.org/10.21236/ada236117.
Повний текст джерелаNarahari, 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.
Повний текст джерелаSmith, 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.
Повний текст джерелаMorris, 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.
Повний текст джерелаRae 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.
Повний текст джерелаRae 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.
Повний текст джерела