Ta上传的资源 (0)

实现EJB中容器管理的用户权限验证。 在Enterprise Bean代码中设置class级别或method级别的用户权限:@RolesAllowed({ "XXX" })。 Client访问相应类或方法时,由容器提出用户权限验证要求,并在client提交用户信息后,经由容器验证

针对通信软件的模型驱动测试框架中出现的测试生成问题，对MSC测试模型的测试生成方法进行改进，获得有效的系统测试集。采用符号执行和程序分析相结合的方法，收集生成的约束、测试脚本变量与被测系统变量之间的映射关系，据此生成测试模型，进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展

云计算消费者现在可以通过网络，以一种按需供应的软件解决方案（SaaS，软件即服务），或者以一个无须任何基础设施成本便可快速开发可扩展解决方案的平台（PaaS，平台即服务），抑或以一种可基于较低成本构建可扩展解决方案的虚拟数据中心（IaaS，基础设施即服务）来满足自身的需求；可以用一种按需支付的模式，

：为了解决传统嵌入式数控系统开发中出现的各种问题，提出并实现了一种嵌入式数控系统模型驱动开发方法，该 方法以模型为中心，主要包括领域建模语言构建、模型转换、代码自动生成3个部分。为了实现对数控系统全面而真实的描述，采用了基于多视角的数控系统元模型的构建方法。在模型转换部分详细描述了转换的四点要求及相