Coverage criteria and test requirement reduction for component-based web application

In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph（WADDGraph）which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.

Stability analyses of vertically exposed cemented backfill:A revisit to Mitchell's physical model tests

Mitchell's solution is commonly used to determine the required strength of vertically exposed cemented backfill in mines. Developed for drained backfill, Mitchell model assumed a zero friction angle for the backfill. Physical model tests were performed. Good agreements were obtained between the required strengths predicted by the analytical solution and experimental results. However, it is well-known that zero friction angle can only be possible in terms of total stresses when geomaterials are submitted to unconsolidated and undrained conditions. A revisit to Mitchell's physical model tests reveals that both the laboratory tests performed for obtaining the shear strength parameters of the cemented backfill and the box stability tests were conducted under a condition close to undrained condition. This explains well the good agreement between Mitchell's solution and experimental results. Good agreements are equally obtained between Mitchell's experimental results and FLAC3 D numerical modeling of shortterm stability analyses of exposed cemented backfill.

Comparison of SETAM with Security Use Case and Security Misuse Case:A Software Security Testing Study

A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of them.In this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test requirements.To illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by them.The results show that SETAM could decrease about 34.87% use cases on average,and the number of faults detected by SETAM increased by 71.67% in average,which means that our model can detect more faults with fewer test cases for software security testing.