Xu, W., & Syed, A. R., & ZHENG, Q. (2015, June), A Force-Directed Program Graph Visualizer for Teaching White-Box Testing Techniques   Paper presented at 2015 ASEE Annual Conference & Exposition, Seattle, Washington. 10.18260/p.23383

\bibitem{asee_peer_23383}
  Xu, W., \& Syed, A. R., \& ZHENG, Q. (2015, June), \emph{A Force-Directed Program Graph Visualizer for Teaching White-Box Testing Techniques }
  Paper presented at 2015 ASEE Annual Conference \& Exposition, Seattle, Washington.
  10.18260/p.23383

Weifeng Xu, Aqeel Raza Syed, and QING ZHENG.  "A Force-Directed Program Graph Visualizer for Teaching White-Box Testing Techniques ".  2015 ASEE Annual Conference & Exposition, Seattle, Washington, 2015, June.  ASEE Conferences, 2015.  https://peer.asee.org/23383 Internet.  25 Apr, 2024

\bibitem{asee_peer_23383}
  Weifeng Xu, Aqeel Raza Syed, and QING ZHENG.
  "A Force-Directed Program Graph Visualizer for Teaching White-Box Testing Techniques ".
  \emph{2015 ASEE Annual Conference \& Exposition, Seattle, Washington, 2015, June}.
  ASEE Conferences, 2015.
  https://peer.asee.org/23383 Internet.  25 Apr, 2024

@INPROCEEDINGS{asee_peer_23383
author = "Weifeng Xu, Aqeel Raza Syed, and QING ZHENG"
title = "A Force-Directed Program Graph Visualizer for Teaching White-Box Testing Techniques "
booktitle = "2015 ASEE Annual Conference \& Exposition"
year = "2015"
month = "June"
address = "Seattle, Washington"
publisher = "ASEE Conferences"
note = {https://peer.asee.org/23383}
number = {10.18260/p.23383}
}

TY  - CPAPER
AB  -  A Force-Directed Program Graph Visualizer for Teaching White-Box Testing                               TechniquesAbstractSoftware engineering, as an emerging discipline, has been distinguished from computer science.There are 22 ABET and 105 Department of Education's recognized institutes in U.S offering abachelor degree program in software engineering. In addition to the traditional needs of prepar-ing graduates to analyze, design and implement systems, both organizations indicate that soft-ware engineering curriculum must prepare graduates to validate software systems.White-box testing is a critical validation technique that software engineers can use to examine iftheir code works as expected. White-box testing requires students generating test paths for a giv-en test criterion. However, students taking software testing related courses often find that study-ing and exercising white-box testing techniques is tedious and error prone due to the nature ofthe testing process. The testing process for white-box testing usually consists of three key activi-ties: (1) convert source code to a program graph, (2) generate paths for a given test criterion, e.g.,decision coverage, and (3) verify the correctness of generated paths and the total number of pathsgenerated. It is hard for students to derive and verify correct paths from unit under testing manu-ally based on a variety of test coverages.In this paper, we demonstrate an automated testing visualization tool to help software engineer-ing students to study and exercise white-box testing techniques. The teaching tool has three keycomponents: (1) a program graph generator: it automatically generates program graphs from Javasource code, (2) a path finder: it finds all paths based on test coverages, and (3) a program graphvisualizer: it automatically displays program graphs and test paths.Developing such an automated testing tool is a challenging task. Two critical issues need to betaken into consideration: (1) how to handle compound conditions. Compound condition consistsof multiple simple conditions, e.g., (a>b) && (b>c) contains two simple predicates a>b and b>c.Compound conditions need to be recognized automatically so that different paths can be derivedfrom program graph based on decision, condition and multi-condition coverages and (2) how tovisualize program graphs. It is essentially a graph auto-layout problem, which computes the posi-tion of each node and edge of a program graph. However, current graph auto-layout algorithmsdo not distinguish source and sink nodes of program graph from rest of nodes.To address these issues, we use Java byte code to represent the Java source code so that a com-pound condition can be decomposed to several simple predicates. In addition, we extend a force-directed graph auto-layout algorithm to compute the positions of source and sink nodes. We suc-cessfully implement a teaching tool based on our approach. We demonstrate our tool using sev-eral legacy programs, including Triangle program, Commission program, etc. The demo video isavailable https://www.youtube.com/watch?v=Ey4JfVhhHQg
AU  - Weifeng Xu
AU  - Aqeel Raza Syed
AU  - QING ZHENG
CY  - Seattle, Washington
DA  - 2015/06/14
PB  - ASEE Conferences
TI  - A Force-Directed Program Graph Visualizer for Teaching White-Box Testing Techniques 
UR  - https://peer.asee.org/23383
DO  - 10.18260/p.23383
ER  -