A new concept of rare axis based on statistical facts is proposed, and an evaluation algorithm is designed thereafter. For the nested regular expressions containing rare axes, the proposed algorithm can reduce its eva...A new concept of rare axis based on statistical facts is proposed, and an evaluation algorithm is designed thereafter. For the nested regular expressions containing rare axes, the proposed algorithm can reduce its evaluation complexity from polynomial time to nearly linear time. The distributed technique is also employed to construct the navigation axis indexes for resource description framework(RDF) graph data. Experiment results in Drug Bank and Bio GRID show that this method can improve the query efficiency significantly while ensuring the accuracy and meet the query requirements on Web-scale RDF graph data.展开更多
有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,...有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,利用正则表达式的结构表示测试路径(抽象测试用例),使测试分析变得更简单并利于形式推导.对任何抽象级的FSM,都可以从中产生满足确定测试准则的测试用例,它们是抽象的,对应不同的抽象级别,适合不同层次上的测试.最后还对FSM中完全路径的条数展开了分析,这便于考察满足完全路径覆盖所需的最多测试用例个数以及满足迁移覆盖所需的最少测试用例个数.展开更多
An extent join to compute path expressions containing parent-children andancestor-descendent operations and two path expression optimization rules, path-shortening andpath-complementing, are presented in this paper. P...An extent join to compute path expressions containing parent-children andancestor-descendent operations and two path expression optimization rules, path-shortening andpath-complementing, are presented in this paper. Path-shortening reduces the number of joins byshortening the path while path-complementing optimizes the path execution by using an equivalentcomplementary path expression to compute the original one. Experimental results show that thealgorithms proposed are more efficient than traditional algorithms.展开更多
基金Supported by the National Natural Science Foundation of China(No.61373035 and No.61100049)National High Technology Research and Development Program of China("863"Program,No.2013AA013204)+1 种基金Fundamental Research Funds for the Central Universities(No.3122014C018 and 3122015C022)Scientific Research Funds Supported by Civil Aviation University of China(No.09QD02X)
文摘A new concept of rare axis based on statistical facts is proposed, and an evaluation algorithm is designed thereafter. For the nested regular expressions containing rare axes, the proposed algorithm can reduce its evaluation complexity from polynomial time to nearly linear time. The distributed technique is also employed to construct the navigation axis indexes for resource description framework(RDF) graph data. Experiment results in Drug Bank and Bio GRID show that this method can improve the query efficiency significantly while ensuring the accuracy and meet the query requirements on Web-scale RDF graph data.
文摘有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,利用正则表达式的结构表示测试路径(抽象测试用例),使测试分析变得更简单并利于形式推导.对任何抽象级的FSM,都可以从中产生满足确定测试准则的测试用例,它们是抽象的,对应不同的抽象级别,适合不同层次上的测试.最后还对FSM中完全路径的条数展开了分析,这便于考察满足完全路径覆盖所需的最多测试用例个数以及满足迁移覆盖所需的最少测试用例个数.
文摘An extent join to compute path expressions containing parent-children andancestor-descendent operations and two path expression optimization rules, path-shortening andpath-complementing, are presented in this paper. Path-shortening reduces the number of joins byshortening the path while path-complementing optimizes the path execution by using an equivalentcomplementary path expression to compute the original one. Experimental results show that thealgorithms proposed are more efficient than traditional algorithms.
