【摘 要】
：
核电安全级应用软件的特点包括：复杂的数字逻辑结构,输入变量多等。组合测试旨在使用较少的测试用例,有效地检查出由各因素之间的作用而产生的缺陷。针对核电安全级应用软件输
论文部分内容阅读
核电安全级应用软件的特点包括：复杂的数字逻辑结构,输入变量多等。组合测试旨在使用较少的测试用例,有效地检查出由各因素之间的作用而产生的缺陷。针对核电安全级应用软件输入变量多的特点,结合传统组合测试算法,提出一种基于分级组合测试思想的单元测试用例设计方法。实践表明该方法能够大幅度减少测试用例数量,有效提升测试效率,更快速地发现潜在软件缺陷,是一种值得继续深入研究的可行方法。
其他文献
开展创新创业课程教学是大学生创新与创业教育的重要方式。分析民办高校创新与创业课程教学现状和实效性不高的原因,提出提升民办高校创新创业课程教学效果的对策。
采用自制的铜模具制备不同成分Cu-xSn-yFe（其中x、y表示质量百分比）合金,研究对比了铸态及不同处理态下Cu-xSn-yFe合金抗拉强度和电阻率的变化规律.结果表明：随着Sn和Fe添加量的
研究具有故障边的5元n立方体的两条不交路覆盖问题。用归纳假设法证明了：若Qn5的边故障集F中至多有2n-4条边，对于Qn5中任意四个顶点a，b，c，d，则Qn5-F存在两条顶点不交的覆盖路P1和P２，
通过模糊分类的方法，将铅锌烧结过程透气性建模的数据进行分类成为高低温烧结子空间，分别建立两个相同结构和算法的神经网络模型并进行模型集成。通过专家规则将烧结状态透气性
从１９８１－１９８５年，研制出落枯净和粉锈宁两种高效低毒杀菌油剂，并对其应用技术进行了研究。落枯净油剂使用飞机超低量喷雾联合防治落叶松枯捎病，落叶病的平均防治效果为７０％左右，与百菌清油剂相近
作为外语教学的一个重要组成部分，口译课程已在各大专院校广泛开设。通过对云南广播电视大学普通专科英语专业英语口译教学特点及现状的分析，力图寻求适合此类院校学生的口译课
医学化学是医科院校为护理专业开设的一门公共基础课程。由于独立医科院校规模扩招,学生生源素质整体下降,导致该门课程的教学效果一直不理想;学生出现对该课程缺乏热情和兴
分析了石油焦产品常见六类质量诉求产生的原因,并分别从工艺优化、生产现场管理、物流管理、港口管理等方面,探讨了质量控制措施。通过调节加热炉出口温度、焦化时间、塔顶压
在＂中国制造2025＂背景下,高职院校实施现代学徒制改革,适应新常态下经济结构调整带来的劳动力需求的变化,满足企业用工需求。基于＂产教融合＂,探索高职院校现代学徒制改革的路径,
以我国东北主要树种兴安落叶松(Larix gmelini Rupr)和水曲柳(Fraxinus mandshurica Rupr)板材为试材,并分别选取具有代表性的25mm和50mm两种厚度,对高频真空干燥木材技术进