CN107168882A - Concurrence error testing tool based on body recommends method - Google Patents
Concurrence error testing tool based on body recommends method Download PDFInfo
- Publication number
- CN107168882A CN107168882A CN201710442522.0A CN201710442522A CN107168882A CN 107168882 A CN107168882 A CN 107168882A CN 201710442522 A CN201710442522 A CN 201710442522A CN 107168882 A CN107168882 A CN 107168882A
- Authority
- CN
- China
- Prior art keywords
- module
- concurrence error
- concurrence
- user
- entities
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3696—Methods or tools to render software testable
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
- G06N5/046—Forward inferencing; Production systems
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Evolutionary Computation (AREA)
- Computing Systems (AREA)
- Data Mining & Analysis (AREA)
- Computational Linguistics (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Artificial Intelligence (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
Recommend method, the technical problem for solving the existing recommendation method poor practicability based on body the invention discloses a kind of concurrence error testing tool based on body.Technical scheme is by studying existing concurrence error, extract the typical feature of different type concurrence error, existing parts concurrence error testing tool is investigated again, study the emphasis and feature of different testing tools, build concurrence error testing tool body, simultaneously, according to the contact relation between concurrence error feature and concurrence error type, contact relation between testing tool emphasis and concurrent program, rule file is set up based on Jena inference machines perfect to body progress, the reasoning results can be also provided when the information that user gives is not associated directly with the reasoning results, finally realize that the concurrence error testing tool based on body is recommended, practicality is good.
Description
Technical field
The present invention relates to a kind of recommendation method based on body, more particularly to a kind of concurrence error test work based on body
Has recommendation method.
Background technology
Document is based on " Qiao Dongchun, Liu Xiaoyan, Fu Xiaodong, commending system model [J] the computers based on body that wait a kind of
Engineering, 2014,40 (11):A kind of recommendation method based on body proposed in 282-287 ".This method proposes a kind of based on this
The commending system model of body.Body is incorporated into commending system, user and project information are described using OWL language,
While making user and project that there is semantic information, the structural description level of information is improved.In recommendation process, pass through rule
Analysis user behavior information simultaneously considers to improve the recommendation quality of model.The results show, with conventional recommendation model phase
Than the model has advantage in terms of message structure level, semantic description.Use the model can for user's recommended project
Effectively improve the recall rate and accuracy rate of recommendation.But the recommendation method proposed in the document does not provide the support of inference machine,
The reasoning results can not be provided when the information that user gives is not associated directly with the reasoning results, meanwhile, this method does not have yet
Application in terms of concurrence error testing tool recommendation.
The content of the invention
In order to overcome the shortcomings of the existing recommendation method poor practicability based on body, the present invention provides a kind of based on body
Concurrence error testing tool recommends method.This method extracts different type concurrently wrong by studying existing concurrence error
Typical feature, then existing parts concurrence error testing tool is investigated by mistake, study different testing tools emphasis and
Feature, builds concurrence error testing tool body, meanwhile, closed according to the contact between concurrence error feature and concurrence error type
Contact relation between system, testing tool emphasis and concurrent program, sets up rule file based on Jena inference machines and body is entered
Row is perfect, and the reasoning results can be also provided when the information that user gives is not associated directly with the reasoning results, and final realize is based on
The concurrence error testing tool of body is recommended, and practicality is good.
The technical solution adopted for the present invention to solve the technical problems：A kind of concurrence error testing tool based on body is pushed away
Method is recommended, is characterized in comprising the following steps：
Step 1: concurrence error is divided into, deadlock, data contention, atomicity are run counter to and order runs counter to four major classes, will
Data contention, which is further divided into, writes-writes competition and read-write competition, and atomicity is run counter to and is further classified as univariate atomicity
The atomicity run counter to multivariable is run counter to.Ontological construction is carried out using prot é g é.
Step 2: existing concurrence error testing tool is investigated, different concurrence error testing tools are found out
Emphasis and feature.
Step 3: carrying out ontological construction.Build body and be divided into three modules, certain user knows clearly that program to be measured can
The concurrence error type that can exist or to treat ranging sequence carries out being directed to certain certain types of concurrence error, uses module
One, the concurrence error type provided according to user is recommended, and it is real that module one includes bug entities, tool entities and problem
Body.It is not aware that the user for the concurrence error for being specifically likely to occur which type uses module two or the progress of module three for those
Recommend, module two gives some may the feature containing concurrence error program, the feature progress that module two contains according to program
Recommend, module two includes bug entities, tool entities, property entities and problem entities.If user does not know about simultaneously
Program is then recommended using module three, and module three is recommended according to the actual demand of user, and module three includes benefit
Entity, tool entities and problem entities.
Step 4: defining derivation relationship using Jena reasoning plane mechanisms：In module one, if certain instrument a can be to concurrent
Mistake b is detected, and the program c to be measured that user provides needs the detection for concurrence error b just, then is recommended for user
Testing tool a.In module two, if certain instrument a can be detected to concurrence error b, and the program c to be measured that user provides
Just the detection for concurrence error b is needed, then recommends testing tool a for user.In module three, if if user needs completely
Sufficient property b, c, d testing tool, and testing tool e can meet these properties just, then system recommendation uses instrument e.According to
Three above-mentioned rules are write after create-rule file, and rule file is associated with the body in prot é g é, realize and recommend.
The beneficial effects of the invention are as follows：This method extracts different type concurrent by studying existing concurrence error
The typical feature of mistake, then existing parts concurrence error testing tool is investigated, study the emphasis of different testing tools
And feature, concurrence error testing tool body is built, meanwhile, according to the contact between concurrence error feature and concurrence error type
Contact relation between relation, testing tool emphasis and concurrent program, rule file is set up to body based on Jena inference machines
Progress is perfect, can also provide the reasoning results when the information that user gives is not associated directly with the reasoning results, finally realize base
Recommend in the concurrence error testing tool of body, practicality is good.
Present invention employs the test case that one from CMU group includes concurrence error.Make first
Each example is tested with all testing tools, all instruments for successfully finding out mistake is recorded and takes, and calculate average
It is time-consuming.It is exactly that the instrument provided using recommendation method is tested to judge successful standard, if can successfully find out wrong and time-consuming
Less than averagely time-consuming, then it is assumed that recommendation is successful.Due to add Jena inference machines rule to body carry out it is perfect, when with
The given information in family can also provide the reasoning results when not associated with the reasoning results directly.Part of test results reference table 1, is calculated
Understand, carrying out instrument recommending module success rate based on particular error type reaches 88.71%, carrying out instrument based on performance of program pushes away
Recommend module success rate and reach 71.07%, carrying out instrument recommending module success rate based on user's request reaches 74.82%, is averaged into
Power is 78.2%.
The part of test results of table 1
| Based on particular error type | Based on performance of program type | Based on user's request | |
| 1 | 63.6% | 54.5% | 75% |
| 2 | 81.8% | 72.7% | 57.8% |
| 3 | 100% | 62.5% | 66.3% |
| 4 | 83.3% | 66.7% | 89.3% |
| 5 | 100% | 66.7% | 67.2% |
| 6 | 87.5% | 62.5% | 70% |
| 7 | 100% | 63.3% | 67.5% |
| 8 | 80% | 100% | 88.4% |
| 9 | 100% | 80% | 76.7% |
| 10 | 90.9% | 81.8% | 90% |
The present invention is elaborated with reference to the accompanying drawings and detailed description.
Brief description of the drawings
Fig. 1 is the flow chart that concurrence error testing tool of the present invention based on body recommends method.
Fig. 2 is the structure chart after concurrence error is classified in the inventive method.
Fig. 3 is different to concurrent program and tested program degree of understanding according to user in the inventive method, structure
The framework map that body is divided.
Fig. 4 is the entity class graph of a relation of the body of module one in the inventive method.
Fig. 5 is the entity class graph of a relation of the body of module two in the inventive method.
Fig. 6 is the entity class graph of a relation of the body of module three in the inventive method.
Embodiment
Reference picture 1-6.Concurrence error testing tool of the present invention based on body recommends method to comprise the following steps that：
First by studying existing concurrence error, the typical feature of different type concurrence error is extracted；Then it is right
Existing concurrence error testing tool is investigated, and extracts the typical fault of different type mistake；According to above research and establishment root
Module that the concurrence error type provided according to user is recommended, the feature contained according to program carry out recommending module, according to
The body of the module that family demand is recommended totally three modules；And based on Jena inference machines rule file is set up to carry out body
It is perfect.
Parallel mistake is studied, by the way that existing achievement in research is analyzed and summarized, concurrence error be divided into extremely
Lock, data contention, atomicity are run counter to and order runs counter to four major classes, and further data contention can also be further divided into
Competition and read-write competition are write-write, atomicity is run counter to and can be further classified as univariate atomicity and run counter to and multivariable
Atomicity is run counter to.The structure of body, the deadlock set up under bug entities and its branch, data contention, original are carried out using prot é g é
Sub- property is run counter to, sequentially runs counter to four examples.
With reference to table 2 and table 3, the concurrence error of these types is further studied, its feature is analyzed, by existing
The program feature of concurrence error is studied, and can sort out some attributes relevant with concurrence error, and these attributes and simultaneously
The type of hair mistake has one-to-many relation, and attribute is waited for including at least one thread, at least one
Thread is in execution state, at least one thread and is waiting for one in ready state, all threads and is accounted for by other threads
Lock, at least one thread be waited for exceed certain acceptable time, all threads all in execution state, do not have
There is thread to continue executing with, number of threads is more than idle processor number of cores, have incorrect or unexpected result to go out
Existing, all thread takes a lock, at least thread and takes a lock, shared drive is accessed from multiple threads, to shared
At least one in the access of internal memory is that " writing " operation, shared drive identical to the access target core position of shared drive are visited
Ask do not protected by synchronization mechanism, shared drive access target memory address only one of which, shared drive access target memory
There is access at least two multiple, to a certain shared drive in address, one " reading ", one " writing ", " reading " access earlier than
" writing " accesses, same shared drive at least two " writing " is accessed, and centre does not have any " reading " to access, to shared drive
Access order at least one execution order be correct, sentence is performed has atomicity requirement.Carried out using prot é g é
The structure of body, sets up the example of each attribute under property entities and its branch.
The concurrence error characteristic attribute of table 2 is arranged
Table 3
Complete after the research to concurrence error the present invention also to some typical concurrent error detection instruments (including
findbugs、Jest、Intel Thread Checker、AtomFinder、Keshmesh、Relay、ThreadAnalyzer、
Mtrat、Doctor watson、Coverity Prevent、PMD、Valgrind、Parallel Inspector、UNICON)
Studied, these instruments for user group's difference because algorithm, design philosophy and have different emphasis and each
From the characteristics of, as a result with reference to table 4.The structure of body is carried out using prot é g é, each instrument under tool entities and its branch is set up
Example, set up the example of benefit entities and each emphasis.Carry out specific reasoning when, set up problem entities with
And corresponding example.
The Some tools emphasis of table 4 is arranged
After the preparation for completing early stage, the present invention proceeds by the structure of body, due to the user couple that uses simultaneously
The wrong degree of understanding of hair differs, and the body of structure divide into three modules, and certain user knows clearly that program to be measured may
The concurrence error type of presence or to treat ranging sequence carry out be directed to certain certain types of concurrence error, for this kind of user
Using module one, the concurrence error type provided according to user is recommended, and bug entities, tool entities are included in this module
With problem entities.
For those be not aware that the user for the concurrence error for being specifically likely to occur which type can use module two or
Module three is recommended, module two give some may the feature containing concurrence error program, module two can be according to program
The feature contained is recommended, this module include this module in include bug entities, tool entities, property entities and
Problem entities.If user does not simultaneously know about program and module three can be used to be recommended, module three is according to the actual need of user
(visual to report, detected to java applet, detected, increased income to C programmer) is asked to recommend, module includes
Include benefit entities, tool entities and problem entities in this module.
Made inferences to realize according to Given information, it is necessary to which using Jena reasoning plane mechanisms, in module one, definition is pushed away
Reason relation：If certain instrument a can be detected to concurrence error b, and the program c to be measured that user provides needs for simultaneously just
Mistake b detection is sent out, then recommends testing tool a for user.In module two, derivation relationship is defined：If certain instrument a can pair simultaneously
Hair mistake b is detected, and the program c to be measured that user provides needs the detection for concurrence error b just, then is pushed away for user
Recommend testing tool a.In module three, derivation relationship is defined：If if user needs to meet property b, c, d testing tool, and
Testing tool e can meet these properties just, then system will recommend instrument e.
Write according to three above-mentioned rules after create-rule file, rule file is related to the body in prot é g é
Connection, it is possible to realize and recommend.Furthermore it is also possible to be recommended using multiple modules simultaneously, make the result of recommendation relatively reliable.
Claims (1)
1. a kind of concurrence error testing tool based on body recommends method, it is characterised in that comprise the following steps：
Step 1: concurrence error is divided into, deadlock, data contention, atomicity are run counter to and order runs counter to four major classes, by data
Competition, which is further divided into, writes-writes competition and read-write competition, and atomicity is run counter to and is further classified as univariate atomicity and runs counter to
Run counter to the atomicity of multivariable；Ontological construction is carried out using prot é g é；
Step 2: existing concurrence error testing tool is investigated, stressing for different concurrence error testing tools is found out
Point and feature；
Step 3: carrying out ontological construction；Build body and be divided into three modules, certain user knows clearly that program to be measured may be deposited
Concurrence error type or to treat ranging sequence carry out be directed to certain certain types of concurrence error, use module one, root
The concurrence error type provided according to user is recommended, and module one includes bug entities, tool entities and problem entities；It is right
It is not aware that the user for the concurrence error for being specifically likely to occur which type is recommended using module two or module three in those,
Module two give some may the feature containing concurrence error program, the feature that module two contains according to program recommended,
Module two includes bug entities, tool entities, property entities and problem entities；If user and if not knowing about program
Recommended using module three, module three is recommended according to the actual demand of user, module three include benefit entities,
Tool entities and problem entities；
Step 4: defining derivation relationship using Jena reasoning plane mechanisms：In module one, if certain instrument a can be to concurrence error b
Detected, and the program c to be measured that user provides needs the detection for concurrence error b just, then recommends to test for user
Instrument a；In module two, if certain instrument a can be detected to concurrence error b, and the program c to be measured that user provides is lucky
The detection for concurrence error b is needed, then recommends testing tool a for user；In module three, if if user needs satisfaction property
Matter b, c, d testing tool, and testing tool e can meet these properties just, then system recommendation uses instrument e；According to above-mentioned
Three rules write after create-rule file, rule file is associated with the body in prot é g é, realize recommend.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710442522.0A CN107168882A (en) | 2017-06-13 | 2017-06-13 | Concurrence error testing tool based on body recommends method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710442522.0A CN107168882A (en) | 2017-06-13 | 2017-06-13 | Concurrence error testing tool based on body recommends method |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN107168882A true CN107168882A (en) | 2017-09-15 |
Family
ID=59825838
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710442522.0A Pending CN107168882A (en) | 2017-06-13 | 2017-06-13 | Concurrence error testing tool based on body recommends method |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107168882A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110888808A (en) * | 2019-11-16 | 2020-03-17 | 云南湾谷科技有限公司 | Web intelligent test method based on knowledge graph |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20060107141A1 (en) * | 2003-11-12 | 2006-05-18 | International Business Machines Corporation | Database mining system and method for coverage analysis of functional verification of integrated circuit designs |
| CN102081648A (en) * | 2010-12-20 | 2011-06-01 | 北京航空航天大学 | Case library system and method for supporting complex product advanced manufacture |
| CN105760297A (en) * | 2016-02-02 | 2016-07-13 | 四川长虹电器股份有限公司 | Test case generating method based on user feedback |
-
2017
- 2017-06-13 CN CN201710442522.0A patent/CN107168882A/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20060107141A1 (en) * | 2003-11-12 | 2006-05-18 | International Business Machines Corporation | Database mining system and method for coverage analysis of functional verification of integrated circuit designs |
| CN102081648A (en) * | 2010-12-20 | 2011-06-01 | 北京航空航天大学 | Case library system and method for supporting complex product advanced manufacture |
| CN105760297A (en) * | 2016-02-02 | 2016-07-13 | 四川长虹电器股份有限公司 | Test case generating method based on user feedback |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110888808A (en) * | 2019-11-16 | 2020-03-17 | 云南湾谷科技有限公司 | Web intelligent test method based on knowledge graph |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN111382255B (en) | Method, apparatus, device and medium for question-answering processing | |
| West et al. | Model fit and model selection in structural equation modeling | |
| Lawrie et al. | Syntactic identifier conciseness and consistency | |
| Rei et al. | Looking for hyponyms in vector space | |
| Bulian et al. | Tomayto, tomahto. beyond token-level answer equivalence for question answering evaluation | |
| Zhang et al. | Texttruth: an unsupervised approach to discover trustworthy information from multi-sourced text data | |
| Sun | Evaluation of Potential Correlation of Piano Teaching Using Edge‐Enabled Data and Machine Learning | |
| CN104331600B (en) | Autodiagnosis model training method and device based on factor graph model | |
| Das-Neves et al. | Connecting topics in document collections with stepping stones and pathways | |
| Avramidis et al. | Fine-grained evaluation of quality estimation for machine translation based on a linguistically motivated test suite | |
| Kim | Predicting the magnitude of residual spatial autocorrelation in geographical ecology | |
| Liu et al. | Survive or perish: Investigating the life cycle of academic journals from 1950 to 2013 using survival analysis methods | |
| Xu et al. | Dissecting generation modes for abstractive summarization models via ablation and attribution | |
| Snijder et al. | On the psychometric evaluation of cognitive control tasks: An Investigation with the Dual Mechanisms of Cognitive Control (DMCC) battery | |
| Ranaldi et al. | Investigating the Impact of Data Contamination of Large Language Models in Text-to-SQL Translation | |
| CN108009223A (en) | The consistency detecting method and device of a kind of transaction data | |
| Timkey et al. | A language model with limited memory capacity captures interference in human sentence processing | |
| CN107168882A (en) | Concurrence error testing tool based on body recommends method | |
| Xu et al. | Statistical power analysis and sample size planning for moderated mediation models | |
| Sun et al. | The validity of evaluation results: Assessing concurrence across compositionality benchmarks | |
| Huang et al. | The ordering of Mandarin Chinese light verbs | |
| Hahn et al. | Which way isright'?: Uncovering limitations of Vision-and-Language Navigation model | |
| Zheng et al. | Comparing alternative biometric models with and without gene-by-measured environment interaction in behavior genetic designs: Statistical operating characteristics | |
| Smucker et al. | Time to judge relevance as an indicator of assessor error | |
| Rodríguez‐Girondo et al. | Testing Markovianity in the three‐state progressive model via future‐past association |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20170915 |
|
| WD01 | Invention patent application deemed withdrawn after publication |