排序方式: 共有5条查询结果,搜索用时 507 毫秒
1
1.
2.
应用JNI实现Java与Prolog的优势互补 总被引:3,自引:0,他引:3
针对Java应用软件开发中可能遇到的逻辑推理问题,讨论了Java语言与Prolog语言的混合编程技术,提出用Java支持的JNI技术可实现两类语言的优势互补,提高了软件开发效率。中还给出了一个应用实例。 相似文献
3.
基于UML状态图和基本Petri网生成测试用例 总被引:1,自引:0,他引:1
结合UML状态图和Petri网提出了一种生成测试用例的方法。将UML状态图转换成对应的EN-系统模型,利用EN-系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞;再应用与合理的UML状态图对应的EN-系统生成可达状态图,利用可达状态图生成测试用例。该方法一方面可以很好地实现并行子状态的嵌套问题,避免了将并行的UML子状态展平成EFSM时引起的状态爆炸问题;另一方面,由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖,所以还很好地解决了对系统的不同测试要求和状态的可达性问题。 相似文献
4.
Web层的服务质量是近几年来才提出的崭新研究课题,文章根据中间件技术具有较好的通用性和可扩展性等特性,提出了一种具有服务质量保证的Web服务器中间件的设计方案;描述了该中间件的组成、各模块的实现机制及部分算法。应用该方案,可有效地完成Web服务器对于用户的服务区分和质量保证。 相似文献
5.
Web流量占Internet总流量中的比例已经超过了60%,且Internet正从提供单一的数据传送服务向电子交易和多媒体服务转变。这就要求作为支持这类应用核心设施的Web服务器系统提供服务质量保证。实现Web QoS控制的基础和关键是对用户或Http请求进行分类。文章提出了一些对Http请求进行分类的方法。 相似文献
1