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