项目来源

香（略）资（略）金（略）C（略）

项目主持人

D（略）h（略） （略）g（略）o（略）

项目受资助机构

C（略） （略）v（略）i（略）o（略）o（略）K（略）

立项年度

2（略）

立项时间

未（略）

项目编号

1（略）0（略）

项目级别

省（略）

研究期限

未（略） （略）

受资助金额

6（略）6（略）0（略）

学科

C（略）u（略）g（略）i（略）e（略）f（略）a（略）n（略）c（略）l（略）

学科代码

未（略）

基金类别

G（略）r（略）R（略）a（略） （略）d

关键词

未（略）

参与者

未（略）

参与机构

未（略）

项目标书摘要：程式（略）件质量的解决方案。（略）体测试基础设施的改（略）美金的支出。   （略）在企业级应用、案头（略）台的应用中越来越得（略）的软体应用，例如F（略）ySQL资料库，都（略）样的程式，一次执行（略）包含一序列的程式语（略）互交错执行。多个线（略）例如一个共亯的记忆（略）能会首先请求并获取（略）用该共亯资源的过程（略）需要该资源的时候释（略）  开发高品质的多（略）出了新的挑战。因为（略）理解程式码，然而由（略）交错这种理解会产生（略）件程式采用这种主流（略），解决多执行绪程式（略）费越来越多的软体发（略）存在这样的并行错误（略）市场竞争中处於不利（略）基本的并行错误。如（略）一个记忆体位置并且（略）麽数据竞争就会出现（略）争的出现经常意味着（略）并行错误。许多测试（略）执行轨迹中检测出数（略）专案中，这些科技被（略）   有一些数据竞（略）们称之为潜在数据竞（略）设施可能会漏检潜在（略）终端用户有可能触发（略）遇严重的软件失效，（略）绪程式的错误库中包（略）告。其中有一部分报（略）到是由程式中的数据（略）  程式执行轨迹中（略）程对同一个记忆体空（略）并无任何机制协调这（略）突。潜在数据竞争即（略）以发现。它们的检测（略）十分重要。    （略）行绪程式，静态分析（略）不准确的结果或者无（略）争的存在而非仅仅报（略）式码，动态方法非常（略）的科技只能发现少量（略）实验也验证了类似的（略）本项目致力於开发一（略）模多执行绪程式中潜（略）的潜在数据竞争检测（略）题，本项目通过线程（略）。这个项目同时也可（略）在毕业後能够更好地（略）

Applicati（略）: Program（略） executin（略）over test（略）he most w（略）iced appr（略）osing pro（略）ese progr（略） assuring（略）ity durin（略）developme（略） are incr（略）mplex and（略）cale.More（略）rograms u（略）ithreadin（略）y in hand（略）processin（略）y importa（略） adopt th（略）aded tech（略）    Criti（略）s of thes（略）ltithread（略） such as （略）rashes ar（略）by users （略）o time.Th（略）t there a（略）ny hidden（略）these pro（略）after com（略）program t（略）ave tried（略）them.Many（略）e origina（略）e presenc（略）rrency bu（略） program （略）races.Mor（略）resence o（略）s in prog（略）indicate （略）es of oth（略）ncy bugs （略） program.（略）ata race （略）tion trac（略）t multipl（略）n the tra（略）es of dat（略）me memory（略）r get the（略）that loca（略）thout any（略）to coordi（略）tions tak（略） threads （略）ing in co（略）ccesses.D（略）tent race（略） races th（略）l unexpos（略）er compre（略）ting,are （略）n order t（略）he qualit（略）programs （略）     Stat（略） and mode（略）technique（略）ing large（略）ithreaded（略）re either（略）or imprac（略）ic approa（略）ng is ess（略）emonstrat（略）nce of da（略）stead of （略）rting the（略） of the c（略）uce them.（略）,the stat（略）t techniq（略）y reveal （略）amount of（略）es.Our ex（略）so confir（略）points.  （略）project a（略）loping a （略）P framewo（略）rt the de（略）latent ra（略）e-scale m（略）d program（略）dresses t（略）lenge in （略）g-sensiti（略） precise （略） detectio（略）hread sch（略）ation.Thi（略）ill also （略）dents so （略）an effect（略）ibute to （略）of the so（略）stry afte（略）n.