论文部分内容阅读
在软件体系结构描述语言Wright的基础上，提出了基于软件体系结构的测试覆盖准则及BG动态行为图，根据BG图构造基于覆盖准则的测试路径，生成测试数据。由此平衡开发成本、进度与质量需求之间的关系，最后以Server/Client结构为例说明该方法是适用的。
基于软件体系结构的测试路径生成方法
【摘 要】
：
在软件体系结构描述语言Wright的基础上，提出了基于软件体系结构的测试覆盖准则及BG动态行为图，根据BG图构造基于覆盖准则的测试路径，生成测试数据。由此平衡开发成本、进度与质
【机 构】
：
哈尔滨师范大学计算机科学系,哈尔滨师范大学现代教育技术中心,黑龙江司法警官职业学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2008年1期
【基金项目】
：
黑龙江省教育厅科技项目（10541098,11511127）
其他文献
对SystemC进行系统级通信结构建模的语言元素进行了深入的研究,并以一个基于AMBA总线的典型SoC为例进行了通信结构的建模.从设计的顶层开始,应用SystemC语言提供的建模能力,
对延迟瓶颈定位算法中的ICMP慢速路由器修正算法和未响应路由器延迟分配算法进行改进，在ICMP慢速路由器修正算法中提出均值估计修正算法，在未响应路由器的延迟分配算法中提出改
提出一种基于位翻转的低复杂度、便于硬件实现的LDPC码解码算法.该算法充分利用变量节点的本征信息来计算翻转判决函数,减少了对其它变量节点软信息的需求,因此大大降低了解
以基于角色的访问控制为理论依据,提出了一种轻量级的通用访问控制框架,应用.Net平台的代码访问安全及对象关系映射技术实现了Web页面及Web服务资源的访问控制,以及不同层次
介绍了一种新的自适应软件测试过程的稳定性模型.该模型能够根据现场实际测量的错误数据客观地反映软件测试过程稳定性的变化情况,在受控马尔可夫链方法的框架内讨论软件系统的自适应测试过程,大大提高了对不同分布形式错误数据的适应能力,在一定程度上克服了软件测试过程稳定性模型的应用范围较窄的缺点.