Scribd
Upload
66 views1 page

Lab Assignments Software Verification & Validation

The document lists 12 lab assignments for a software verification and validation course. The assignments require students to write programs in Java, C++, or .Net that analyze source code files by generating graphs and matrices showing dependencies, control flow, data flow, and call sites within and between programs.

Uploaded by

Iman Virk
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
66 views1 page

Lab Assignments Software Verification & Validation

The document lists 12 lab assignments for a software verification and validation course. The assignments require students to write programs in Java, C++, or .Net that analyze source code files by generating graphs and matrices showing dependencies, control flow, data flow, and call sites within and between programs.

Uploaded by

Iman Virk
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
You are on page 1/ 1

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.
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.

You might also like