Path-oriented random testing through iterative partitioning (IP-PRT)

Nikravan, Esmaeel; Parsa, Saeed

doi:10.3906/elk-1801-18

Cited by 5 publications

(3 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Random generation, one of the simplest and cheapest techniques for the automatic generation of test data randomly selects specific locations in the input domain until a given test criterion has been satisfied. However, it does not guarantee important test requirements will be satisfied 12,13 . On the other hand, the automatic generation of test data with symbolic execution together with a test criterion based on paths derives symbolic expressions from a program's input variables, abstracting the possible execution paths in algebraic expressions.…”

Section: Introductionmentioning

confidence: 99%

“…However, it does not guarantee important test requirements will be satisfied. 12,13 On the other hand, the automatic generation of test data with symbolic execution together with a test criterion based on paths derives symbolic expressions from a program's input variables, abstracting the possible execution paths in algebraic expressions. Consequently, the problem of test data generation is transformed into one related to the solution of algebraic expressions.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Bio‐inspired optimization to support the test data generation of concurrent software

Vilela

Neto

Pinto³

et al. 2022

Concurrency and Computation

View full text Add to dashboard Cite

Concurrent programming is increasingly present in modern applications. Although it provides higher performance and better use of available resources, the mechanisms of interaction between processes/threads result in a greater challenge for software testing activity. The nondeterminism present in those applications is one of the main issues during the test activity since the same test input can produce different possible execution paths, which may or not contain defects. The test data automatic generation can alleviate this problem, ensuring higher speed and reliability in software testing activity. This paper explores the automatic test data generation for concurrent programs through Genetic Algorithm, a bioinspired optimization technique, and proposes a test data generation approach for concurrent programs, called BioConcST, and a new operator for the selection of test subjects, called FuzzyST, which uses fuzzy logic. The approaches were evaluated in an experimental study towards their validation. The results showed that BioConcST is more promising than the other approaches at all analyzed levels. FuzzyST, together with Elitism and Tournament operators, provided the best results; however, it proved more suitable for concurrent programs of higher complexity. K E Y W O R D Sconcurrent software testing, search-based software testing, test data generation INTRODUCTIONAlthough most people may not know it, all current computer users and smartphones use concurrent software daily. Operating systems (OSs), included in such devices, employ concurrent programming mechanisms to manage the scheduling and execution of processes, whether in mono-processed environments, with pseudo-parallelism, or in multi-processed ones, where there is parallel execution between processes.The first contribution of concurrent programming to operating systems was proposed by Dijkstra, 1 who aimed to identify and resolve mutual exclusion for preventing a simultaneous access to a shared resource, also called a critical region. This and other mechanisms of concurrent programming have enabled Operational Systems to optimize the use of computational resources and, consequently, improve their performance.Presently, concurrent programming is no longer restricted to Operating Systems, since modern applications also demand a better use of resources and higher performance in the execution of routines and tasks. As an example, parallel programming and distributed programming, branches of concurrent programming, have led to the emergence of new technologies widely used, such as Web services and Cloud computing, which employ concepts of concurrent programming to provide communication and optimization mechanisms of services. 2,3

show abstract

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

Bio‐inspired optimization to support the test data generation of concurrent software

Vilela

Neto

Pinto³

et al. 2022

Concurrency and Computation

View full text Add to dashboard Cite

show abstract

“…Essa técnica seleciona aleatoriamente locais específicos do domínio de entrada até que um dado critério de teste seja satisfeito. Apesar disso, não há garantias que requisitos importantes de testes serão executados com o uso dessa técnica (MCMINN, 2004;NIKRAVAN;PARSA, 2019). Por sua vez, a técnica de geração automática de dados de teste com execução simbólica, utilizada juntamente com um critério de teste baseado em caminhos, deriva expressões simbólicas a partir de variáveis de entrada do programa abstraindo os possíveis caminhos de execução em expressões algébricas.…”

Section: Lista De Tabelasunclassified