ValiPar Service: Structural Testing of Concurrent Programs as a Web Service Composition

Prado, Rafael; Souza, Paulo Sérgio Lopes de; Souza, Simone do Rocio Senger de; Dourado, George G. M.; Batista, Raphael Negrisoli

doi:10.1007/978-3-319-32467-8_51

Cited by 2 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At present, there have been some research results oriented to test a program with nondeterminism [5], but few of these researches aim at the programs containing randomness. On the other hand, programs with randomness widely exist in real-world applications, such as game software, Windows operating system, and network software [7].…”

Section: Introductionmentioning

confidence: 99%

Testing Method for Software With Randomness Using Genetic Algorithm

Yao

Gong

et al. 2020

IEEE Access

View full text Add to dashboard Cite

The main task of software testing is the generation of test data with high quality in restricted time. But for software with uncertainties, such as randomness, existing methods of generating test data often lose their effectiveness. For software with randomness, a test datum might cover the test target in one run, but obtains different results in the next run. Therefore, special testing methods must be exploited for this kind of software. In order to test software with randomness, we first propose a novel test adequacy criterion, and then build a mathematical model for generating test data according to the new criterion. Finally, we present a method of solving the optimization model using a set-based genetic algorithm. We apply the proposed method to test 12 programs, and compare with traditional genetic algorithm and the random method. From the experimental results we can see that, the proposed adequacy criterion is available for the software with randomness and the proposed algorithm can effectively generate test data.

show abstract

Section: Introductionmentioning

confidence: 99%

Testing Method for Software With Randomness Using Genetic Algorithm

Yao

Gong

et al. 2020

IEEE Access

View full text Add to dashboard Cite

show abstract

Integration testing for robotic systems

Brito

Souza

2020

Software Qual J

Self Cite

View full text Add to dashboard Cite

Conventional approaches for the validation of robotic systems include simulations and functional software testing. Although these approaches are interesting, they do not offer coverage information to guide the testing activity. In this sense, the introduction of coverage testing to the validation of mobile robotic systems seems to promise. This paper proposes a integration testing approach for robotic systems in a simulation environment. The approach is composed of test scenarios, constructed based on functional testing, and structural testing towards revealing defects and providing a better systematization of the testing activity in this application domain. The proposed approach focuses on systems developed in ROS, the robot operating system, in which communication can be established through a publish/subscribe interaction schema. The paper provides an example of the way the integration testing approach can be applied to robotic systems. An experimental study conducted with developers of mobile robotic systems evaluated the gains and proved the applicability of the approach to the industry. The results confirmed its advantages for the integration testing of mobile robotic systems. It can check functional behavior (test scenarios), or reach a high structural coverage (coverage criteria), and reveal common defects in mobile robotic systems.

show abstract

ValiPar Service: Structural Testing of Concurrent Programs as a Web Service Composition

Cited by 2 publications

References 9 publications

Testing Method for Software With Randomness Using Genetic Algorithm

Testing Method for Software With Randomness Using Genetic Algorithm

Integration testing for robotic systems

Contact Info

Product

Resources

About