Systematic Method for Path-Complete White Box Testing

dc.creatorMakaruk, Hanna
dc.creatorOwczarek, Robert
dc.creatorSakhanenko, Nikita
dc.date2005-03-21
dc.date.accessioned2026-07-07T03:22:44Z
dc.date.available2026-07-07T03:22:44Z
dc.descriptionA systematic, language-independent method of finding a minimal set of paths covering the code of a sequential program is proposed for application in White Box testing. Execution of all paths from the set ensures also statement coverage. Execution fault marks problematic areas of the code. The method starts from a UML activity diagram of a program. The diagram is transformed into a directed graph: graph's nodes substitute decision and action points; graph's directed edges substitute action arrows. The number of independent paths equals easy-to-compute cyclomatic complexity of the graph. Association of a vector to each path creates a path vector space. Independence of the paths is equivalent to linear independence of the vectors. It is sufficient to test any base of the path space to complete the procedure. An effective algorithm for choosing the base paths is presented.
dc.description24 pages, 3 figures, submitted to Software Testing, Verification and Reliability (STVR)
dc.identifierhttps://arxiv.org/abs/cs/0503050
dc.identifierhttp://arxiv.org/abs/cs/0503050
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32668
dc.subjectSoftware Engineering
dc.subjectD.2.5
dc.titleSystematic Method for Path-Complete White Box Testing
dc.typetext

Files

Collections