A Constraint-Based Approach to Identifying and Analyzing Failure-Causing Regions

Sun, C.T.

doi:10.3724/sp.j.1001.2012.04126

Cited by 3 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Input constrain is a set of constrains to which the input variables must apply, and it is connect to the input regions [4]. Input constrain also can help the researches to analyze to distribution characteristics of the software defect region relate to the defects.…”

Section: Introductionmentioning

confidence: 99%

Software Defect Regions Identification Based on Behavior Mining

Guo¹,

Wang²,

Wang³

2015

Advances in Computer Science Research

View full text Add to dashboard Cite

Abstract. Random testing is a widely used testing technique, and adaptive random testing has enhanced the performance of random testing recently. The research results demonstrate that the improvement depends on the characters of the software defect region. A method that depicts the distribution of software defect region in the input region based on testing is proposed in this paper, and the method that describes the characteristics of the software defect region. The experimental results show that testing constraint reveals the mechanism of software defect trigging and propagation.

show abstract

Section: Introductionmentioning

confidence: 99%

Software Defect Regions Identification Based on Behavior Mining

Guo¹,

Wang²,

Wang³

2015

Advances in Computer Science Research

View full text Add to dashboard Cite

show abstract

Корреляция Отказов Как Основа Применения Модели Маркова Для Тестирования Программного Обеспечения

Зозуля,

Кравец

2021

Моделирование

View full text Add to dashboard Cite

Анализ существующих результатов исследований тестирования отказов, сбоев программного обеспечения во время тестирования должен учитывать актуальность программного обеспечения для тестирования отказов с использованием цепей Маркова с правом тестирования модели, разработку многоцелевого алгоритма оценки заданной цепи Маркова с правильной стратегией тестирования на основе отказов, связанных со стратегией перехода состояния на основе матрицы весов многоцелевого теста. Целью исследования является разработка набора оптимизирующих стратегий тестирования отказов программного обеспечения на основе учета корреляции связанных отказов и управляемых цепей Маркова. В данной работе на основе модели тестирования контролируемой цепи Маркова, основанной на корреляционных отказах, предложена модель тестирования контролируемой цепи Маркова, в основном для решения проблемы тестирования программного обеспечения в ситуации взаимосвязи отказов программного обеспечения. Связь между программными модулями определяется количественно для расчета многоцелевой матрицы переноса и оценки взаимосвязи связанных отказов. В интегрированной среде разработки Java Eclipse загружается CDT проекта с открытым исходным кодом, для реализации которого используется Java, а в среде Eclipse используются процедуры модульного тестирования с использованием JUNIT для разработки. Результаты эксперимента показывают, что предложенная стратегия по сравнению со стратегией тестирования управляемой цепи Маркова может значительно сократить количество тестовых случаев и повысить скорость обнаружения отказов. The analysis of existing research results of testing failures, software failures during testing should take into account the relevance of software for testing failures using Markov chains with the right to test the model, the development of a multi-purpose algorithm for evaluating a given Markov chain with the correct testing strategy based on failures associated with a state transition strategy based on a matrix of weights of a multi-purpose test. The study aims to develop a set of optimizing software failure testing strategies based on the related failures correlation and controlled Markov chains. In this paper, based on the Markov controlled chain testing model based on correlation failures, a Markov model is proposed, mainly to solve the problem of software testing in a situation of software failures interconnection. The relationship between software modules is quantified to calculate a multi-purpose transfer matrix and assess the interrelationship of associated failures. In the Eclipse Java Integrated Development Environment, the CDT of an open-source project is loaded, for which Java is used for implementation, and in the Eclipse environment, unit testing procedures are used using JUNIT for development. The results show that this strategy, compared with the Markov controlled chain testing strategy, can significantly reduce the number of test cases and increase the speed of failure detection.

show abstract

A Construction of Fault Test Constraint Based on the Optimal Fusion Set of Multiple Slices

Zhang

Wang

Lin

2013

AMR

View full text Add to dashboard Cite

The standard program slicing of different slices is put into the fusion matrix of the optimal fusion to measure the consistent fusion of slices. In the biopsy of the actual fusion process, the slicing techniques with high consistent fusion and balanced fusion distribution are used to reasonably allocate each weight coefficient, and thus the final fusion estimation formula is obtained. We use slice fusion, path conditions, as well as the internal mechanism of software fault trigger and propagation, to construct the test constraint of a fault. It can help to direct high quality test case design and to evaluate the applicability of the adaptive random testing.

show abstract

A Constraint-Based Approach to Identifying and Analyzing Failure-Causing Regions

Cited by 3 publications

References 15 publications

Software Defect Regions Identification Based on Behavior Mining

Software Defect Regions Identification Based on Behavior Mining

Корреляция Отказов Как Основа Применения Модели Маркова Для Тестирования Программного Обеспечения

A Construction of Fault Test Constraint Based on the Optimal Fusion Set of Multiple Slices

Contact Info

Product

Resources

About