Настройки

Укажите год
-

Небесная энциклопедия

Космические корабли и станции, автоматические КА и методы их проектирования, бортовые комплексы управления, системы и средства жизнеобеспечения, особенности технологии производства ракетно-космических систем

Подробнее
-

Мониторинг СМИ

Мониторинг СМИ и социальных сетей. Сканирование интернета, новостных сайтов, специализированных контентных площадок на базе мессенджеров. Гибкие настройки фильтров и первоначальных источников.

Подробнее

Форма поиска

Поддерживает ввод нескольких поисковых фраз (по одной на строку). При поиске обеспечивает поддержку морфологии русского и английского языка
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Укажите год
Укажите год
Применить Всего найдено 14. Отображено 14.
25-05-2011 дата публикации

Code static analysis based multithread deadlock detection method and system

Номер: CN0102073588A
Автор: YUNZHAN GONG, CHAOHONG YANG, YAWEN WANG, GELE BAI, DAHAI JIN, QING XIAO, XINHONG YAO, GONG YUNZHAN, YANG CHAOHONG, WANG YAWEN, BAI GELE, JIN DAHAI, XIAO QING, YAO XINHONG
Принадлежит:

The invention provides a code static analysis based multithread deadlock detection method and system. The method comprises the following steps: analyzing morphology, grammar and semanteme of a software source program to be detected to generate an abstract syntax tree and a control flow graph; generating an orientation analysis graph of the program by traversing the abstract syntax tree, analyzing the thread in the program to generate a thread class concurrence set; performing reachability analysis on the program by traversing the control flow graph, generating and analyzing a thread concurrence set, generating and analyzing a possession request feature set and a lock graph, detecting a potential deadlock to find a door lock set of a lock object, deleting the deadlock in which the lock objects with different threads have the same door lock, and updating the potential deadlock set; deleting impossible deadlock conditions by concurrence and escape analysis to obtain a final deadlock set. By ...

Подробнее
Номер записи: 1
29-06-2011 дата публикации

Detection method based on safety bug defect mode

Номер: CN0101482847B
Автор: YUNZHAN GONG, DAHAI JIN, FEIYU LI, QING XIAO, CHAOHONG YANG, JUNLIANG CHEN, CHUANCHANG LIU, GONG YUNZHAN, JIN DAHAI, LI FEIYU, XIAO QING, YANG CHAOHONG, CHEN JUNLIANG, LIU CHUANCHANG
Принадлежит:

The present invention discloses a detection method based on security vulnerability mode, wherein the detection method comprises the following steps: reading the source code document of tested program for preprocessing, analyzing the safety vulnerability state machine description document corresponding to security vulnerability mode; executing lexical analysis and syntax analysis to the tested program code for constructing an abstract syntax tree of tested program; constructing a control flow chart according to the abstract syntax tree for generating symbol table; then calculating and updatingthe range set of variable value, analyzing the function calling relationship to the tested program according to symbol table and generating a function calling relationship graph, and then establishing a ud/du chain; traversing the control flow chart through establishing a security vulnerability mode state machine and calling the ud/du chain, calculating the state transition of security vulnerability ...

Подробнее
Номер записи: 2
20-04-2011 дата публикации

Software test method based on alias analysis technology

Номер: CN0102023923A
Автор: Jin Dahai, Gong Yunzhan, Zhou Jiangbo, Wang Yawen, Huang Junfei, Zhao Yunshan, Wang Qian
Принадлежит:

The invention discloses a software test method based on an alias analysis technology. By carrying out special analysis on some statements involved with an alias relationship on a control flow, a spatial abstract ternary model is used to associate variable declarations, values and memory spaces, and the process it iterated until the control flow is not expanded any more; by means of the ternary model defining the alias analysis, different from the traditional binary variable-value model, the abstraction of the memory spaces is enhanced; and all variables which are aliases of others in the same abstract memory space are collected in the primary stage of a software static test process, and values of the variables are effectively associated and are applied to statement nodes on a control flow chart. Compared with the traditional test method not using the alias analysis technology, experiments prove that the software test method can effectively solve the under-reporting problem caused by asynchrony ...

