Planning for software validation, verification, and testing /

机译：规划软件验证，验证和测试/

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Powell, Patricia B.; Center for Programming Science and Technology (Institute for Computer Science and Technology);
展开▼
作者单位

展开▼
年度 1982
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018 [J] . Feldt Robert, Yoo Shin Software Testing, Verification and Reliability . 2021,第1a2期

机译：特别问题：IEEE软件测试国际会议，验证和验证2018年
2. The IEEE 12th International Conference on Software Testing, Verification & Validation [J] . Memon Atif M., Cohen Myra B. Software Testing, Verification and Reliability . 2021,第4期

机译：IEEE第12届软件测试国际会议，验证和验证
3. Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017) [J] . Schieferdecker Ina, Memon Atif, Washizaki Hironori Software Testing, Verification and Reliability . 2020,第7a8期

机译：编辑为STVR在第10 IEEE软件测试，验证和验证国际会议上的STVR（ICST 2017）
4. Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation [C] . Shaoying Liu 2016 International Symposium on System and Software Reliability . 2016

机译：算法功能定理的基于测试的形式验证及其在软件验证中的应用
5. Development and Validation of Feedback-Based Testing Tutor Tool to Support Software Testing Pedagogy [D] . Cordova, Lucas Pascual. 2020

机译：基于反馈的测试导师工具的开发与验证支持软件测试教育学
6. Validation of virtual water phantom software for pre‐treatment verification of single‐isocenter multiple‐target stereotactic radiosurgery [O] . Juan‐Francisco Calvo‐Ortega, Peter B. Greer, Marcelino Hermida‐López, 2021

机译：用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
7. Independent Verification and Validation Of SAPHIRE 8 Software Acceptance Test Plan Project Number: N6423 U.S. Nuclear Regulatory Commission [O] . Norris, Kent 2010

机译：sapHIRE 8软件验收测试计划的独立验证和验证项目编号：N6423美国核管理委员会
8. Guideline for Lifecycle Validation, Verification, and Testing of Computer Software. Category: Software. Subcategory: Validation, Verification, and Testing [R] . Wallace, D. R. 1983

机译：计算机软件生命周期验证，验证和测试指南。类别：软件。子类别：验证，验证和测试

Planning for software validation, verification, and testing /

著录项

引文网络

相似文献

相关主题

期刊订阅