Lab Assignments
2
Lab Assignments Software Verification & Validation UCS752 1. Write a program in Java/.Net/C++ that takes a source code file as an input and append the statement number in front of the each statement of source file. 2. Write a program in Java/.Net/C++ that will generate the adjacency matrix for showing the data dependency among the statements of a program. 3. Write a program in Java/.Net/C++ that will generate the adjacency matrix for showing the control dependency among the statements of a program. 4. Write a program in Java/.Net/C++ to generate the data dependency graph for a given source program. 5. Write a program in Java/.Net/C++ to generate the control dependency graph for a given source program. 6. Write a program in Java/.Net/C++ to generate the program dependency graph for a given source program. 7. Write a program in Java/.Net/C++ to generate the system dependency graph for a given source program. 8. Write a program in Java/.Net/C++ to generate a control flow graph for a particular source code/program. 9. Write a program in Java/.Net/C++ to generate a def-use graph showing def-use chain present in a source code/program. 10. Write a program in Java/.Net/C++ showing sites for intra-procedural calls in a program.
description
rghf
Transcript of Lab Assignments
Lab AssignmentsSoftware Verification & Validation
UCS752
1. Write a program in Java/.Net/C++ that takes a source code file as an input and append the statement number in front of the each statement of source file.
2. Write a program in Java/.Net/C++ that will generate the adjacency matrix for showing the data dependency among the statements of a program.
3. Write a program in Java/.Net/C++ that will generate the adjacency matrix for showing the control dependency among the statements of a program.
4. Write a program in Java/.Net/C++ to generate the data dependency graph for a given source program.
5. Write a program in Java/.Net/C++ to generate the control dependency graph for a given source program.
6. Write a program in Java/.Net/C++ to generate the program dependency graph for a given source program.
7. Write a program in Java/.Net/C++ to generate the system dependency graph for a given source program.
8. Write a program in Java/.Net/C++ to generate a control flow graph for a particular source code/program.
9. Write a program in Java/.Net/C++ to generate a def-use graph showing def-use chain present in a source code/program.
10. Write a program in Java/.Net/C++ showing sites for intra-procedural calls in a program.
11. Write a program in Java/.Net/C++ showing sites for inter-procedural calls in a program.
12. Write a program in Java/.Net/C++ showing polymorphic call sites in a program.
