退出
我的积分:
中文文献批量获取
外文文献批量获取
杨朝红; 宫云战; 肖庆; 王雅文;
装甲兵工程学院信息工程系;
北京100072;
北京邮电大学网络与交换技术国家重点实验室;
北京100876;
软件测试; 静态分析; 区间运算; 缺陷模型; 状态机;
机译:基于软件缺陷数量的基于模糊的多模型系统
机译:基于BUG存储库和行为模型的雷达系统软件缺陷预测
机译:基于模型的系统测试:可以使用整个开发过程中的物理原型和仿真模型的组合准确地测试复杂系统
机译:服务导向系统的模型驱动系统测试 - 基于独立系统和测试模型的标准对齐方法
机译:增强测试和评估过程:实施敏捷开发,测试自动化和基于模型的系统工程概念
机译:基于模型的仿真器用于测试ARDS患者的机械通气的基于规则的决策支持系统。
机译:基于aTCRBs的表面三边形数据采集子系统的基于Brassboard模型的设计,制造和测试。
机译:使用源代码测试注释和约束解决方案在基于模型的测试中生成测试数据的系统和方法
机译:使用嵌入式模型的基于模型的测试方法和系统
机译:为基于模型的测试自动对测试用例进行分类的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。