一种似然蜕变关系构造方法

摘要

本发明公开了一种似然蜕变关系构造方法，该方法包括：将目标程序的输入数据作向量的笛卡尔乘积，获得输入集合；在预设输入关系库中查找与输入集合匹配的输入关系；在输入集合中确定出满足输入关系的输入子集，并在目标程序的输出数据中确定出输入子集对应的输出子集；在预设输出关系库中查找与输出子集匹配的输出关系；将输入关系与输出关系之间的对应关系确定为目标程序的似然蜕变关系。构造的似然蜕变关系有利于进一步发现更多的蜕变关系，而蜕变关系越多越有利于对目标程序进行蜕变测试，以便发现深层次缺陷，有助于提升目标程序质量。本发明还公开了一种似然蜕变关系构造装置、设备及可读存储介质，具有相应的技术效果。