210,879 Hits in 6.7 sec

Route and Path Choices of Freight Vehicles: A Case Study with Floating Car Data

Antonello Ignazio Croce, Giuseppe Musolino, Corrado Rindone, Antonino Vitetta
2020 Sustainability  
(VRP)) and identification of common elements in the PCP and VRP concerning the criteria in the two decision levels and the procedure for route and path selection and choice.  ...  The path choice probability can be estimated with two models: a choice model of the path choice set and a choice model of a path (Mansky paradigm).  ...  In this research, the paper's contribution concerns the experimental analysis and comparison of a set of criteria for both the path and route choice decision processes.  ... 
doi:10.3390/su12208557 fatcat:7wnjvc44frfvtol6ihvmj56xwe

Towards a Theory for Testing Non-terminating Programs

Arnaud Gotlieb, Matthieu Petit
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
We discuss the consequences of this re-interpretation of test data adequacy criteria w.r.t. existing test coverage criteria.  ...  Reasoning at the program semantics level permits to cope with infinite paths (and non-feasible paths) when defining test data adequacy criteria.  ...  The comparison of the All-k-words criteria with the three main control flow criteria leads to a more surprising result.  ... 
doi:10.1109/compsac.2009.30 dblp:conf/compsac/GotliebP09 fatcat:vmpmobvocramrcyfebtpgnkefy

Propose a new algorithm of routing with information collected locally

Tran Minh Anh, Nguyen Chien Trinh
2016 Journal of Science and Technology Issue on Information and Communications Technology  
In this paper, we introduce a new algorithm of routing like that type for assuring the quality of network as well as quality of services.  ...  This trend leads to a new solution for satisfying the higher and higher demand of telecom market in the near future.  ...  Besides, the value of end-to-end delay of each candidate path is the main metric for comparison of selecting path.  ... 
doi:10.31130/jst.2016.30 fatcat:jld2zl7djfeixe5mj5g67dzxnm

An Efficient Test Data Generation Approach for Unit Testing

Anil Kumar Gupta, Fayaz Ahmad Khan
2016 IOSR Journal of Computer Engineering  
Test data generation activity has a strong impact on the effectiveness and efficiency of the whole testing process.  ...  In addition to the proposed approach, the classification of test adequacy criteria and issues with random, symbolic execution and genetic algorithm based test data generation techniques are also provided  ...  Data Flow Based Criteria's a) All definition Criterion. b) All Uses Criterion. c) Interactions between variables (The Ntafos required K-touples Criteria). d) Combinations of Definitions ( Laski-Korel Criteria  ... 
doi:10.9790/0661-18040597107 fatcat:7pykxgh7knb6znj37rdct5wd4y

Supplementary_Information_WMR785735 – Supplemental material for How to identify suitable ways for the hydrothermal treatment of wet bio-waste? A critical review and methods proposal

Daniel Reißmann, Daniela Thrän, Alberto Bezama
2018 Figshare  
A critical review and methods proposal by Daniel Reißmann, Daniela Thrän and Alberto Bezama in Waste Management & Research  ...  Supplemental material, Supplementary_Information_WMR785735 for How to identify suitable ways for the hydrothermal treatment of wet bio-waste?  ...  Objectivity Involvement of expert feedback in criteria selection: No -criteria selection is not a part of PROMETHEE. Criteria must be already given.  ... 
doi:10.25384/sage.6848309 fatcat:bh2y5cz3kjfifh2ipsjw56cqqe

Software unit test coverage and adequacy

Hong Zhu, Patrick A. V. Hall, John H. R. May
1997 ACM Computing Surveys  
A review of criteria classification is followed by a summary of the methods for comparison and assessment of criteria.  ...  Objective measurement of test quality is one of the key issues in software testing. It has been a major research focus for the last two decades.  ...  Data-flow adequacy criteria use data-flow information in the program and select paths that are significant with respect to such information.  ... 
doi:10.1145/267580.267590 fatcat:h5k24t6gqnhnpagkebayngjjpa

Automated Test Cases and Test Data Generation for Dynamic Structural Testing in Automatic Programming Assessment Using MC/DC

Rohaida Romli, Shahadath Sarker, Mazni Omar, Musyrifah Mahmod
2020 International Journal on Advanced Science, Engineering and Information Technology  
Having to execute dynamic testing in APA, providing an adequate set of test data via a systematic process of test data generation is necessarily essential.  ...  Thus, we propose a method that utilizes MC/DC coverage criteria to support more thorough automated test data generation for dynamic-structural testing in APA (or is called DyStruc-TDG).  ...  ACKNOWLEDGMENT We would like to acknowledge the Ministry of Higher Education Malaysia -FRGS Fund (S/O Code: 12821) of Universiti Utara Malaysia for supporting this work.  ... 
doi:10.18517/ijaseit.10.1.10166 fatcat:6eelsqxmsjcnfjpd4elvwziije

Enhanced Adaptive Random Test Case Prioritization for Model-based Test Suites

