基于空间分析法的软件模块接口设计确认方法

摘要

本发明属于软件工程技术领域,包括:列出被确认软件所有的接口及接口间的相互作用;分析每个数据所有可能的状态,建立数据空间;分析每个相互作用的输入,输出和环境因素:并在数据空间中确定输入输出区域;分析其环境状态,确定其在各种环境下的合法输入输出区域,非法输入输出区域;利用三原则对所有的相互作用状态进行衡量并调整其输入输出状态,直到满足要求为止。本发明能发现在各种环境下的软件设计错误,并控制错误在接口间的传播。

主权项

1.一种基于空间分析法的软件模块接口设计确认方法，主要包括以下步骤；1)列出被确认软件所有的接口及接口间的相互作用，分析该软件的模块组成及相互间的连结情况，并确定各个模块间所有的相互作用；2)列出所有相互作用中涉及的数据，分析每个数据所有可能的状态，然后以所有数据为基建立数据空间：Data-Space；3)分析每个相互作用的输入，输出和相互作用发生时外部环境因素：事件和资源，写出每个相互作用的表达式；4)在Data-Space中找到相应的输入数据所对应的数据维，写出各个输入数据对应的基向量组，进行基向量组的加运算，得到该相互作用在数据空间中对应的输入区域，同样得到输出区域，分别表示为：INSPACEi和OUTSPACEi；5)对于每个相互作用，不同的事件和资源情况构成不同的外部环境。在每种环境下，对输入区域中的每一个输入点按照被确认软件的接口设计确定其输出，并判断该输出是否引起软件失败，从而确定这一对输入输出在该环境下的合法性；所有的合法输入点构成该相互作用在该环境下的合法输入区域(VINSPACE)，所有的合法输出点构成该相互作用在该环境下的合法输出区域(INVINSPACE)，同样得到该相互作用在该环境下的非法输入区域(VOUTSPACE)和非法输出区域(INVOUTSPACE)；6)根据确认的三原则对接口设计的所有相互作用状态进行衡量，看所有相互作用的输出区域和所有相互作用的非法输入区域之间有没有重合，如果有重合，则调整对应相互作用的设计，使其输出点不落入其他相互作用的非法输入区域，调整后按该方法重新衡量，直到满足要求为止。