论文部分内容阅读
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
基于形式化描述测试用例生成的研究与实现
【摘 要】
：
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
【出 处】
：
计算机应用
【发表日期】
：
2008年04期
【基金项目】
：
国家自然科学基金资助项目(60773170;60721002;60473053);国家863计划项目(2006AA01Z432);江苏省自然科学基金资助项目(BK2005074)
其他文献
近年来,掺杂ZnS半导体纳米材料作为一类新型发光材料,因其独特的光学特性和在众多领域中的广阔应用前景而成为研究的热点。由于量子尺寸效应,随着纳米粒子粒径减小,掺杂ZnS纳
传统的小波增强算法应用于光照不足或不均匀的图像时处理效果一般,针对该问题提出了基于小波变换的图像增强新算法。首先,对图像进行多级小波分解,得到尺度系数和多个层次的
由阳极氧化法制备的TiO2纳米管阵列,因其独特的有序结构而显示出优异的性能,在许多领域有着广泛的应用,成为一种很有发展前景的新型纳米结构材料。本文简要综述了制备TiO2纳
<正>创生既凸显本土特色又为世界认同的教育理论是中国教育学者的神圣使命和共同期盼。实现理论创生须有自由开放的学术环境、持续深入的教育实践和不懈努力的创生主体等条件
针对分布式多传感器环境下的目标识别问题,提出了一种基于加权D-S证据理论组合规则的决策融合方法。分析了多传感器目标识别系统的信息模型,指出传感器的决策可信度由其被支
美国学校"学生学习成果评估"的特点主要表现为:以大学内部评估为主的多主体评估;关注学生能力提高和个人发展的产出性评估;注重测量数据的综合性评估;强调不断改善教学的持续
随着对领导研究的深入和认识的提升,越来越多的人开始关注伦理与道德在领导过程中的意义与价值。经过持续的研究,西方领导学界不仅产生了伦理型领导的不同流派和理论主张,而
离子液体的快速发展产生了许多具有应用价值的新型离子液体。目前,离子液体作为绿色溶剂已广泛应用于合成、催化和分离等许多领域用以替代传统有机溶剂。由于离子液体具有低
<正>党的十八大以来,中央把推进城镇化建设作为实现现代化的发展战略,城镇化建设中的教育问题受到社会的普遍关注和高度期盼。2013年12月21—22日,华东师范大学公共管理学院
由于在手性识别、手性分离以及手性催化等领域的潜在应用,手性纳米二氧化硅已经成为介孔二氧化硅材料发展的重要方向之一。人们通过设计不同的模板分子(包括凝胶因子、表面活