简介:AnApproximateAlgorithmofGeneratingVariateswithArbitraryContinuousStatisticalDistributions¥ZhangZhengjun;YangZiqiang;ZhangChun...
简介:Selectionoftestcasesplaysakeyroleinimprovingtestingefficiency.Black-boxtestingisanimportantwayoftesting,anditsvalidityliesontheselectionoftestcasesinsomesense.Areasonableandeffectivemethodabouttheselectionandgenerationoftestcasesisurgentlyneeded.Thisletterfirstintroducessomeusualmethodsonblack-boxtestcasegeneration,thenproposesanewalgorithmbasedoninterfaceparametersanddiscussesitsproperties,finallyshowstheeffectivenessofthealgorithm.
简介:今天,平行编程被传递图书馆的消息统治,例如传递接口(MPI)的消息。这篇文章打算由从parallelized算法设计策略产生平行程序简化平行编程。提炼parallelized算法设计策略,以及平行体系结构使用骨骼。从问题说明开始,一个抽象平行抽象编程language+(Apla+)程序从parallelized算法设计策略和问题特定的函数定义被产生。由与平行体系结构结合,在parallelized算法设计策略内的并行的不怀疑被利用。与实现和转变,C++和平行虚拟机(CPPVM)平行节目最后被产生。算法设计策略和parallelized划分并且征服的Parallelized分支和界限(B&B)(D与C)算法设计策略作为例子在这篇文章被学习。并且它也与案例研究说明途径。