Indian Science Technology and Engineering facilities Map
 
Preivious Next  

  Digital Catalogue for Technology and Products Development


   Technology and Product Development

    Basic Information

Technology developed: Improving Coverage of Test Suites via Automatic Test Case Generation (TP19763385941)
Category: Technology Service/Know how
Details of Inventor(s):
Inventor Institution/Organization/Company Department Designation
Dr. Subhajit Roy Indian Institute of Technology (IIT) Kanpur
Dr. Amey Karkare Indian Institute of Technology (IIT) Kanpur
Technical Application Area: Information Technology
If 'Other', please specify:
Please give more details of new technical application area:
Organization(s):
Indian Institute of Technology (IIT) Kanpur
Affiliated Ministry: Institution Funding (Self Supported)
Type of technology development: Indigenous
Does the technology help in replacing any import items currently
procured from outside India?
Yes
Does the technology have export potential? Yes
Category of Technology developed: Immediate Deployment
Stage of Development: Field Test
Please describe in detail including the TRL Level:
trl

    Abstract:

Applications: Program testing is a fundamental chore in the development of any software system. An expert testing team, using relevant domain knowledge of the system being built, would design a set of test cases aimed at ascertaining certain degree of confidence in the product. However, such test cases often fail to uncover small corner case bugs. The project aims to build a tool that would leverage the testing teams effort to improve test coverage. By leveraging on the knowledge of these domain experts, and supplementing it with the rigour of systematic exploration based on formal methods,
Advantages: this tool is more likely to gain improved coverage than either a manually developed test suite or a completely automated test case generation system. It is expected that this will also open our tools to wider acceptance as the trusted domain experts are not replaced, only complemented, by this tool.

    Technology Inputs:

Imported Equipment/Spare Parts:
Equipment/Spare Parts Year ITC-HS Code
NA
Indigenous Equipment/Spare Parts:
Equipment/Spare Parts Year ITC-HS Code
NA
Imported Raw Materials:
Raw Materials Year ITC-HS Code
NA
Indigenous Raw Materials:
Raw Materials Year ITC-HS Code
NA
Existing R&D Facilities used:
Facilities Year ITC-HS Code
NA

   Patents & Publications:

Patents:
Filed Patents (No.) Granted Patents (No.) Year
0 0 NA
Publications:
Submitted (No.) Published (No.) Year
0 0 NA

    Commercialization Potential:

Who are the Potential Licensees?
What commercially available products address
the same problem?
Company Product Problem Addressed
Would you like to develop this invention further with
corporate research support?
No
Would you be interested in participating in cluster based
programs for commercialization research or business
planning for your invention?
No
      Submitted by: I-STEM Admin Date of Submission: 1-5-2023



Chat Room      Write Review     Talk to Experts


THE VISION
THE MISSION
ABOUT I-STEM
It has always been the basic tenet of the Government of India, in generously funding R&D efforts at academic institutions over the years, that facilities established through such support be made available to those needing them and qualified to make use of them for their own research work
read more >>

However, this was never easy or straightforward for, among other reasons, there was no ready source of information of what facility was available and where. Thanks to the Web, it is much easier today to have a national and regional “inventory of resources”, so as to match users with the resources they need, and to do all this in an efficient and transparent manner.

This can lead to a leap in R&D productivity and greatly enhance the effectiveness of public investment. This is the motivation behind I-STEM.
read less <<
Visitor Hit Counter
Hosted at Indian Institute of Science
Copyright © 2024 I-STEM. All rights reserved.
Audited by: STQC Bengaluru.