退出
我的积分:
中文文献批量获取
外文文献批量获取
孔令东;
盐城工学院信息工程学院,江苏盐城 224051;
WF; 状态机; UML; 顺序图;
机译:安全状态UML:使用UML状态机对软件系统的安全问题进行建模和测试
机译:从时间触发的嵌入式软件的UML / MARTE行为模型向时序图的系统构建
机译:评估,比较和组合基于状态机的测试和结构测试:一系列实验。
机译:概念问题和标准。 NLM的Umls项目的当前状态:UMLS知识来源:用于构建更好的用户界面的工具
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:基于fUmL的可执行体系结构建模与仿真。
机译:用于输入逻辑设计参数以构建逻辑图测试用例的时序图方法
机译:用于测试和创建动态,自适应和静态测试标记系统的动态测试算法适应性和触发点构建系统
机译:通用软件-用于为应用程序构建动态对象的状态机和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。