TRGeneration:Java 代码的控制流图和测试需求生成

时间:2024-08-01 07:14:24
【文件属性】:

文件名称:TRGeneration:Java 代码的控制流图和测试需求生成

文件大小:63KB

文件格式:ZIP

更新时间:2024-08-01 07:14:24

Java

团队成员:Seung Hun (Stan) Lee、Evan Platt 项目名称:控制流图和结构测试需求生成器 拟议工作的描述 我们的提议是创建一个用 Java 编写的程序,该程序将 (1) 函数的源代码和 (2) 所需的覆盖标准作为输入,并输出 (1) 控制流图和 (1) 一组满足指定覆盖标准的测试要求。 该程序的第一个模块,图生成器,负责解析输入函数的源代码并生成由节点和边组成的控制流图。 图生成器将支持用 Java 编写的语法正确的输入函数,并将能够解析一组有限的控制流语句,包括 if-then 和 if-then-else 条件以及 for、while 和 do-while 循环。 在解析输入函数的源代码时,图形生成器将填充节点对象的链表。 每个节点对象将包含节点的编号和下一个节点的列表。 测试需求生成器将使用这个链表作为它的输入。 最后,图形生成器将输出函数图形的图形表示。


【文件预览】:
TRGeneration-master
----.gitignore(66B)
----src()
--------GraphViz.java(8KB)
--------Node.java(1KB)
--------Defs.java(105B)
--------SimplePathList.java(2KB)
--------Example.java(6KB)
--------SimplePath.java(5KB)
--------EdgePair.java(1KB)
--------Graph.java(19KB)
--------TRGeneration.java(2KB)
--------PrimePathList.java(1KB)
--------progress.txt(74B)
--------Edge.java(563B)
--------SimplePathPool.java(1KB)
--------TestRequirements.java(9KB)
----.classpath(295B)
----.settings()
--------org.eclipse.jdt.core.prefs(598B)
----README.md(2KB)
----.project(388B)
----www()
--------process_source.php(736B)
--------index.php(999B)
--------lib()
--------img()
----build.xml(688B)
----lib()
--------commons-cli-1.2.jar(40KB)
----testsource.java(529B)

网友评论