Подробнее
Номер записи: 3
29-09-2010 дата публикации

Method and system for testing software by using abnormal control flow set

Номер: CN0101847122A
Автор: GONG YUNZHAN, HUANG JUNFEI, JIN DAHAI, WANG YAWEN, XIAO QING, YANG CHAOHONG, YUNZHAN GONG, JUNFEI HUANG, DAHAI JIN, YAWEN WANG, QING XIAO, CHAOHONG YANG
Принадлежит:

The invention discloses a method and a system for testing software by using an abnormal control flow set. According to the method and the system provided by the invention for treating the software, the method comprises the following steps of: describing a run-time abnormal behavior through an abnormal mode state machine to support expansion of control flow and automatic detection of faults; expanding the traditional abnormal control flow through the run-time abnormal control flow, and adding a throwing run-time abnormal edge into the abnormal control flow to support the detection of a new fault; and generating the run-time abnormal control flow set through an iterative equation by combining the conventional static test technology to realize alternated iterative execution of control flow expansion and new fault detection. The method expands the traditional analysis path and fulfills the purpose of improving the fault report rate.

Подробнее
Номер записи: 4
29-06-2011 дата публикации

Static defect detection method of application program slicing technology

Номер: CN0102110051A
Автор: YUNZHAN GONG, YUNSHAN ZHAO, DAHAI JIN, QING XIAO, CHAOHONG YANG, LI LIU, GONG YUNZHAN, ZHAO YUNSHAN, JIN DAHAI, XIAO QING, YANG CHAOHONG, LIU LI
Принадлежит:

The invention discloses a static defect detection method of an application program slicing technology, which comprises the following steps of: A, acquiring defect characteristics of a defect mode to be detected; B, calculating path conditions of all branch nodes according to the defect characteristics, and generating slicing criteria; C, traversing a control flow graph according to the slicing criteria to perform program slicing, and reconstructing the control flow graph to obtain a reconstructed control flow graph; D, performing defect mode state machine calculation by using the reconstructed control flow graph and using a defect state iterative algorithm; E, if the current control flow graph node is a non-convergence node, converging and updating the state conditions in all defect states; and F, if the current control flow graph node is a convergence node, merging the states according to the state condition of the current defect state. By adopting the method, the defect detection efficiency ...

Подробнее
Номер записи: 5
23-06-2010 дата публикации

Method, mobile terminal and server for carrying out intelligent search at mobile terminal

Номер: CN0101751422A
Автор: JIN DAHAI, WANG CHANGZHENG, DAHAI JIN, CHANGZHENG WANG
Принадлежит:

The invention provides a method, a mobile terminal and a server for carrying out the intelligent search at a mobile terminal. The method comprises the following steps: acquiring the lexical space of network resources, and carrying out the conceptual clustering on the information to be searched in a search request, to form a conceptual space; retrieving lexes identical with the content semantics of the conceptual space from the content of the lexical space, to form a semantic space; analyzing user behavior to generate a user behavior space; generating an associated business library according to the mapping relation between the feasible business recorded in a business space and provided by operators and the content of the user behavior space; establishing the association relation between the content in the associated business library and the lexes in the semantic space; and selecting the search results from the network resources. By introducing the analysis on the user behavior, the invention ...

Подробнее
Номер записи: 6
14-03-2012 дата публикации

Software test method using symbolic analysis

Номер: CN0101840372B
Автор: GONG YUNZHAN, HUANG JUNFEI, JIN DAHAI, SONG YING, WANG YAWEN, XIAO QING, YANG CHAOHONG, ZHAO YUNSHAN, YUNZHAN GONG, JUNFEI HUANG, DAHAI JIN, YING SONG, YAWEN WANG, QING XIAO, CHAOHONG YANG, YUNSHAN ZHAO
Принадлежит:

