Title :
Investigating Subsumption Relationship on Path Coverage Criteria for Software Architecture Testing
Author :
Lun, Lijun ; Chi, Xin
Author_Institution :
Coll. of Comput. Sci. & Inf. Eng., Harbin Normal Univ., Harbin, China
Abstract :
Path coverage technology in software architecture is a structural testing method that involves using the architecture elements to attempt to find every possible executable path. In this paper we present an approach together with an experimental tool for qualifying tests. Firstly, this method describes software architecture with linear temporal logic specification, secondly, transform the architecture specification to architecture interface connectivity graph (ICG) to indicate the computation of the single component and the transfer, thirdly, based on ICG path coverage criteria and path coverage generation algorithm, generate tested path. This approach is implemented in the LTL tool. Finally, the criteria is assessed, the assessing result provide a theoretical basis for applying the criteria.
Keywords :
program testing; software architecture; temporal logic; ICG path coverage criteria; LTL tool; architecture interface connectivity graph; architecture specification; linear temporal logic specification; path coverage generation algorithm; software architecture testing; structural testing method; subsumption relationship; Computer architecture; Conferences; Connectors; Decision support systems; Software architecture; Testing;
Conference_Titel :
Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5391-7
Electronic_ISBN :
978-1-4244-5392-4
DOI :
10.1109/CISE.2010.5676826