Jayakrishnan
Nair
last updated December
3, 1997
| |
Jayakrishnan
Nair
last updated December
3, 1997
|
| formalWARE
project
formalWARE
formalWARE
|
Jayakrishnan B. Nair is a M.Sc.
student in the Department of Computer Science at the University of Victoria,
supervised by Dr. Daniel Hoffman. He received his B.Tech in Electronics
and Communication Engineering from the University of Calicut, Kerala,
India in 1992. From 1993 to 1996 he worked as a System Administrator
at the National Centre for Software Technology, Bombay, India.
His research focuses on automated testing of software components, with special emphasis on test driver generation. A tool called "APE" (Ada Package Exerciser) was developed at the University of Victoria from a similar tool used for testing C libraries. This tool automates some aspects of developing Ada code for unit-testing packages. Following specification of test cases in a more concise format than is normally done when writing Ada code directly, APE automatically expands into Ada code a test script that can be compiled and linked with the package being tested. Preliminary results indicate that APE input scripts are much more concise than Ada code written to unit -test a software component, while achieving the same level of test coverage. Apart from the potential for a significant reduction in the amount of effort required to conduct unit testing, the tool also yields greater consistency in the way unit tests are written. Further Information:
. |