The invention discloses a software test method using symbolic analysis. The method comprises the following steps of: A, providing a symbolic operation system which comprises the expression, simplification and operation of a symbolic expression, and calculating a value interval of the symbolic operation; B, providing a method for mapping concrete operation among variables in a program into symbolic operation; C, providing a method for computing a limited interval of symbolic values by a program branch statement; and D, providing a computing method of the symbolic analysis on a program control flow graph. When the software test method using the symbolic analysis is used, the problem of association among variables in a software static test can be solved, the information of the variable values at various program positions can be accurately computed, and the accuracy of the software static test can be improved.

Подробнее
Номер записи: 7
02-05-2012 дата публикации

Method and system for testing software by using abnormal control flow set

Номер: CN0101847122B
Автор: GONG YUNZHAN, HUANG JUNFEI, JIN DAHAI, WANG YAWEN, XIAO QING, YANG CHAOHONG, YUNZHAN GONG, JUNFEI HUANG, DAHAI JIN, YAWEN WANG, QING XIAO, CHAOHONG YANG
Принадлежит:

The invention discloses a method and a system for testing software by using an abnormal control flow set. According to the method and the system provided by the invention for treating the software, the method comprises the following steps of: describing a run-time abnormal behavior through an abnormal mode state machine to support expansion of control flow and automatic detection of faults; expanding the traditional abnormal control flow through the run-time abnormal control flow, and adding a throwing run-time abnormal edge into the abnormal control flow to support the detection of a new fault; and generating the run-time abnormal control flow set through an iterative equation by combining the conventional static test technology to realize alternated iterative execution of control flow expansion and new fault detection. The method expands the traditional analysis path and fulfills the purpose of improving the fault report rate.

Подробнее
Номер записи: 8
09-06-2010 дата публикации

Mobile terminal, method and server for realizing data management

Номер: CN0101730297A
Автор: JIN DAHAI, WANG CHANGZHENG, DAHAI JIN, CHANGZHENG WANG
Принадлежит:

The invention provides a mobile terminal, a method and a server for realizing data management. The mobile terminal comprises a human-computer interface unit, a data management unit and a multimedia information service unit, wherein the human-computer interface unit is used for inputting a backup command and extracting data to be backed up from data information in the mobile terminal according to the backup command; the data management unit is used for preprocessing the data to be backed up after receiving the data to be backed up from the human-computer interface unit; and the multimedia information service unit is used for encapsulating the preprocessed data to be backed up into a multimedia information service message body and transmitting the multimedia information service message body in which the preprocessed data to be backed up is encapsulated to the server. The embodiment of the invention has the following advantages that: data backup technology and data recovery technology provided ...

Подробнее
Номер записи: 9
25-05-2011 дата публикации

Static detection method for inaccessible route in program

Номер: CN0102073587A
Автор: YAWEN WANG, YUNZHAN GONG, QING XIAO, CHAOHONG YANG, DAHAI JIN, QINGCUI LI, SILAN WANG, WANG YAWEN, GONG YUNZHAN, XIAO QING, YANG CHAOHONG, JIN DAHAI, LI QINGCUI, WANG SILAN
Принадлежит:

The invention discloses a static detection method for an inaccessible route in a program. The method comprises the following steps of: A, performing lexical analysis, syntactical analysis and semantic analysis on the function unit of a program to be tested, and generating the control flow graph of a function; B, acquiring the function abstract of the called function unit through the inter-function analysis of a variable value range in the program to be tested; C, selecting a route p between the entrance node and the exit node of the control flow graph, and adopting the policy of entering a loop body for 0 time or 1 time if the route comprises loop statement nodes; and D, starting from the entrance node of the route p, calculating a context state at every statement node, wherein the route p is the inaccessible route if the situation that the value of a variable is empty in the context state at a certain node exists, and the route p is an accessible route if the situation does not exist.

Подробнее
Номер записи: 10
15-07-2009 дата публикации

Detection method based on safety bug defect mode

Номер: CN0101482847A
Автор: YUNZHAN GONG, JUNLIANG CHEN, CHAOHONG YANG, QING XIAO, DAHAI JIN, FEIYU LI, GONG YUNZHAN, CHEN JUNLIANG, YANG CHAOHONG, XIAO QING, JIN DAHAI, LI FEIYU
Принадлежит:

