Navegando por Autor "Endo, André Takeshi"

Agora exibindo 1 - 2 de 2
  • Imagem de Miniatura
    Item
    An experimental study on test suite characteristics, cost, and effectiveness of FSM-based testing methods.
    (2012-06) Endo, André Takeshi; Simão, Adenilso da Silva
    Testing from finite state machines has been widely investigated due to its well-founded and sound theory as well as its practical application in different areas, e.g., Web-based systems and protocol testing. There has been a recurrent interest in developing methods capable of generating test suites that detect all faults in a given fault domain. However, the proposal of new methods motivates the comparison with traditional methods. In this context, we conducted a set of experiments that compares W, HSI, H, SPY, and P methods. Different parameters of the test suites were compared, such as test suite characteristics, test suite length, and fault detection ratio. These dimensions were analyzed with different machine configurations, varying number of states, inputs, outputs, and transitions. The results have shown that H, SPY, and P methods produce significantly smaller test suites than traditional methods (W, HSI). The P, H and SPY methods presented test suites of similar length, though P produced test suites which are sligthly shorter. We have also observed that the reduction ratio in partial machines is smaller than that in complete machines. On average, the recent methods produce test cases with lengths longer than traditional methods. SPY and P methods have the highest fault detection ratios and the HSI method presents the lowest ratio. Several correlations were tested and identified among the different configurations evaluated.
  • Imagem de Miniatura
    Item
    Formal testing approaches for service-oriented architectures and web services: a systematic review.
    (2010-03) Endo, André Takeshi; Simão, Adenilso da Silva
    Service-oriented architectures and web services have been used as important technologies to foster the development of loosely coupled and distributed applications. Web services pose new challenges for the testing activity, mainly because mission-critical and complex business process systems are implemented with them. In this context, formal testing approaches are necessary to guarantee the service quality. In this document, we identify formal approaches proposed to test service-oriented architectures and web services, analyzing the application context, models, empirical study, authorship, and references. A systematic review was planned and executed to select the studies considered in this work. We observed that, though more experiments and cooperation are necessary, there is a considerable interest in the topic.