Software testing and verification

A computer program product, comprising a non-transitory computer readable hardware storage device storing a computer readable program code, said computer readable program code comprising an algorithm that when executed by a processor of a hardware device of an IT system implements an automated software testing method, said method comprising:

• identifying, by said processor, software elements of a software test specification derived from a readable domain specific software language;
• first mapping, by said processor, existing software objects associated with a software module for testing with said identified software elements of said software test specification;
• second mapping, by said processor, said existing software objects with physical operational values of said software module;
• verifying, by said processor, said identified software elements of said software test specification and associated software parameters;
• extracting, by said processor, software values of said identified software elements via execution of software fabrication code, object lookup code, extraction and mapping code, and data retrieval code;
• first executing by said processor, said software values with respect to a library database;
• second executing by said processor based on results of said first executing, said software test specification with respect to said software module;
• generating, by said processor based on results of said second executing, software module test software for operationally testing software modules and associated hardware devices resulting in improved operation of said software modules and associated hardware devices, wherein said improved operation of said software modules and said associated hardware devices comprises an improved processing speed for a processor of said associated hardware devices;
• and
• storing, by said processor, said software test specification within a storage device.

A hardware device of an IT system comprising a hardware processor coupled to a hardware computer-readable memory unit, said memory unit comprising instructions that when executed by the computer processor implements an automated software testing method comprising:

• identifying, by said hardware processor, software elements of a software test specification derived from a readable domain specific software language;
• first mapping, by said hardware processor, existing software objects associated with a software module for testing with said identified software elements of said software test specification;
• second mapping, by said hardware processor, said existing software objects with physical operational values of said software module;
• verifying, by said hardware processor, said identified software elements of said software test specification and associated software parameters;
• extracting, by said hardware processor, software values of said identified software elements via execution of software fabrication code, object lookup code, extraction and mapping code, and data retrieval code;
• first executing by said hardware processor, said software values with respect to a library database;
• second executing by said hardware processor based on results of said first executing, said software test specification with respect to said software module;
• generating, by said hardware processor based on results of said second executing, software module test software for operationally testing software modules and associated hardware devices resulting in improved operation of said software modules and associated hardware devices, wherein said improved operation of said software modules and said associated hardware devices comprises an improved processing speed for a processor of said associated hardware devices;
• and
• storing, by said hardware processor, said software test specification within a storage device.