The present invention discloses a detection method based on security vulnerability mode, wherein the detection method comprises the following steps: reading the source code document of tested program for preprocessing, analyzing the safety vulnerability state machine description document corresponding to security vulnerability mode; executing lexical analysis and syntax analysis to the tested program code for constructing an abstract syntax tree of tested program; constructing a control flow chart according to the abstract syntax tree for generating symbol table; then calculating and updating the range set of variable value, analyzing the function calling relationship to the tested program according to symbol table and generating a function calling relationship graph, and then establishing a ud/du chain; traversing the control flow chart through establishing a security vulnerability mode state machine and calling the ud/du chain, calculating the state transition of security vulnerability ...

Подробнее
Номер записи: 11
22-09-2010 дата публикации

Software test method using symbolic analysis

Номер: CN0101840372A
Автор: YUNZHAN GONG, JUNFEI HUANG, DAHAI JIN, YING SONG, YAWEN WANG, QING XIAO, CHAOHONG YANG, YUNSHAN ZHAO, GONG YUNZHAN, HUANG JUNFEI, JIN DAHAI, SONG YING, WANG YAWEN, XIAO QING, YANG CHAOHONG, ZHAO YUNSHAN
Принадлежит:

The invention discloses a software test method using symbolic analysis. The method comprises the following steps of: A, providing a symbolic operation system which comprises the expression, simplification and operation of a symbolic expression, and calculating a value interval of the symbolic operation; B, providing a method for mapping concrete operation among variables in a program into symbolic operation; C, providing a method for computing a limited interval of symbolic values by a program branch statement; and D, providing a computing method of the symbolic analysis on a program control flow graph. When the software test method using the symbolic analysis is used, the problem of association among variables in a software static test can be solved, the information of the variable values at various program positions can be accurately computed, and the accuracy of the software static test can be improved.

Подробнее
Номер записи: 12
25-05-2011 дата публикации

Code static analysis-based data race detecting method and system thereof

Номер: CN0102073589A
Автор: JUNFEI HUANG, YUNZHAN GONG, CHAOHONG YANG, DAHAI JIN, XINHONG YAO, YAWEN WANG, QING XIAO, GELE BAI, HUANG JUNFEI, GONG YUNZHAN, YANG CHAOHONG, JIN DAHAI, YAO XINHONG, WANG YAWEN, XIAO QING, BAI GELE
Принадлежит:

The invention discloses a code static analysis-based data race detecting method and a system of the detecting method. The method comprises the following steps of: reading software to be detected, statically analyzing a source program of the software to be detected, and generating an abstract syntax tree, a control flow graph and a global function call graph of the software to be detected; on thatbasis, computing alias information in each function, outlet alias information among functions, lock assembly information, an access link of an access escapable variable quantity in each function and a thread building relational graph; computing a plurality of initialized sentence pair sets of a plurality of access nodes in every two threads; and gradually eliminating the sets according to the alias information, the lock assembly information and a concurrency relation to obtain a sentence pair which can finally have the data race. The detecting method and the detecting system can effectively detect ...

Подробнее
Номер записи: 13
24-11-2010 дата публикации

Method for testing software by applying across function analysis

Номер: CN0101894064A
Автор: GONG YUNZHAN, JIN DAHAI, XIAO QING, YANG CHAOHONG, CHEN JUNLIANG, YUNZHAN GONG, DAHAI JIN, QING XIAO, CHAOHONG YANG, JUNLIANG CHEN
Принадлежит:

The invention discloses a method for testing software by applying across function analysis, which solves the problem of influences on interval precision caused by function calls, underutilized environment constraint information, control flow change caused by abnormal handling and the like in a software static test. Decision methods for detecting different defects in a program are correspondingly specified by defining function summary information as well as pre-information, post-information, constraint information and characteristic information of the function summary information; and the summary information of all functions in the tested program is output after the test is completed by collecting the function summary information and applying the function summary information to statement nodes of a control flow graph and the process of determining defect modes in the process of testing the software. Experiments prove that compared with the conventional testing software, the testing software ...

Подробнее
Номер записи: 14