检索结果-内蒙古大学图书馆

15th International Symposium on Software Reliability Engineering

作者： Alyokhin, V Elbel, B Rothfelder, M Pretschner, A ETH Dept Informat Zurich Switzerland

ISBN: (纸本)0769522157

Continuous Function Charts are a diagrammatical language for the specification of mixed discrete-continuous embedded systems, similar to the languages of Matlab/Simulink, and often used in the domain of transportation systems. Both control and data flows are explicitly specified when atomic units of computation are composed. The obvious way to assess the quality of integration test suites is to compute known coverage metrics for the generated code. This production code does not exhibit those structures that would make it amenable to "relevant" coverage measurements. We define a translation scheme that results in structures relevant for such measurements, apply coverage criteria for both control and data flows at the level of composition of atomic computational units, and argue for their usefulness on the grounds of detected errors.

关键词： integration testing model-based testing mixed continuous-discrete and real-time systems MC/DC data flow testing block diagrams

来源：评论

学校读者我要写书评

暂无评论

data flow Reduction Based Test Case Generation for Smart Contracts 29

Data Flow Reduction Based Test Case Generation for Smart Con...

引用

29th Asia-Pacific Software Engineering Conference (APSEC)

作者： Ji, Shunhui Zhu, Shaoqing Zhang, Pengcheng Dong, Hai Hohai Univ Key Lab Water Big Data Technol Minist Water Resources Nanjing Peoples R China Hohai Univ Coll Comp & Informat Nanjing Peoples R China RMIT Univ Sch Comp Technol Melbourne Australia

ISBN: (纸本)9781665455374

With the widespread use of smart contracts, security incidents caused by improper programming have drawn increasing attention. data flow correctness is a fundamental and vital requirement for smart contracts. Although test cases generated by existing approaches for data flow testing of smart contracts can achieve certain coverage, not all def-use (definition-use) pairs are covered, which may result in some errors not being detected. To further improve the adequacy and efficiency of testing, we present an approach named TCG-Re (Test Case Generation Combined with data flow Reduction) to generate test cases for data flow testing of smart contracts. data flow reduction is performed to reduce redundant def-use pairs and obtain the final test requirements in a smart contract. The test case generation process is optimized to improve the coverage of the generated test cases for the def-use pairs. We collect 30 smart contracts of different scales to perform experimental evaluation. The result shows that, compared with other existing approaches, TCG-Re can not only achieve full coverage for most contracts, but also be more efficient. In addition, TCG-Re is also effective for discovering several types of errors in smart contracts.

关键词： Smart Contract data flow testing data flow Reduction Test Case Generation

来源：评论

学校读者我要写书评

暂无评论

Efficiently Finding data flow Subsumptions 14

Efficiently Finding Data Flow Subsumptions

引用

14th IEEE Conference on Software testing, Verification and Validation (ICST)

作者： Chaim, Marcos Lordello Baral, Kesina Offutt, Jeff Concilio, Mario Araujo, Roberto P. A. Univ Sao Paulo Sao Paulo SP Brazil George Mason Univ Fairfax VA 22030 USA

ISBN: (纸本)9781728168364

data flow testing creates test requirements as definition-use (DU) associations, where a definition is a program location that assigns a value to a variable and a use is a location where that value is accessed. data flow testing is expensive, largely because of the number of test requirements. Luckily, many DU-associations are redundant in the sense that if one test requirement (e.g., node, edge, DU-association) is covered, other DU-associations are guaranteed to also be covered. This relationship is called subsumption. Thus, testers can save resources by only covering DU-associations that are not subsumed by other testing requirements. Although this has the potential to significantly decrease the cost of data flow testing, finding subsumption among DU-associations is quite difficult. Previous solutions are costly and contain subtle flaws that sometimes lead to incorrect results. We model the data flow testing subsumption as a data flow analysis framework, allowing us to use efficient algorithms that quickly discover data flow subsumption relationships. Experimental data suggest that the framework and algorithm can reduce the cost of data flow testing and will work at scale.

关键词： Software testing Structural testing data flow testing Subsumption relationship data flow analysis frameworks Algorithms

来源：评论

学校读者我要写书评

暂无评论

A Systematic Product Line Test Derivation from Activity Diagrams

A Systematic Product Line Test Derivation from Activity Diag...

引用

IEEE 16th International Conference on Computational Science and Engineering (CSE)

