基于CHAM的软件连接件形式化模型

作     者：张淑娟 

作者机构：云南经济管理职业学院 

出 版 物：《信息与电脑（理论版）》 (China Computer & Communication)

年 卷 期：2013年第9期

页      码：82-83页

摘      要：软件技术目前来看是日新月异,各种手段方法纷纷而至,但是随之到来的是其中存在的问题,大小问题比比皆是,下面就针对这一问题展开讨论,讨论的内容包括对化学抽象机CHAM的概述、基于CHAM的形式化模型的描述以及对存在的问题进行简要分析,目的在于通过此次的讨论研究进一步地实现简化软件连接件的设计并且在此基础上提高软件连接件的通用性能。

主 题 词：CHAM 形式化模型 软件体系结构 连接件 抽象机 构件系统 系统构件 集成测试 软件系统 测试覆盖 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203133630...