咨询与建议

限定检索结果

文献类型

  • 36 篇 期刊文献
  • 34 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 66 篇 工学
    • 54 篇 计算机科学与技术...
    • 31 篇 软件工程
    • 22 篇 电气工程
    • 7 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 电子科学与技术(可...
    • 1 篇 网络空间安全
  • 6 篇 管理学
    • 5 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 4 篇 理学
    • 3 篇 数学
    • 1 篇 化学
    • 1 篇 生物学

主题

  • 70 篇 path coverage
  • 12 篇 automated test c...
  • 10 篇 software testing
  • 10 篇 genetic algorith...
  • 9 篇 test data genera...
  • 8 篇 test data
  • 4 篇 differential evo...
  • 3 篇 test case select...
  • 3 篇 classification-t...
  • 3 篇 test case genera...
  • 3 篇 mpi program
  • 3 篇 optimization
  • 3 篇 category-partiti...
  • 3 篇 test cases
  • 3 篇 fuzzing
  • 3 篇 genetic algorith...
  • 3 篇 code coverage
  • 3 篇 parallel program
  • 3 篇 testing
  • 3 篇 object oriented ...

机构

  • 4 篇 shandong jianzhu...
  • 4 篇 china univ min &...
  • 3 篇 yangtze univ sch...
  • 3 篇 south china univ...
  • 2 篇 univ politecn ca...
  • 2 篇 cuny ny 10021 us...
  • 2 篇 swinburne univ t...
  • 2 篇 city univ hong k...
  • 2 篇 hong kong polyte...
  • 1 篇 rapita syst ltd ...
  • 1 篇 shantou univ col...
  • 1 篇 univ essex dept ...
  • 1 篇 barcelona superc...
  • 1 篇 nanjing univ ins...
  • 1 篇 pohang univ sci ...
  • 1 篇 yancheng teacher...
  • 1 篇 nucl power inst ...
  • 1 篇 china univ petr ...
  • 1 篇 sichuan univ col...
  • 1 篇 sichuan univ nat...

作者

  • 8 篇 gong dunwei
  • 6 篇 tian tian
  • 3 篇 hu zhongbo
  • 3 篇 abella jaume
  • 3 篇 cai gaocheng
  • 3 篇 liu fangqing
  • 3 篇 huang han
  • 3 篇 su qinghua
  • 2 篇 bar-noy amotz
  • 2 篇 shamoun simon
  • 2 篇 yang su
  • 2 篇 hao zhifeng
  • 2 篇 panda madhumita
  • 2 篇 chen ty
  • 2 篇 gu qiong
  • 2 篇 yu yt
  • 2 篇 poon pl
  • 2 篇 sun baicai
  • 2 篇 yan zhang
  • 2 篇 dunwei gong

语言

  • 68 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"主题词=Path coverage"
70 条 记 录,以下是31-40 订阅
排序:
Dependence Guided Symbolic Execution
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2017年 第3期43卷 252-271页
作者: Wang, Haijun Liu, Ting Guan, Xiaohong Shen, Chao Zheng, Qinghua Yang, Zijiang Xi An Jiao Tong Univ Minist Educ Key Lab Intelligent Networks & Network Secur MOEK Sch Elect & Informat Engn Xian 710049 Peoples R China Western Michigan Univ Dept Comp Sci Kalamazoo MI 49008 USA
Symbolic execution is a powerful technique for systematically exploring the paths of a program and generating the corresponding test inputs. However, its practical usage is often limited by the path explosion problem,... 详细信息
来源: 评论
A study on a path-based strategy for selecting black-box generated test cases
收藏 引用
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2001年 第2期11卷 113-138页
作者: Yu, YT Tang, SF Poon, PL Chen, TY City Univ Hong Kong Dept Comp Sci Kowloon Hong Kong Peoples R China Hong Kong Polytech Univ Dept Accountancy Kowloon Hong Kong Peoples R China Swinburne Univ Technol Sch Informat Technol Hawthorn Vic 3122 Australia
Various black-box methods for the generation of test cases have been proposed in the literature. Many of these methods, including the category-partition method and the classification-tree method, follow the approach o... 详细信息
来源: 评论
Genetic algorithm based test data generation for MPI parallel programs with blocking communication
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 2019年 第0期155卷 130-144页
作者: Tian, Tian Gong, Dunwei Kuo, Fei-Ching Liu, Huai Shandong Jianzhu Univ Sch Comp Sci & Technol Jinan 250101 Shandong Peoples R China China Univ Min & Technol Sch Informat & Control Engn Xuzhou 221116 Jiangsu Peoples R China Swinburne Univ Technol Dept Comp Sci & Software Engn Hawthorn Vic 3122 Australia
Parallel computing is one of mainstream techniques for high-performance computation in which MPI parallel programs have gained more and more attention. Genetic algorithms (GAs) have been widely employed in automated t... 详细信息
来源: 评论
On the coverage Process of a Moving Point Target in a Non-Uniform Dynamic Sensor Field
收藏 引用
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS 2009年 第7期27卷 1245-1255页
作者: Manohar, Pallavi Manjunath, D. Indian Inst Technol Bharti Ctr Commun Dept Elecl Engg Bombay Maharashtra India
We analyze the statistical properties of the k-coverage of a point-target moving in a straight line in a non-uniform dynamic sensor field. Sensor locations form a spatial point process. The environmental variation is ... 详细信息
来源: 评论
Quantification of Software Code coverage Using Artificial Bee Colony Optimization Based on Markov Approach
收藏 引用
ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING 2017年 第8期42卷 3503-3519页
作者: Boopathi, Muthusamy Sujatha, Ramalingam Senthil Kumar, Chandran Narasimman, Srinivasan SSN Coll Engn Dept Math Kalavakkam 603110 India Atom Energy Regulatory Board Safety Res Inst Kalpakkam 603102 Tamil Nadu India
Software test suite generation and development of techniques to optimize the test suite are vital parts of the software development life cycle. In this paper, a combination of Markov chain and artificial bee colony (A... 详细信息
来源: 评论
Connecting priority algorithm for node deployment in directional sensor networks
收藏 引用
INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING 2017年 第1期8卷 29-37页
作者: Tan, Li Chen, Yucheng Yang, Minghua Hu, Jipeng Lian, Jingjing Beijing Technol & Business Univ Sch Comp & Informat Engn Dept Comp Sci 11 Fucheng RdPOB 100048 Beijing Peoples R China
According to the existing directional sensor networks, the centroid point of node model mostly rotate around the sector vertex. As in this model, the node rotation area is a full circle, therefore multiply the network... 详细信息
来源: 评论
Experimental Testing of a path Manager for Unmanned Surface Vehicles in Survey Missions
收藏 引用
IFAC-PapersOnLine 2018年 第29期51卷 226-231页
作者: Iovino, S. Savvaris, A. Tsourdos, A. Cranfield University CranfieldBedfordshireMK43 0AL United Kingdom
This paper presents the experimental testing of an intermediate guidance level for Unmanned Surface Vehicles (USV). The work aims to deal with specific requirements when the execution of survey operations is performed... 详细信息
来源: 评论
Search-Based Algorithm With Scatter Search Strategy for Automated Test Case Generation of NLP Toolkit
收藏 引用
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE 2021年 第3期5卷 491-503页
作者: Liu, Fangqing Huang, Han Yang, Zhongming Hao, Zhifeng Wang, Jiangping South China Univ Technol Sch Software Engn Guangzhou 510006 Peoples R China Jilin Univ Key Lab Symbol Computat & Knowledge Engn Minist Educ Changchun 130012 Peoples R China Guangdong Inst Sci & Technol Coll Comp Engn Tech Zhuhai 510640 Peoples R China Guangdong Univ Technol Sch Comp Guangzhou 510090 Peoples R China Foshan Univ Sch Math & Big Date Foshan 528000 Peoples R China BeMing Software Co Ltd Guangzhou 510663 Peoples R China
Natural language processing (NLP), as a theory-motivated computational technique, has extensive applications. Automated test case generation based on path coverage, which is a popular structural testing activity, can ... 详细信息
来源: 评论
Data Flow Based Test Case Generation Algorithm for Object Oriented Integration Testing  6
Data Flow Based Test Case Generation Algorithm for Object Or...
收藏 引用
6th IEEE International Conference on Software Engineering and Service Science (ICSESS)
作者: Waheed, Shahzada Zeeshan Qamar, Usman NUST Pakistan Natl Univ Sci & Technol Dept Comp Engn Islamabad Pakistan
Testing is way of insuring quality of the product. Object oriented testing is challenging task. It becomes more intense in integration level when different units interact for proper functioning of system. These Intera... 详细信息
来源: 评论
Application of Genetic Algorithm in Automatic Software Testing
Application of Genetic Algorithm in Automatic Software Testi...
收藏 引用
2nd International Conference on Networked Digital Technologies
作者: Babamir, Faezeh Sadat Hatamizadeh, Alireza Babamir, Seyed Mehrdad Dabbaghian, Mehdi Norouzi, Ali Shahid Bahonar Univ Kerman Dept Comp Sci Kerman Iran Natl Acad Sci Inst IT Azerbaijan Baku Azerbaijan Sharif Univ Technol Dept Elect Engn Tehran Iran Roozbeh Inst Higer Educ Dept Comp Engn Zanjan Iran Tech Univ Istanbul Dept Comp Engn Istanbul Turkey
One of the major challenge and time-consuming work is optimum test data generation to assure software quality. Researchers have proposed several methods over years to generate automatically solution which have differe... 详细信息
来源: 评论