【摘 要】
：
可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测
【机 构】
：
上海大学计算机工程与科学学院,江西财经大学,上海市计算机软件评测重点实验室
【基金项目】
：
国家火炬计划基金资助项目(2009GH510068);上海市科委科研计划基金资助项目(10DZ2291800)
论文部分内容阅读
可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。
其他文献
<正> 文有体,书亦有体。“体”指对象的样式,故文体指文章的样式,书体指书籍的样式。文章的样式又称体裁,书体的样式可以用体例归结。 类书、丛书、百科全书都是书体,各有自
文章在分析市政道路潜在安全隐患的基础上,进一步对新材料应用于市政道路施工的重要价值作用进行了分析,最后探究了几大新材料在市政道路施工中的具体应用,希望以此为市政道
文章介绍了通信产品中的关键器件——双工器的原理及测试方法,重点分析了双工器的三种特性曲线。通过对特性曲线的分析研究,可以准确了解双工器的性能参数以及对通信产品整体
<正>每个伟大的历史变革的时期,都离不开重要著作的启蒙和照亮前程。也就是说,书籍是思想智慧的宝库,读书是培养价值观的根本途径,出版对价值观建设具有义不容辞的重要责任。
采用索氏提取法从中国被毛孢发酵菌丝体中提取粗脂肪,对粗脂肪甲酯化后,气相色谱-质谱分析脂肪酸组成。接着对脂肪酸类物质进行分离纯化,并最终确定其结构。中国被毛孢发酵菌
能源消费导致的碳排放对全球气候变化带来严峻挑战。区域经济迅速发展,不但对区域能源安全提出挑战,也对碳减排提出新的课题。文章总结了改革开放以来福建省能源消费的特点和
重金属污染水体的修复是目前研究的热点之一,其中生物治理技术尤其得到了广泛关注。利用菌类微生物的表面结构特性及其生化代谢作用,通过吸附法、代谢法、絮凝法等将重金属元
全面地综述了纤维织物的发展与人们健康保健的关系，报告了负离子产生的机理、负离子纺织品的制备方法，国内外负离予纺织品的开发与应用现状，及目前尚存在的问题。指出负离子纺织
阐述了西医临床随机对照试验(RCT)的特征和中医临床随机对照试验的困境,以及中医药"证"和"辨证论治"的哲学基础,提出了中医药循证医学的发展思路和哲学原则:树立整体检验思想
低幼图画书不同于有图有文的书和以图为主的卡通书。它的基本特点是以图画解说故事。低幼图 画书要引起幼儿的阅读兴趣,注意色彩运用、节奏展开和细节描写,使它成为幼儿的至