-
公开(公告)号：CN104281480A
公开(公告)日：2015-01-14
申请号：CN201410531029.2
申请日：2014-10-10
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 本发明公开了一种基于时序逻辑语言MSVL的函数调用方法，首先判断被调用函数的类型是MSVL函数、有返回值的外部函数还是无返回值的外部函数，根据不同的函数类型对被调用函数进行定义或者修改其定义；然后判断函数调用的位置，根据不同的函数调用位置以及相应的被调用函数类型，以不同的方式进行调用。本发明可以在同一程序中以不同的方式对被调用函数进行解释；并且在MSVL程序中可以调用由C语言和Java语言编写的函数，有利于多种不同编程语言程序的集成，有效降低程序开发的难度，提高代码复用率。
-
公开(公告)号：CN104182216A
公开(公告)日：2014-12-03
申请号：CN201410334324.9
申请日：2014-07-15
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种MSVL中结构体以及结构体指针类型的扩展解释系统，具体包括结构体类型定义模块、结构体变量定义声明模块、结构体变量存储模块和结构体及结构体指针类型赋值操作处理模块；在该系统的基础上，还公开了一种MSVL中结构体以及结构体指针类型的扩展方法，该方法在MSVL基本数据类型(包括整型、浮点型、字符型、字符串型)和指针类型的基础之上扩展了结构体类型和相应的结构体指针类型，解决了现有MSVL中数据类型单一，应用范围窄的问题，使得MSVL可用于相对复杂的多数据类型系统的建模、仿真和验证。
-
公开(公告)号：CN103916327A
公开(公告)日：2014-07-09
申请号：CN201410106285.7
申请日：2014-03-21
Applicant: 西安电子科技大学
IPC: H04L12/803 , H04L29/08
Abstract: 一种HP2P网络负载平衡的方法，其包括，HP2P网络群间负载平衡的方法，通过群分裂以及群在网络地址空间的移动来实现群之间的负载转移，并通过新节点加入负载较大的群诱导群发生分裂和合并从而使得负载较大的地址空间群数目较多，负载较小的地址空间群数目较少；HP2P网络群内负载平衡的方法，通过超级节点对群内负载有效的调度，使群内负载率较低的节点找到群内负载率较高的节点。
-
公开(公告)号：CN103530228A
公开(公告)日：2014-01-22
申请号：CN201310455252.9
申请日：2013-09-27
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。
-
公开(公告)号：CN103455362A
公开(公告)日：2013-12-18
申请号：CN201310454977.6
申请日：2013-09-27
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 本发明公开了一种硬件语言自动转换系统，所述转换系统包括词法分析模块，将字符序列转换为tokens，所述字符序列包括Verilog语言中的关键字、标识符、常数、字符串、运算符以及注释符；语法分析与语义检查模块，其中，语法分析基于Bison中规定的Verilog语言的语法规则，识别出Verilog程序中的表达式、语句、过程快、模块等结构，语义检查在语法分析的同时进行；中间表示存储，将得到Verilog源文件的各种结构体，以模块为单位作为中间表示；转换模块，根据Verilog语言与MSVL语言之间的语言转换规则将Verilog语言转换成MSVL语言。
-
Patent Agency Ranking
公开(公告)号：CN103268280A
公开(公告)日：2013-08-28
申请号：CN201310132421.5
申请日：2013-04-16
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于距离度量和统计分析结合的软件故障定位系统及方法，所述系统包括总体输入模块、基于距离度量的故障定位模块、基于统计分析的故障定位模块以及定位结果展示模块，通过所述系统对目标软件进行故障定位：采用基于距离度量的软件故障定位和基于统计分析的软件故障定位进行故障定位，并得出语句的可疑度和非可疑度，然后前面两种方法得到的可疑度值和非可疑度值按照权值综合起来，用图形化的方式向用户展示故障定位结果，以友好的方式帮助用户排查软件故障。本发明结合了现有软件故障定位方法的优点，通过定义统一的路径格式可以针对普遍性软件进行软件故障定位，定位的准确率很高，实用性很强。
-
公开(公告)号：CN103246926A
公开(公告)日：2013-08-14
申请号：CN201310196431.5
申请日：2013-05-23
Applicant: 西安电子科技大学
IPC: G06Q10/00
Abstract: 一种基于目标和场景的用例驱动需求获取方法，（1）将所述目标和场景分成四层结构，所述四层结构包括业务层、服务层、交互层和内部层；（2）引导用户填写表格，从而获取需求（3）将步骤2所获取的需求转化为目标场景表格，并把目标场景表格转换为用例表格；（4）将所述用例表格转换为用例图，并通过用例图生成活动图、序列图和状态图；（5）非功能性需求和功能性需求相关，把用户添加后的非功能需求模板转换为可视化的非功能需求图和软目标树。设计并实现了目标和场景四层结构，方便需求分析人员和用户交互；将目标和场景获取的需求转换为用例模型；提供了用例模型到UML需求模型的转换。
-
-
公开(公告)号：CN103164230A
公开(公告)日：2013-06-19
申请号：CN201310129016.8
申请日：2013-04-15
Applicant: 西安电子科技大学
IPC: G06F9/44
Abstract: 本发明公开了一种基于新特征模型的需求建模及模型转换方法，新特征模型通过添加“服务层”来扩展能力特征的层次结构以及增加了四个层次结构的质量特征建模；通过引入“可选集”将特征模型的5种情况简化为两种情况；其次，本发明依据新特征模型设计了需求建模流程，并依据转换规则将特征图转换为UML类图和UML用例图。基于新特征模型的需求建模方法极大地促进了软件需求资产的复用性并提高了软件的生产效率和质量；模型转换方法衔接了基于特征模型的需求建模方法和UML图建模方法。
-
公开(公告)号：CN101364958B
公开(公告)日：2011-04-27
申请号：CN200810150833.0
申请日：2008-09-05
Applicant: 西安电子科技大学
IPC: H04L12/58
Abstract: 本发明公开了一种基于非结构化P2P网络的搜索方法，其搜索过程是：网络上的任意一个站点首先根据公式TTL＝round(lognN)+2、Load＝nTTL分别计算一组TTL值和网络负载值Load，并计算各组值的优先级；将优先级的多组值中的最大值对应的邻接站点数n和消息包存活时间TTL值确定为最终参数；然后根据查询内容生成一个查询消息，发送给所确定的最终要发送的n个邻接站点；收到该查询消息的第j个邻接站点将TTL值减j后，搜索本站资源，如果本站有要查询的消息，则返回给发送站点，否则，将该查询消息转发给其它邻接站点；如此往复直至TTL值变为0或搜索到所要的资源后停止。本发明具有搜索成功率高和网络负载小的优点，可用于在非结构化网络中搜索文档、音乐、电影等资源信息。
-
-
-
-
-
-
-
-
-
Search Results
132
records
(took 0.029 seconds)
