退出
我的积分:
中文文献批量获取
外文文献批量获取
黄亮; 冯登国; 张敏;
中国科学院软件研究所信息安全实验室;
中国科学院研究生院;
测试用例; 信息安全产品测评; 类型划分; 安全策略模型;
机译:BEAT:基于Web的布尔表达式基于错误的测试用例生成工具
机译:SMART:安全模型对系统安全设计评估的基于对抗的风险工具
机译:基于差分演进的自动测试用例生成,基于节点分支归档
机译:使用基于统计用户配置文件的优先级来约束成对的测试用例生成的工具
机译:基于马尔可夫链和似然性的自动测试用例生成,验证和优先级排序的模型方法:理论与应用。
机译:分布式环境下基于椭圆曲线的Schnorr云安全模型
机译:决策表支持的基于事件序列图的测试用例生成工具
机译:基于环境模型的无功软件系统自动测试用例生成
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
机译:基于用例图的测试用例生成程序以及使用该程序的测试用例生成方法
机译:测试用例生成装置,测试用例生成方法和测试用例生成程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。