基于Wright的SA级测试路径生成方法
【摘要】:软件体系结构描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.本文在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,在此基础上,又提出了软件体系结构测试覆盖准则,并根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想.最后以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的.
【作者单位】:哈尔滨师范大学现代实验中心 黑龙江司法警官职业学院
【基金】:黑龙江省科技攻关项目(GZ09A109) 黑龙江省教育厅科学技术研究基金(11531237) 2009年哈尔滨师范大学青年学术骨干资助计划项目(博士科研启动基金);哈尔滨师范大学科研基金(KM2007-14) 黑龙江省新世纪高等教育教学改革项目
【分类号】:TP311.53
【基金】:黑龙江省科技攻关项目(GZ09A109) 黑龙江省教育厅科学技术研究基金(11531237) 2009年哈尔滨师范大学青年学术骨干资助计划项目(博士科研启动基金);哈尔滨师范大学科研基金(KM2007-14) 黑龙江省新世纪高等教育教学改革项目
【分类号】:TP311.53
【参考文献】 | ||
|
|||
|
【共引文献】 | ||
|
|||||||||
|
|
|||||||
|
|
|||||
|
|
|||||||||||||||||||||
|
【二级参考文献】 | ||
|
|||||
|
【相似文献】 | ||
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
相关机构 | ||||||||||||||||||||||||
|
||||||||||||||||||||||||
相关作者 | ||||||||||||||||||||||||
|
||||||||||||||||||||||||