主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张立东,刘积仁,李华天.一种基于形式化描述的测试序列生成改进方法.软件学报,1995,6(3):142-147
一种基于形式化描述的测试序列生成改进方法
AN IMPROVED TEST SEQUENCES GENERATION METHOD BASED ON FORMAL DESCRIPTION TECHNIQUE
投稿时间:1992-04-06  修订日期:1992-08-07
DOI:
中文关键词:  计算机网络,协议工程,一致性测试,协议测试,软件测试,测试生成
英文关键词:Computer network,protocol engineering,conformance testing,protocol testing,software testing,testing generation.
基金项目:本课题研究得到国家教委博士点基金的资助.
作者单位
张立东 东北大学计算机系,沈阳,110006 
刘积仁 东北大学计算机系,沈阳,110006 
李华天 东北大学计算机系,沈阳,110006 
摘要点击次数: 2572
全文下载次数: 2600
中文摘要:
      动生成测试序列始终是软件工程中一项极为困难的工作.国际标准化组织(ISO)一直致力于协议一致性测试方法与形式化描述技术的研究.本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分T序列叠加算法”对使用UIO序列生成测试序列的方法做了进一步改进,大大减少了测试开销.
英文摘要:
      The selection of appropriate test cases is an important issue for conformance testing of protocol implementations as well as in software engineering. This paper describes an optimization method for reducing the length of protocol conformance test sequences by"Partial T sequences overlapping method", which are obtained using UIO sequences.This method provides a logical link between T method and UIO method.It is shown that test sequences generated by this method can shorter 10%-60% than those generated by other methods employing UIO sequences in an example.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利