[00879104]基于空间分析法的软件模块接口设计确认方法
交易价格:
面议
所属行业:
软件
类型:
非专利
交易方式:
资料待完善
联系人:
所在地:
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
该发明属于软件工程技术领域,包括:列出被确认软件所有的接口及接口间的相互作用;分析每个数据所有可能的状态,建立数据空间;分析每个相互作用的输入,输出和环境因素:并在数据空间中确定输入输出区域;分析其环境状态,确定其在各种环境下的合法输入输出区域,非法输入输出区域;利用三原则对所有的相互作用状态进行衡量并调整其输入输出状态,直到满足要求为止。该发明能发现在各种环境下的软件设计错误,并控制错误在接口间的传播。
该发明属于软件工程技术领域,包括:列出被确认软件所有的接口及接口间的相互作用;分析每个数据所有可能的状态,建立数据空间;分析每个相互作用的输入,输出和环境因素:并在数据空间中确定输入输出区域;分析其环境状态,确定其在各种环境下的合法输入输出区域,非法输入输出区域;利用三原则对所有的相互作用状态进行衡量并调整其输入输出状态,直到满足要求为止。该发明能发现在各种环境下的软件设计错误,并控制错误在接口间的传播。