首页> 外文OA文献 >Requirements Discovery during the Testing of Safety-Critical Software

【2h】

Requirements Discovery during the Testing of Safety-Critical Software

机译：安全关键软件测试期间的需求发现

页面导航

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

著录项

作者
Robyn R. Lutz;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification [J] . Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo, Reliability Engineering & System Safety . 2005,第3期

机译：基于软件检查，需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
2. Quantitative software reliability assessment methodology based on Bayesian belief networks and statistical testing for safety-critical software [J] . Cai Yuanfeng, Wu Yichun, Zhou Junyi, Annals of nuclear energy . 2020,第Sepa期

机译：基于贝叶斯信仰网络的定量软件可靠性评估方法及安全关键软件的统计测试
3. Software Testing Techniques for Safety-Critical Embedded Software [J] . Ah Young Sung, Byoung Ju Choi Transactions of the American nuclear society . 2003,第Nov期

机译：安全关键嵌入式软件的软件测试技术
4. Requirements discovery during the testing of safety-critical software [C] . Robyn R. Lutz, Ines Carmen Mikulski International Conference on Software Engineering . 2003

机译：安全关键软件测试期间的需求发现
5. VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software [D] . Bolazar, Sefik Kanat 2013

机译：VERDICTS：视觉探索性需求发现和注入，用于软件的理解和测试
6. Agile Methods for Open Source Safety-Critical Software [O] . Kevin Gary, Andinet Enquobahrie, Luis Ibanez, -1

机译：敏捷方法的开源安全关键软件
7. DEVELOPMENT OF A TEST FACILITY AND ITS APPLICATION FOR VALIDATION AND RELIABILITY TESTING OF SAFETY-CRITICAL SOFTWARE [O] . M. Zhao, N. Tailor 2015

机译：测试设备的开发及其在安全关键软件验证和可靠性测试中的应用
8. Requirements discovery during the testing of safety-critical software [R] . Lutz, R., Mikulski, I. C. 2003

机译：安全关键软件测试期间的需求发现

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号