作者： Kang, Sungwon Lee, Jihyun Korea Adv Inst Sci & Technol Dept Comp Sci Taejon 305701 South Korea Daejeon Univ Coll Liberal Arts Taejon South Korea

ISBN: (纸本)9781479948970

The state of the art software product line testing methods attempted test derivation from product lines modeled as activity diagrams (ADs) with the test coverage goals of control flow and data flow. However, the existing methods applied widely different approaches to closely related problems with the consequence that the user of the methods cannot easily see the essence of product line test derivation. Moreover, the existing methods have no solution for P-use test derivation for data flow testing. This paper views this status as the result of not suitably handling variability modeling and binding formation and application and proposes a method that addresses these issues. This is done by introducing an explicit notation for product line AD, which makes clear the distinction between platform AD and product AD, and also by explicitly forming test artifact bindings for products and applying them at suitable steps in the test cases derivation paths.

关键词： component Software product line testing Variability modeling Activity diagram Control flow testing data flow testing

来源：评论

学校读者我要写书评

暂无评论

Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2024年 212卷

作者： Scommegna, Leonardo Verdecchia, Roberto Vicario, Enrico Univ Florence Dept Informat Engn Florence Italy

Context: When testing three -tiered architectures, strategies often rely on superficial information, e.g., blackbox input. However, the correct behavior of software -intensive systems based on such architectural pattern also depends on the logic hidden behind the interface. Verifying the response process is thus often complex and requires ad -hoc strategies. Objective: We propose an approach to identify faults hidden behind the presentation layer. The model -based approach uses an architectural abstraction called managed component data flow Graph (mcDFG). The mcDFG is aware of the interactions between all layers of the architecture and guides the generation of tests based on different mcDFG coverage criteria to identify faults in the business logic. Method: To evaluate the approach viability, we consider a three -tiered web application and 32 faults. The fault detection capability is assessed by comparing a set of test suites created by following our method and a set of test suites developed by utilizing traditional testing strategies. Results: The collected data show that the proposed model -based approach is a viable option to identify faults hidden in the logic layer, as it can outperform standard strategies based solely on the presentation layer while keeping the number of test cases and number of interactions per test case low.

关键词： Software architecture Dependency injection Stateful components Software dependability Model-based testing data flow testing

来源：评论

学校读者我要写书评

暂无评论

IABC-TCG: Improved artificial bee colony algorithm-based test case generation for smart contracts

引用

JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2024年第12期36卷

作者： Ji, Shunhui Gong, Jiahao Dong, Hai Zhang, Pengcheng Zhu, Shaoqing Hohai Univ Key Lab Water Big Data Technol Minist Water Resources Nanjing Peoples R China Hohai Univ Coll Comp Sci & Software Engn Nanjing Peoples R China RMIT Univ Sch Comp Technol Melbourne Australia

With the widespread application of smart contracts, there is a growing concern over the quality assurance of smart contracts. The data flow testing is an important technology to ensure the correctness of smart contracts. We propose an approach named IABC-TCG (Improved Artificial Bee Colony-Test Case Generation) to generate test cases for the data flow testing of smart contracts. With a dominance relations-based fitness function, an improved artificial bee colony algorithm is used to generate test cases, in which the bee colony search coefficient is adaptively adjusted to improve the effectiveness and efficiency of the search. In addition, an improved test case selection and updation strategy is used to avoid unnecessary test cases. The experimental results show that IABC-TCG achieves 100% coverage for all the test requirements on a dataset of 30 smart contracts and outperforms the baseline approaches in terms of the number of test cases and the execution time. Performing tests with the generated test cases, IABC-TCG can find more errors with less test cost. We propose IABC-TCG (Improved Artificial Bee Colony-Test Case Generation) to generate test cases for the data flow testing of smart contracts. The improved ABC (Artificial Bee Colony) algorithm is applied to generate test cases, in which a dominance relations based fitness function is used to guide the searching for test cases that cover the to-be-tested definition-use pairs and the bee colony search coefficient is adaptively adjusted to improve the effectiveness and efficiency of the search. In addition, the test case selection and updation strategy is improved to avoid unnecessary test cases. Experimental results show that IABC-TCG achieves 100% coverage and outperforms the comparative approaches in the number of test cases and the average execution time. image

关键词： artificial bee colony algorithm data flow testing smart contract test case generation

