论文部分内容阅读
形式化方法被认为是高可信软件工程必不可少的工具，但是软件测试依然是提高软件质量最有效的方法．为此基于TTCN-3的测试集成环境，提出一种基于反馈的框架，可扩展地集成形式化规约和形式化证明方法，并把形式化方法和测试工程有效地结合起来，提高了测试的充分性和必要性．
基于反馈的可信网络软件验证与测试集成框架研究
【摘 要】
：
形式化方法被认为是高可信软件工程必不可少的工具，但是软件测试依然是提高软件质量最有效的方法．为此基于TTCN-3的测试集成环境，提出一种基于反馈的框架，可扩展地集成形式化规约
【机 构】
：
中国科学技术大学计算机科学技术系
【出 处】
：
中国科学技术大学学报
【发表日期】
：
2010年2期
【基金项目】
：
中国高技术研究发展（863）计划（2009AA01Z145）资助.致谢在此,我们向对本文的工作给予支持和建议的同行,尤其是国防科学技术大学的王戟教授和中国科学院软件所的张健研究员表示感谢.
其他文献
首先建立高速运动目标宽带雷达回波模型，分析了高速运动对目标一维距离像的影响，针对其回波是调频斜率相同的多分量LFM信号的特点，提出利用自适应短时傅立叶变换的方法获得一维
通过分析河道治理工程对社会效益的影响,建立河道治理工程对社会效益影响的量化评估模型,从生命财产安全感价值和沿江地区劳动力就业影响社会效益价值两方面量化评估了河道治
把思想政治工作贯穿教育教学全过程是时代对高校提出的新要求,高职院校要更好地完成立德树人的根本任务,需要在充分调研的基础上努力探索,将思政教育融入专业课堂。该文以高
今年随着宏观经济数据的企稳,最近两个月周期品价格和股价涨幅较大,对此,华商基金认为,今年周期股尤其是钢铁板块涨幅很大,其实逻辑同2003年基本一致。
目的探讨无症状性心肌缺血患者24h动态心电图监测的价值。方法选取2016年2月至2018年2月莆田市第一医院收治的98例老年无症状性心肌缺血患者作为研究对象,患者均经冠状动脉造
提出一种适用于多天线系统的跳频信号盲检测方法.先用该方法求出多路信号之间的互相关函数的功率谱密度之和,得到随时间改变的功率谱密度矩阵,然后通过对该矩阵的处理产生跳
研究了一种窄带脉冲激励下Gauss聚焦波的非线性声场特性.采用解析方法求解KZK方程,理论研究了基波和二次谐波的空间分布规律.结果表明,基波和二次谐波声场沿径向均近似服从Ga