首页> 外文OA文献 >On the coverage of program code by specification-based tests

【2h】

On the coverage of program code by specification-based tests

机译：基于规范的测试对程序代码的覆盖

页面导航

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

摘要

School of Accounting and Finance

机译：会计与金融学院

著录项

作者
Yu YT; Chan YKE; Poon PL;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages [J] . Kazunori SAKAMOTO, Fuyuki ISHIKAWA, Hironori WASHIZAKI, IEICE transactions on information and systems . 2011,第12期

机译：开放代码覆盖率框架：一种用于支持多种编程语言的一致性，灵活和完整的测试覆盖率度量的框架
2. Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages [J] . Kazunori SAKAMOTO, Fuyuki ISHIKAWA, Hironori WASHIZAKI, IEICE Transactions on Information and Systems . 2011,第12期

机译：开放代码覆盖率框架：一种用于支持多种编程语言的一致性，灵活而完整的测试覆盖率度量的框架
3. TestEra: Specification-Based Testing of Java Programs Using SAT [J] . SARFRAZ KHURSHID, DARKO MARINOV Automated software engineering . 2004,第4期

机译：TestEra：使用SAT的基于规范的Java程序测试
4. On the Coverage of Program Code by Specification-Based Tests [C] . Yu Y. T., Chan Eric Y. K., Poon P.-L. Quality Software, 2009. QSIC '09 . 2009

机译：基于规范的测试对程序代码的覆盖
5. On the effectiveness of specification-based structural test-coverage criteria as test-data generators for safety-critical systems. [D] . George, Devaraj. 2012

机译：基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
6. Improved HIV testing coverage after scale-up of antiretroviral therapy programs in urban Zambia: Evidence from serial hospital surveillance [O] . Nzali G. Kancheya, Atia K. Jordan, Isaac S. Zulu, -1

机译：改善了城市赞比亚抗逆转录病毒治疗方案的扩大后的艾滋病毒检测覆盖：来自串行医院监测的证据
7. A Specification-Based Coverage Metric To Evaluate Test Sets [O] . Paul E. Ammann, Paul E. Black 1999

机译：基于规范的覆盖度量评估测试集
8. Specification-Based Coverage Metric to Evaluate Test Sets [R] . Ammann, P. E., Black, P. E. 1999

机译：基于规范的覆盖度量来评估测试集

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号