Software architecture is perceived as one of the most important artifacts created during a system's design, to control software complexity, improve system quality, support software development and reuse and so on. Coverage analysis is a structural testing technique, which helps to eliminate gaps in a test suite and determines when to stop testing. To compute test coverage, the paper presents a new concept – coverage about edge based on C2-style architecture. Firstly, the software architecture is represented using C2-style, then we use architecture component interaction graph (CIG) to describe interface connection relationship, then we define three testing criteria and introduce algorithms to generate testing coverage set according to edge types of CIG. Finally, we present four edges coverage to compute coverage effectiveness
Coverage criteria of verification techniques play an important role in software development and testing. The goal is to reduce the size of test suites to economize on time, and to ensure whether all conditions are covered. This paper presents formal testing criteria for architecture-level testing that are based on formal specifications of the software architecture. Firstly, this method describes software architecture with Wright specification, secondly, transform the architecture configuration behavior to revised configuration behavior graph (RCBG) to indicate the computation of the single component and the transfer, thirdly, based on the component connected path coverage criteria and the component connected path coverage generation algorithm FindC-CPaths, generate tested path. This approach is implemented in the WTPT. Experimental and analysis demonstrated the validity and efficiency of the algorithm FindC-CPaths. Finally, the criteria is assessed, the assessing result provide a theoretical basis for applying the criteria.
Software architecture has already become one of the primary research areas in software engineering recently and how to test software architecture automatically, effectively and adequately is a difficulty in issues about software architecture. Currently, many people are doing the research of software architecture analyze, evaluation, testing and verification techniques, and some representative testing strategies are proposed to test software architecture. But, traditional software testing methods can not be used directly to solve the test issues of software architecture, either some techniques are needed to improve the traditional methods or new software architecture testing techniques are developed to solve the test issues related to software architecture. Dependency analysis is an important method to test, analyze, understand, and maintain programs. A new kind of dependency analysis method for C2-style architecture is developed. A set of dependency relationships is defined corresponding to the relationships among C2-style architecture elements. The C2-style element dependency graph (C2-EDG) of C2-style architecture can de constructed from these dependency relationships. Based on the C2-EDG, both architecture dependency coverage testing and metrics are further given as its two applications, and discusses the equivalence of existing methods
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.