Tomas Pospisil, Jan Sobotka, Jiri Novak
2020 Acta Polytechnica Hungarica  
The key idea behind the presented enhancement is to extend the test case selection process with additional information about control flow and change of test statements coverage, of a test suite.  ...  The enhancement replaces the original Test set distance function with a Multi-Criteria Decision-Making method. Validity of the proposed method is evaluated on data from six embedded systems.  ...  Acknowledgement The work was supported from ERDF/ESF project "Advanced Testing of Automotive Radars" (No. CZ.02.1.01/0.0/0.0/16_025/0007318). This support is gratefully acknowledged.  ... 
doi:10.12700/aph.17.7.2020.7.7 fatcat:pxc4einlzbg7jm5yjxiczn4hmm

Automatic Test Data Generation Using Data Flow Information

2000 Doğuş Üniversitesi Dergisi  
This paper presents a tool for automatically generating test data for Pascal programs that satisfy the data flow criteria.  ...  flow graph.  ...  Our selection is based on experimental comparisons of the fault-detecting ability of several test data adequacy criteria [4] , [5] , [6] .  ... 
doi:10.31671/dogus.2019.387 fatcat:2p4ipuljyfhnfirmcssywvahai

Efficient Path Selection Strategy Based on Static Analysis for Regression Testing

Mrinal Kanti Debbarma, Shailesh Tiwari, A. K. Misra
2013 Journal of clean energy technologies  
Another problem may occur, when tester has to select the changed paths from the set of modified paths for test case execution.  ...  With the proposed approach, tester can select the paths among the set of paths in an order to achieve the testing objective.  ...  In Data Flow based criteria, both data flow and control flow information are used to perform testing requirements [15] . These coverage criteria are based on code coverage.  ... 
doi:10.7763/ijcte.2013.v5.687 fatcat:6za6f66ov5dqzdwpgiwdszcnzy

Knowledge-driven Site Selection via Urban Knowledge Graph [article]

Yu Liu, Jingtao Ding, Yong Li
2021 arXiv   pre-print
Especially, the wide application of artificial intelligence with multi-source urban data makes intelligent site selection promising.  ...  With multi-relational message passing and relation path-based attention mechanism developed, KnowSite successfully reveals the relationship between various businesses and site selection criteria.  ...  Thus, based on UrbanKG and key criteria in traditional site selection [44, 45] , we summarize the relation paths for site selection in Table 2 . 𝑟 𝑂𝑆𝐴 −→ Region 𝑟 𝑆𝐹 −→ Region Region Flow Brand  ... 
arXiv:2111.00787v1 fatcat:vkymdi6ytrbhzlr4ub2ypeel5y

Software requirements validation via task analysis

Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
2002 Journal of Systems and Software  
data flow paths is a subset of cycle once data flow paths; and the set cycle once data flow paths is a all data flow paths.  ...  The subsume relation between adequacy criteria is essentially a comparison of the strictness of testing methods.  ...  Appendix A. Bank system requirement definition dictionaries If the personal information is valid, the validation process outputs true as the value of valid, otherwise, it outputs false.  ... 
doi:10.1016/s0164-1212(01)00109-1 fatcat:c6sxtpcadbaoln6okowh4s5ylm

A New Routing Algorithm: Mirad

Amir Gholami Pastaki, Ali Reza Sahab, Seyed Mehdi Sadeghi
2011 Zenodo  
Simulation results of the proposed algorithm show a better efficiency in comparison with similar algorithms.  ...  Many of these algorithms prevent flows through bottlenecks of the network in order to perform load balancing, which impedes optimum operation of the network.  ...  Using explicit LSP in MPLS, it is possible to allocate a specific path for every data flow in the network, and reserve its required resources there.  ... 
doi:10.5281/zenodo.1077558 fatcat:hinzogoxobbnpekz4pzwdo7kou

Enhancing Path Selection in Multihomed Nodes [chapter]

Bruno Sousa, Kostas Pentikousis, Marilia Curado
2013 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
In addition, we establish a MADM evaluation methodology based on statistical analysis that enables an objective comparison between MADM mechanisms and respective functions for path selection.  ...  Path selection in multihomed nodes can be enhanced by optimization techniques that consider multiple criteria.  ...  In the path selection problem, TOPSIS is employed as a mechanism to select the best path to enable flow distribution [7] .  ... 
doi:10.1007/978-3-319-04277-0_6 fatcat:motjuvbajbdbnll6a7dzt5gzeu


2005 Journal of the Eastern Asia Society for Transportation Studies  
In this paper, the methodology for selecting the most preferred solution from a set of non-dominated solutions developed by a multi-objective automatic vehicle identification (AVI) reader location model  ...  The proposed method is applied to select the most preferred configuration of an AVI system for the simplified Irvine network in Orange County, California as a case study.  ...  It is developed to cope with the lack of ability to distinguish what kind of information is inherited in a reading in the other criteria. This criterion can be obtained by analyzing path flows.  ... 
doi:10.11175/easts.6.2441 fatcat:leaib2nr6fefdnkvx6777mrku4
« Previous Showing results 1 — 15 out of 210,879 results