【摘 要】
：
化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构（SA）中构件的概念,采用CHAM对SA中的构件进行
【机 构】
：
黑龙江司法警官职业学院,哈尔滨师范大学图书馆,哈尔滨师范大学现代实验中心
【基金项目】
：
教育部项目（10YJC870025）
论文部分内容阅读
化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构（SA）中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统（LTS）,以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.
其他文献
一、引言课标明确规定，中学英语教学的目的是要培养学生的综合语言运用能力（听、说、读、写）。所以，阅读与听、说、写是英语教学的主要组成部分。英语的阅读让中国学生了解到的不
设计了一个应用于超宽带脉冲无线电（IR-UWB）通信系统的数控环形振荡器（DCRO）.DCRO采用3调谐,包括电压粗调谐和开关变容管精调谐,逐级提高调谐精度.提出了一种新型延时单元,采用多
在中职学校教学过程中，如何更有效地提高课堂效率已成为众多教师探索的问题。在基础课课堂教学中，激发与引导学生的思维更是提高课堂效率的有效手段。为了培养学生的思维能力，本
提出了基于K-Means算子的混合粒子群优化算法聚类,将K-Means算法的局部搜索能力与粒子群优化算法的全局寻优搜索能力相结合,根据群体适应度变化的情况自适应调整权重,并对种