排序方式: 共有33条查询结果,搜索用时 0 毫秒
2.
基于XML网上书店系统的设计 总被引:2,自引:2,他引:0
XML是新一代网络数据表示、传递和交换的标准,是Internet环境中跨平台的、依赖于内容的技术。XML的新特性改变了人们在网络的交换方式,加速了电子商务的发展。网上书店系统体系结构采用B/S结构,MSVS2005作为B/S结构应用程序的开发工具。在开发中采用基于XML技术及MSSQLServer2005数据库技术,实现了用户登录注册、图书信息浏览、图书搜索、购物车、书籍管理、结账、生成订单等主要功能,使系统具有方便快捷、界面友好、可移植等特点。 相似文献
3.
随着语义Web不断发展,本体数量不断增加,为了增强Web服务语义的精确度,利用网络距离模型方法中概念层次结构树的结构信息、信息论模型方法中概念的语义信息量来进行边的权重计算,提出了一种用最短路径距离来计算概念间语义距离的简便方法. 相似文献
4.
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。 相似文献
5.
测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性.本文对软件测试数据生成中的变量"不确定"问题进行了分析,认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性,根据这个思路提出非定态路径、变符号变量、程序状态变量等概念,并将问题进行了形式化的描述,证明了非定态路径约束解空间可进一步划分为多个子空间.在此结论的基础上,本文给出了一个将非定态路径测试转换为定态路径测试的算法,对非定态路径测试问题的理论分析和解决途径进行了有益的尝试. 相似文献
6.
7.
过程间并发程序分析问题是一个不可判定问题,理解这个不可判定问题的来源是发展一个有效的分析算法的基础.现有的证明[1]通过构造三个并发任务的PCP问题实例,证明过程间并发程序分析是一个不可判定问题.利用反射的思想,仅仅用两个并发任务构造该问题的一个PCP问题实例,证明在两个并发任务的情况下,过程间并发程序分析是一个不可判定问题. 相似文献
8.
程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序。 相似文献
9.
JAVA语言是目前一种主要的面向对象编程语言,由于JAVA语言复杂的结构,使得对JAVA程序进行程序切片非常困难.本文提出一种层次的构造JAVA系统依赖图的算法,基于JAVA程序本身的层次结构,自顶向下构造系统依赖图,然后基于构造的系统依赖图,用一种改进的两阶段算法得到JAVA程序切片. 相似文献
10.
一种回归测试后的错误定位方法 总被引:1,自引:0,他引:1
测试和调试之间的关系是极端密切的。回归测试是软件测试和维护过程中的一个重要活动。在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征。本文提出了一种基于Chopping技术进行错误定位的方法。这种方法反复利用调试信息和回归测试结果,通过从程序中抽取出与特定的语句有关的、 、相对原来的程序小得多的语句集,实现准确、快速的错误定位。 相似文献