-
公开(公告)号：CN103235734B
公开(公告)日：2016-03-02
申请号：CN201310199628.4
申请日：2013-05-24
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应的名字和原子命题映射规则将名字和原子命题映射为MSVL的通道和布尔变量，再将所述的系统模型通过进程转换规则转换为MSVL程序，采用区间动作前缀，即skip和Ip，为时间相关并发系统的时间相关行为建模，由于区间动作前缀考虑了时间，可以精确刻画时间相关行为；采用结构化的转换规则完成从p-π到MSVL的转换，鉴于规则具有高度的结构化对应关系，可以保证转换前后系统的结构等价性。
-
公开(公告)号：CN103268280B
公开(公告)日：2016-01-06
申请号：CN201310132421.5
申请日：2013-04-16
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于距离度量和统计分析结合的软件故障定位系统及方法，所述系统包括总体输入模块、基于距离度量的故障定位模块、基于统计分析的故障定位模块以及定位结果展示模块，通过所述系统对目标软件进行故障定位：采用基于距离度量的软件故障定位和基于统计分析的软件故障定位进行故障定位，并得出语句的可疑度和非可疑度，然后前面两种方法得到的可疑度值和非可疑度值按照权值综合起来，用图形化的方式向用户展示故障定位结果，以友好的方式帮助用户排查软件故障。本发明结合了现有软件故障定位方法的优点，通过定义统一的路径格式可以针对普遍性软件进行软件故障定位，定位的准确率很高，实用性很强。
-
-
公开(公告)号：CN103257921A
公开(公告)日：2013-08-21
申请号：CN201310130862.1
申请日：2013-04-16
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于改进随机森林算法的软件故障预测系统及其方法，所述系统包括数据处理层、预测模型构建层和故障预测层，其故障预测过程是：首先计算用来得到训练模型的软件项目属性集合从而得到软件故障预测模型的训练数据集，对训练数据集进行平衡化处理；然后根据改进的随机森林算法构建预测模型；其次根据准确率以及查全率的性能限制来筛选模型；最后根据待测软件项目的属性集合信息及训练好的预测模型来对该软件项目进行预测并对预测结果和预测模型进行显示。本发明具有预测准确率高、性能稳定和执行效率高的优点，可评估最终的软件产品是否达到了规定的质量或者满足用户期望，且可指导开发人员制定软件测试和形式化验证资源的分配策略。
-
公开(公告)号：CN103176830A
公开(公告)日：2013-06-26
申请号：CN201310129978.3
申请日：2013-04-15
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 本发明公开了一种基于类图和活动图相结合生成C++代码的方法，其生成的过程是：由用例图转换为类图和活动图，以每一个用例为基础，根据用例图中的对该用例描述、前置条件、后置条件、控制流等信息，生成一个类图和一个活动图；建立类图和活动图到C++代码的映射规则,为了提高代码的实用性与有效性，需要将类图和活动图结合在一起来生成代码；以基于模板的技术为框架，模板引擎的输入信息选择基于模型技术中的类图和活动图，使用基于类图和活动图的模板代码生成技术生成代码。
-
Patent Agency Ranking
公开(公告)号：CN103235734A
公开(公告)日：2013-08-07
申请号：CN201310199628.4
申请日：2013-05-24
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应的名字和原子命题映射规则将名字和原子命题映射为MSVL的通道和布尔变量，再将所述的系统模型通过进程转换规则转换为MSVL程序，采用区间动作前缀，即skip和Ip，为时间相关并发系统的时间相关行为建模，由于区间动作前缀考虑了时间，可以精确刻画时间相关行为；采用结构化的转换规则完成从p-π到MSVL的转换，鉴于规则具有高度的结构化对应关系，可以保证转换前后系统的结构等价性。
-
公开(公告)号：CN103164230B
公开(公告)日：2017-04-19
申请号：CN201310129016.8
申请日：2013-04-15
Applicant: 西安电子科技大学
IPC: G06F9/44
Abstract: 本发明公开了一种基于新特征模型的需求建模及模型转换方法，新特征模型通过添加“服务层”来扩展能力特征的层次结构以及增加了四个层次结构的质量特征建模；通过引入“可选集”将特征模型的5种情况简化为两种情况；其次，本发明依据新特征模型设计了需求建模流程，并依据转换规则将特征图转换为UML类图和UML用例图。基于新特征模型的需求建模方法极大地促进了软件需求资产的复用性并提高了软件的生产效率和质量；模型转换方法衔接了基于特征模型的需求建模方法和UML图建模方法。
-
公开(公告)号：CN103530228B
公开(公告)日：2016-09-28
申请号：CN201310455252.9
申请日：2013-09-27
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。
-
公开(公告)号：CN103257921B
公开(公告)日：2015-07-22
申请号：CN201310130862.1
申请日：2013-04-16
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于改进随机森林算法的软件故障预测系统及其方法，所述系统包括数据处理层、预测模型构建层和故障预测层，其故障预测过程是：首先计算用来得到训练模型的软件项目属性集合从而得到软件故障预测模型的训练数据集，对训练数据集进行平衡化处理；然后根据改进的随机森林算法构建预测模型；其次根据准确率以及查全率的性能限制来筛选模型；最后根据待测软件项目的属性集合信息及训练好的预测模型来对该软件项目进行预测并对预测结果和预测模型进行显示。本发明具有预测准确率高、性能稳定和执行效率高的优点，可评估最终的软件产品是否达到了规定的质量或者满足用户期望，且可指导开发人员制定软件测试和形式化验证资源的分配策略。
-
公开(公告)号：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.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.049 seconds)
