Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Building Web applications with UML
Building Web applications with UML
Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Measuring and Modeling Usage and Reliability for Statistical Web Testing
IEEE Transactions on Software Engineering - Special section on the seventh international software metrics symposium
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
IWPC '99 Proceedings of the 7th International Workshop on Program Comprehension
Extending the capabilities of RMM: Russian Dolls and Hypertext
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Digital Documents - Volume 6
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
Hi-index | 0.00 |
The World Wide Web has become an interesting opportunity for companies to deliver services and products at distance. Correspondingly, the quality of Web applications, responsible for the related transactions, has become a crucial factor. It can be improved by properly modeling the application during its design, but if the whole life cycle is considered, the availability of a consistent model of the application is fundamental also during maintenance and testing.In this chapter, the problem of recovering a model of a Web application from the implementation is faced. Algorithms are provided to obtain it even in presence of a highly dynamic structure. Based upon such a model, several static analysis techniques, among which reaching definitions and slicing, are considered, as well as some restructuring techniques. White box testing exploits the model in that the related coverage levels are based on it, while statistical testing assumes that transitions in the model are labeled with the conditional probabilities of being traversed.