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

45th Annual International IEEE-Computer-Society Computers, Software, and Applications Conference (COMPSAC)

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

ISBN: (纸本)9781665424639

data flow testing helps testers design effective tests by requiring the tests to execute sequences of statements from definitions of variables to one or more subsequent uses. These def-use associations are derived from graphs that model software behavior. A "flow graph" that only includes paths that cover defuse associations, and not other control flows, has been defined elsewhere. Although these flow graphs have several advantages over previous graphs, as computed, they omit some valid paths, which are needed to use the graphs to discover subsumption relationships and generate test data. These omissions lead to errors in the results. This paper extends previous solutions by presenting a graph that represents all paths that cover def-use associations. The paper presents empirical data showing that this graph can be generated at reasonable cost and efficiently applied for data flow subsumption discovery.

关键词： Software testing data flow coverage Graph representation data structures

来源：评论

学校读者我要写书评

暂无评论

Using data flow-based coverage Criteria for Black-box Integration Testing of Distributed Software Systems 12

Using Data Flow-based Coverage Criteria for Black-box Integr...

引用

12th IEEE International Conference on Software Testing, Verification and Validation (ICST)

作者： Hellhake, Dominik Schmid, Tobias Wagner, Stefan BMW Grp Chassis Syst Dev Munich Germany Univ Stuttgart Inst Software Technol Stuttgart Germany

ISBN: (纸本)9781728117362

Modern automotive E/E systems are implemented as distributed real-time software systems. The constantly growing complexity of safety-relevant software functions leads to an increased importance of testing during system integration of such systems. Systematic metrics are required to guide the testing process during system integration by providing coverage measures and stopping criteria but few studied approaches exist. For this purpose, we introduce a data-flow based observation scheme which captures the interplay behavior of involved ECUs during test execution and failure occurrences. In addition, we introduce a data flow-based coverage criterion designed for black box integration. By applying the observation scheme to test cases and associated faults found during execution, we first analyze similarities in data flow coverage. By further analyzing the data flow of failures, that slipped through the phase of system integration testing, we evaluate the usefulness of test gaps identified by using the suggested coverage criterion. We found major differences in the usage of data flow between undetected failures and existing test cases. In addition, we found that for the studied system under test the occurrence of failures is not necessarily a direct consequence of the test execution due to functional dependencies and side effects. Overall, these findings highlight the potential and limitations of data flow-based measures to be formalized as coverage or stopping criteria for the integration testing of distributed software systems.

关键词： system integration testing behavior observation data flow coverage automotive software systems distributed software system black box integration testing

来源：评论

学校读者我要写书评

暂无评论

ENHANCING FAULT LOCALIZATION USING CONTROL AND data flow DEPENDENCE STRUCTURES 2

ENHANCING FAULT LOCALIZATION USING CONTROL AND DATA FLOW DEP...

引用

2nd International Conference on Inventive Systems and Control (ICISC)

作者： Indumathi, C. P. Vinothini, N. Univ Coll Engn Dept Comp Sci Engn BIT Campus Tiruchirappalli 620024 Tamil Nadu India

ISBN: (纸本)9781538608074

Locate the faults is more complex for software program. In this paper propose a control flow and data flow coverage based fault localization technique used to locate the fault and less complexity to calculate an executing program. Fault localization technique can be locating the fault in a program. Control flow coverage based fault localization get the suspicious lines to drawn as control flow graph for the purpose of visualize of the code that can be include the number of test cases. All the control statements can be covered by the test cases that can be arise the problem for more failed test cases and less successful test cases. The quality of suspiciousness lines affected to the effective test cases, so program dependency proposed in this paper that can be used to improve the quality of test cases. An experiments results provide a Siemen suite program that can be include whole information about test cases.

关键词： Fault Localization Test cases Suspicious code Control flow data flow coverage program dependency graph

来源：评论

学校读者我要写书评

暂无评论

White Box Testing Tool Prototype Development 5

White Box Testing Tool Prototype Development

引用

5th International Conference on Electrical Engineering and Informatics

作者： Barus, Arlinta Christy Hutasoit, Dian Ira Putri Siringoringo, Joel Hunter Siahaan, Yusfi Apriyanti Inst Technol Informat Engn Study Program Kab Tobasa Sumatera Utara Indonesia

ISBN: (纸本)9781467373197

nowadays, software testing is viewed as an important phase in software engineering life cycle as it aims to improve the quality of software under development. Due to limited software testing tools available for free, many developers cannot do a comprehensive testing to the software under development before launching the software. For this reason, this research aims to provide a prototype of a software testing tool that can be used as an initial base model for further development. The tool implements white box testing method that means the testing explores source codes of software under test to find the errors inside. We focus on one of data flow coverage techniques known as all p-uses coverage. The tool is able to calculate the all p-uses coverage percentage of the software under testing.

关键词： software testing white box testing data flow coverage all p-uses

来源：评论

学校读者我要写书评

暂无评论

Comparing Multi-point Stride coverage and dataflow coverage

Comparing Multi-point Stride Coverage and Dataflow Coverage

引用

35th International Conference on Software Engineering (ICSE)

作者： Hassan, Mohammad Mahdi Andrews, James H. Univ Western Ontario Dept Comp Sci London ON Canada

ISBN: (纸本)9781467330763

We introduce a family of coverage criteria, called Multi-Point Stride coverage (MPSC). MPSC generalizes branch coverage to coverage of tuples of branches taken from the execution sequence of a program. We investigate its potential as a replacement for dataflow coverage, such as def-use coverage. We find that programs can be instrumented for MPSC easily, that the instrumentation usually incurs less overhead than that for def-use coverage, and that MPSC is comparable in usefulness to def-use in predicting test suite effectiveness. We also find that the space required to collect MPSC can be predicted from the number of branches in the program.

关键词： Software Testing Control flow coverage data flow coverage Partial Execution Pattern

来源：评论

学校读者我要写书评

暂无评论

Comparing Multi-point Stride coverage and dataflow coverage 13

Comparing Multi-point Stride Coverage and Dataflow Coverage

引用

International Conference on Software Engineering

作者： Mohammad Mahdi Hassan James H. Andrews University of Western Ontario Canada

ISBN: (纸本)9781467330763

关键词： Software Testing Control flow coverage data flow coverage Partial Execution Pattern

来源：评论

学校读者我要写书评

暂无评论

A NEW SECURITY TESTING METHOD AND ITS APPLICATION TO THE SECURE XENIX KERNEL

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1987年第2期13卷 169-183页

作者： GLIGOR, VD CHANDERSEKARAN, CS JIANG, WD JOHRI, A LUCKENBAUGH, GL REICH, LE IBM CORP DIV FED SYSTGAITHERSBURGMD 20878

A new security testing procedure is proposed that combines the advantages of both traditional ''black box'' (monolithic functional) testing and ''white box'' (functional-synthesis-based) testing. The new technique permits significant coverage for security model-based tests as well as for individual kernel-call tests. It eliminates redundant kernel test cases by: 1. using a variant of control synthesis graphs, 2. examining dependencies between descriptive kernel-call specifications, and 3. exploiting access check separability. A higher degree of test assurance than that of other security testing methods is attained because the new method helps eliminate cyclic dependencies among test programs for different kernel calls. The application of the technique to the testing of the Secure Xenix kernel is illustrated.

关键词： Security Testing Access Check Graphs Control Synthesis Graphs Cyclic Dependencies data flow coverage Functional Testing Kernels Security Model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：