-
题名一种软件体系结构测试序列生成方法
- 1
-
-
作者
孔庆彦
伦立军
刘永纯
宋益波
-
机构
哈尔滨商业大学计算机与信息工程学院
哈尔滨师范大学计算机科学与信息工程学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第4期628-631,共4页
-
基金
黑龙江省教育厅科技项目(10541098)资助
-
文摘
软件体系结构在软件开发过程中至关重要,其中任何微小错误都会给软件开发及后期维护带来很大麻烦.本文提出一种软件体系结构测试序列生成方法,首先用化学抽象机描述体系结构,然后生成相应的反应规则依赖图RDG,再根据定义的测试覆盖准则及测试序列生成算法,产生软件体系结构测试序列,最后以客户机/服务器体系结构实例说明了导出RDG及生成测试序列的过程.
-
关键词
软件体系结构测试
化学抽象机
反应规则依赖图
测试序列
-
Keywords
software architecture testing
CHAM
RDG
test sequences
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于π演算的软件体系结构测试技术
- 2
-
-
作者
许慧
伦立军
-
机构
哈尔滨师范大学计算机科学系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第13期55-57,共3页
-
基金
黑龙江省教育厅科技基金资助项目(10541098)
-
文摘
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法,该方法包括π演算与Petri网结合、构造体系结构模型及测试路径生成算法。实验证明,该算法能够根据测试覆盖准则生成相应的测试路径,实现体系结构模型的动态性和测试技术的有效性。
-
关键词
软件体系结构测试
Π演算
测试准则
测试路径
-
Keywords
software architecture test
n calculus
test criteria
test paths
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于CHAM模型的LTS状态树生成算法
被引量：2
- 3
-
-
作者
叶俊民
王振宇
曹瀚
赵恒
-
机构
哈尔滨工程大学计算机科学与技术学院
华中师范大学计算机科学系
武汉大学计算机软件工程国家重点实验室
-
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
2003年第3期287-291,共5页
-
基金
武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020).
-
文摘
标号迁移系统(labelled transition system,LTS)是形式化一致性测试的重要研究方向.在软件体系结构(software architectures,SA)测试计划生成的研究中,需要从化学抽象机(chemical abstract machine,CHAM)模型中生成LTS,以表达出软件体系结构的动态特征.因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题.基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法.
-
关键词
化学抽象模型
软件体系结构
LTS生成算法
体系结构测试
-
Keywords
CHAM specification
LTS generation algorithm
software architecture testing.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
