国家科技成果网
热门搜索:  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

国家科技成果网 首页 成果 查看内容

SDL的数据流测试的研究与实验

2008年 应用技术
  • 成果简介
本课题为邮电部中青年教师基金项目。其就面向SDL基于数据流的测试方法和测试工具方面进行了如下工作:提出了软件数据流的正则性。为了判断软件数据流是否正则,提出下列准则:顺序数据流的正则性准则、并发数据流的正则性准则;提出了数据流测试的测试方法。数据流分析的目的是判断软件的非正则性。数据流分析的目的是判断软件 非正则性,实现了一个数据流测试实验系统DFT、DFT主要由正文分析器和跟踪分析器两部...
相关成果

标签云

相关机构

Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位:科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统