咨询与建议

限定检索结果

文献类型

  • 17 篇 会议
  • 9 篇 期刊文献

馆藏范围

  • 26 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 25 篇 工学
    • 21 篇 软件工程
    • 17 篇 计算机科学与技术...
    • 5 篇 电气工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 26 篇 coverage testing
  • 5 篇 automated test g...
  • 5 篇 mutation testing
  • 5 篇 software testing
  • 3 篇 experimental sof...
  • 3 篇 testing tools
  • 3 篇 relative coverag...
  • 2 篇 testing tool
  • 2 篇 concolic testing
  • 2 篇 fuzzing
  • 2 篇 program spectra
  • 2 篇 automotive softw...
  • 2 篇 operational cove...
  • 1 篇 travis ci
  • 1 篇 operational prof...
  • 1 篇 python mutation ...
  • 1 篇 constraint logic...
  • 1 篇 coverage tools
  • 1 篇 rssi
  • 1 篇 adjacency list

机构

  • 2 篇 univ fed sao car...
  • 1 篇 fdn bruno kessle...
  • 1 篇 hyundai mobis 17...
  • 1 篇 natl chiao tung ...
  • 1 篇 vnu univ sci han...
  • 1 篇 irtifa technol c...
  • 1 篇 ucl crest ctr en...
  • 1 篇 nanjing univ sta...
  • 1 篇 berner & mattner...
  • 1 篇 japan adv inst s...
  • 1 篇 isti cnr via mor...
  • 1 篇 telcordia techno...
  • 1 篇 univ porto fac e...
  • 1 篇 univ politehn bu...
  • 1 篇 gaio tech co
  • 1 篇 hsiuping inst te...
  • 1 篇 institute of tec...
  • 1 篇 univ politecn va...
  • 1 篇 indian inst tech...
  • 1 篇 sch. of comp. sc...

作者

  • 3 篇 miranda breno
  • 3 篇 bertolino antoni...
  • 2 篇 lee dongju
  • 2 篇 vincenzi auri m....
  • 2 篇 kim moonzoo
  • 2 篇 huang shih-kun
  • 2 篇 yeh chao-chun
  • 2 篇 baek junki
  • 2 篇 kim yunho
  • 1 篇 muggleton stephe...
  • 1 篇 hirschfeld rober...
  • 1 篇 guilherme vitor ...
  • 1 篇 tang ke
  • 1 篇 wegener joachim
  • 1 篇 mansour n
  • 1 篇 guerino lucca r.
  • 1 篇 buchbinder yarde...
  • 1 篇 niephaus fabio
  • 1 篇 vos tanja e. j.
  • 1 篇 chou wei-sheng

语言

  • 25 篇 英文
  • 1 篇 中文
检索条件"主题词=coverage testing"
26 条 记 录,以下是21-30 订阅
排序:
When Does It Pay Off to Use Sophisticated Entailment Engines in ILP?
收藏 引用
20th International Conference on Inductive Logic Programming (ILP)
作者: Santos, Jose Muggleton, Stephen Imperial Coll London Dept Comp London England
Entailment is an important problem in computational logic particularly relevant to the Inductive Logic Programming (ILP) community as it is at the core of the hypothesis coverage test which is often the bottleneck of ... 详细信息
来源: 评论
Validation of SDL specifications using EFSM-based test generation
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2009年 第11期51卷 1505-1519页
作者: Wong, W. Eric Restrepo, Andy Choi, Byoungju Univ Texas Dallas Dept Comp Sci Richardson TX 75083 USA Ewha Womans Univ Dept Comp Sci & Engn Seoul South Korea
Existing methods for testing an SDL specification mainly allow for either black box simulation or conformance testing to verify that the behavior of an implementation matches its corresponding model. However, this rel... 详细信息
来源: 评论
Algorithm for calculating the branch routes of an assembly program in software coverage testing
收藏 引用
Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China 2005年 第2期34卷 236-239页
作者: Tang, Ke Wang, Wen-Yong Xiang, Yu Luo, Guang-Chun Sch. of Comp. Sci. and Eng. UEST of China Chengdu 610054 China
coverage testing is a basic method for dynamic software testing. An algorithm is proposed for calculating the branch routes of an embedded assembly program in software coverage testing. The correctness of the algorith... 详细信息
来源: 评论
testing web applications
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2006年 第1期48卷 31-42页
作者: Mansour, N Houri, M Lebanese Amer Univ Div Math & Comp Sci Beirut 11208 Lebanon
Traditional testing techniques are not adequate for web-based applications, since they miss their additional features such as their multi-tier nature, hyperlink-based structure, and event-driven feature. Limited work ... 详细信息
来源: 评论
IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming  03
IBIS: an Interactive Bytecode Inspection System, using symbo...
收藏 引用
Proceedings of the 2nd international conference on Principles and practice of programming in Java
作者: J. Doyle C. Meudec Institute of Technology Carlow Carlow Ireland
A fundamental area of software engineering that remains a challenge is the delivery of software with the minimum of remaining defects. The principal technique currently used in the software industry for the verificati... 详细信息
来源: 评论
χSuds-SDL:: A tool for testing software architecture specifications
收藏 引用
SOFTWARE QUALITY JOURNAL 1999年 第4期8卷 241-253页
作者: Li, JJ Horgan, JR Telcordia Technol Morristown NJ 07960 USA
Available statistical data shows that the cost of repairing software faults rises dramatically in later development stages. In particular, the new technology of generating implementation code from architectural specif... 详细信息
来源: 评论