来源：评论

学校读者我要写书评

暂无评论

Structural testing for CUDA programming model

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2024年第14期36卷 e8105-e8105页

作者： Luz, Helder J. F. Souza, Paulo S. L. Souza, Simone R. S. Fed Inst Parana Uniao Da Vitoria Parana Brazil Univ Sao Paulo Inst Math & Comp Sci Sao Paulo Brazil

Graphic processors offer an accessible solution for high-performance computing, addressing challenges across various fields. The Compute Unified Device Architecture (CUDA) programming model has emerged to enhance the performance of general-purpose applications on graphic processors. However, developing CUDA programs is far from straightforward, and developers' lack of experience in parallel programming has led to numerous issues. This article presents a structural testing model and criteria to improve the quality of CUDA programs. These criteria facilitate the selection of test cases and aid in identifying faults. The ValiCUDA tool was developed to implement and validate this testing model and criteria. This tool instruments and analyzes programs, generating the necessary elements for each testing criterion. It also facilitates program execution and evaluation of criterion coverage. A statistical validation experiment assessed these criteria' effectiveness, cost, and strength metrics. The results demonstrate that the criteria can identify nontrivial faults in CUDA programs and assist testers in their testing endeavors for such applications.

关键词： CUDA data flow testing GPU heterogeneous parallel programming structural testing criteria testing model testing tool

来源：评论

学校读者我要写书评

暂无评论

Natural Computing for Automatic Test data Generation Approach Using Spanning Tree Concepts

引用

Procedia Computer Science 2016年 85卷 929-939页

作者： Sanjay Singla Raj Kumar Dharminder Kumar Research Scholar UIET MDU Rohtak Assistant Professor MDU Rohtak Professor GJUS&T Hisar

The weight is assigned to all edges of graph according to a uniform policy and focus is on the leaves nodes of the Spanning Tree of Control flow Graph of Program. If all leaves nodes of Spanning tree are covered by the test cases, then number of test cases required or testing the program can be reduced to great extent. Further the spanning tree is based on the concept of maximum spanning tree of CFG which helps in finding the critical paths of CFG. The chances of finding errors in critical are more as compare to the normal path. Covering of all the leaves nodes of Spanning Tree give guarantee for the coverage of Critical path also. Further the paper also shows that number of test cases required in case of Spanning tree is less as compare to the Dominance tree concept. For the generation of fast, unique and reliable test cases a optimization technique which is based on natural computing concept is used which is called as on Swine Influenza Models Based Optimization (SIMBO). The relation between nodes has been used as fitness function in this paper. Finally, the results in the paper show the effectiveness of SIMBO techniques as compare to Particle Swarm Optimization (PSO) and Genetic Algorithm (GA).

关键词： data flow testing Particle Swarm Optimization (PSO) Genetic algorithm (GA) Swine Influenza Models Based Optimization (SIMBO)

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Optimized Mutation Analysis Approach in Context of Model-Based testing

Evaluating the Optimized Mutation Analysis Approach in Conte...

引用

Emerging Trends in Smart Technologies (ICETST), 2020 International Conference on

作者： Fozia Mehboob Abdul Rauf Raza Ur Rehman Qazi Research Institutes of Sweden Vasteras Sweden Department of Computer Science Riyadh KSA

ISBN: (数字)9781728171135

ISBN: (纸本)9781728171142

data flow analysis rules help ensuring the correct flow of data and identifying the related state issues within the model-based testing practices. Though, studies have produced encouraging results for detecting data flow and states-oriented faults and enormous research work has been carried out in this direction, still optimal results from multiple criteria have not been achieved simultaneously. We are aiming to come up with a comprehensive approach that is able to (1): find the define-usage errors, (2): automatically generate the test data for UML state machines (3): mutate the states and flow with different level of complexity achieving efficient mutation score (4): provide the optimal def-use path complete coverage (5): applicable to all UML diagrams. This work in progress is a first step in this direction and we have validated our approach through an implementation which can run against state diagrams. Results have been tested based on a case study with one of the latest approaches and have proven to be promising and effective.

关键词： Model Based Software testing data flow testing Mutation Analysis Automated Test Case Generation Ant Colony Optimization Evolutionary testing Search Based Software Engineering mutational analysis Ant colony optimization Agent-based software engineering UML state machines data flow work in progress observational data

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：