Automated Software Test Generation via Keyword Matching

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Manually constructing test procedures for complex software designs is time-consuming and inefficient, as it requires verifying compatibility of code segments before attaching them to finite state machines (FSMs) during the design process.

Innovation Solution

An automated system and method that analyzes keyword lists and kernels/algorithms to generate test procedures, temporarily associates them with the design process, compares input/output variables, executes suitable kernels/algorithms with test data, and registers expected output datasets to ensure compatibility before finalization.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If manual construction of test procedures is used, then compatibility verification of code segments can be performed, but the process is time-consuming and inefficient

Engineering Contradiction:

Improvecompatibility verificationVSAvoidtime-consuming

Core Design Contradiction:

ReliabilityVSLoss of time

Solution Approach 1:

The system performs self-verification by automatically comparing input/output variables of code segments with the finite state machine model, eliminating the need for manual compatibility checking and significantly reducing verification time while maintaining reliability

Inventive Principle:

Principle #25Self-service

Solution Approach 2:

The patent replaces manual mechanical processes (human reviewers manually verifying compatibility) with an automated computational system that uses algorithms to compare code segment interfaces against the FSM model, achieving both speed and accuracy

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

2Productivity

If automated generation of test procedures is implemented, then manual effort is reduced, but system complexity increases

Engineering Contradiction:

Improvemanual effort reductionVSAvoidsystem complexity

Core Design Contradiction:

ProductivityVSDevice complexity

Solution Approach 1:

The system performs preliminary actions by automatically generating test procedures from the existing finite state machine model and code segment information before actual testing begins, reducing manual effort while the complexity is confined to the automated generation phase

Inventive Principle:

Principle #10Preliminary action

Solution Approach 2:

The patent introduces an intermediary automated system that acts as a mediator between the code segments and the testing process, managing the complexity internally while presenting a simplified interface to users through automatic test procedure generation and execution

Inventive Principle:

Principle #24Intermediary (Mediator)

Data Source

PatentUS9424168B2System and method for automatic generation of software test

Publication Date: 2016.08.23 MASSIVELY PARALLEL TECHNOLOGIES INC

AI summary

Disclosed herein is a system and method for automatically generating a test for a design process. The present system and method compares a keyword list associated with a design process and keyword lists associated with kernels and/or algorithms, temporarily associating matching kernels and/or algorithms with the design process, testing the kernels and/or algorithms with an input and designates the best output as the expected output.