DocumentCode :
2586675
Title :
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
Volume :
2
fYear :
2010
fDate :
19-20 Dec. 2010
Firstpage :
33
Lastpage :
36
Abstract :
Software architecture testing is a technology on the connections and functions of system components. This paper presents a technology of software architecture testing based on LTL. Software architecture interface connectivity graph (ICG) is used to describe the connection relationship between components and connectors at first, and then generate testing coverage paths of the ICG according to three testing coverage criteria and algorithms. Finally, a CASE tool is built, which uses TRMCS system as an architecture model to illustrate the derivation of interface connectivity graph and the generation of test paths. Demonstration results present the relationship of test paths on three criteria with the increasing numbers of components.
Keywords :
computer aided software engineering; graph theory; program testing; software architecture; temporal logic; CASE tool; TRMCS system; interface connectivity graph; linear temporal logic; path coverage criteria; software architecture testing; system component; test path generation; testing coverage criteria; testing coverage path; Computer architecture; Conferences; Connectors; Software; Software architecture; Testing; coverage criteria; linear temporal logic; software architecture testing; test paths;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering (WCSE), 2010 Second World Congress on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-9287-9
Type :
conf
DOI :
10.1109/WCSE.2010.44
Filename :
5718342
Link To Document :
بازگشت