共查询到20条相似文献，搜索用时 125 毫秒
1.
研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集. 相似文献
2.
RDF为Web服务提供了灵活的数据模型,可以用来表达数据之间的关系,其实质是功能强大的有向图.提
出了一种基于RDF图的Web服务测试用例生成方法,基于RDF数据模型,结合测试路径覆盖准则,提出了基于
RDF图的Web服务测试路径生成算法,由RDF图生成测试用例.通过实例证明,该方法可以从Web服务中得到
测试用例. 相似文献
3.
对面向对象Java语言回归测试方法进行了研究,提出一种回归测试选择方法,该方法通过建立所有的类之间的关系图,据此统计修改的类以及受影响的类,并在统计类中找出具体修改的位置,识别危险的边,最后选择测试用例执行危险的边。 相似文献
4.
对面向对象Java语言回归测试方法进行了研究,提出一种回归测试选择方法,该方法通过建立所有的类之间的关系图,据此统计修改的类以及受影响的类,并在统计类中找出具体修改的位置,识别危险的边,最后选择测试用例执行危险的边. 相似文献
5.
提出了并研究了系统级故障诊断测试图中任意测试图，受限ｔ可诊断系统测试图和ｔ可诊断系统测试图的生成原理及方法，给出了一个典型测试图的生成实例。 相似文献
6.
本文采用输入“矢量对”这一新方法，对大型组合电路的分块测试问题进行了深入研究，证明了一般电路的分块原理，分析比较了电路的分块与不分块两种情况下测试生成的差。结果表明分块后测试码数目大大减少，提高了故障诊断速度，具有很大的优越性，实验研究与理论分析完全相符，证明所提的理论是正确的，具有实用性。 相似文献
7.
结合Instron1343疲劳试验机开发了低周疲劳裂纹扩展速率试验系统。系统由数据采集和计算机数据处理软件两部分组成,可以在连续、停机状态下完成常温、低温(-50℃)实时采集载荷P、载荷位移D和裂纹缺口位移V3个模拟量数据采集。在制动盘蠕墨铸铁常温、低温(-50℃)低周疲劳裂纹扩展速率试验中得到应用。 相似文献
8.
9.
梁竞敏 《湖南农业大学学报(自然科学版)》2009,(1)
最优测试序列的生成是大型复杂系统可测试性设计中极为重要的一步,可利用遗传退火算法解决组合优化问题的优越性来生成最优测试序列.建立最优测试序列问题的数学模型,利用优先权布尔矩阵式编码方案来对测试序列进行编码,设计交算子和两种变异算子,并引入与或树来说明算法搜索最优序列的全过程,在MatLab上进行仿真实验.实验结果表明,该算法取得较好的效果,具有一定的参考价值. 相似文献
10.
针对基于SIMILARITY的演化路径测试数据生成方法中的问题,通过大量试验确定了遗传算法的基本参数后,在编码方式、选择方式和交叉方式的8种参数组合以及24～45 bit的8种串长情形下,利用三角形分类程序对该方法生成测试数据的效果进行了研究.结果表明,最优组合也与原结果有一个数量级的差距. 相似文献
11.
小麦品质快速检测体系的应用研究 总被引：2，自引：0，他引：2
小麦品质的优劣决定其最终用途,最终用途的多样化也使小麦品质的检测技术和方法不断多样化。本文概括综述了快速检测小麦品质的技术方法,并利用这些技术方法对试验样品的籽粒硬度、籽粒蛋白含量、湿面筋含量、沉降值、面粉揉混特性、淀粉品质特性等进行检测分析,认为单籽粒谷物特性测定仪（SKCS）、近红外光谱技术（NIR）、面筋仪、Zeleny沉降值、揉混仪、快速粘度分析仪（Rapid Visco Analyzer,RVA）等形成了一套快速检测小麦籽粒品质、面粉品质和面粉淀粉品质的体系。该体系对于小麦品质育种早代的品质检测评价及快速、准确检测大批量商品小麦品质具有重要意义。 相似文献
12.
提出了一种采用自适应加权扩展LBP(AWELBP,adaptively weighted extended local binarypattern)的单样本人脸描述方法,首先对单样本的人脸图像进行多尺度分块,对子块的图像进行扩展均匀LBP算子运算,同时同步生成图像局部熵图谱(LEM,local entropy map),计算每一子块对整体人脸图像纹理描述的贡献度图谱,根据贡献度图谱对每个子块的LBP直方图进行自适应加权,最后将各子块的LBP直方图进行连接形成人脸特征。本算法在ORL、Yale、Yale B人脸库上对部分遮挡、表情变化、光照变化等环境进行测试,并与传统算法以及与多种LBP改进算法进行比较,结果表明该算法对部分遮挡、表情变化和光照等环境下单样本人脸描述具有较好的效果。 相似文献
13.
在对芥蓝C100-12×甘蓝秋50-Y7杂交组合构建F2作图群体进行RAPD检测的基础上,分别对4个O12,R13,Q14,P17进行了延长1个碱基的研究,其中O12和P17能将部分特异RAPD标记转化为稳定性更强的ER-PAD标记,但对R13和Q14随机引物未找到相应的ERPAD标记。 相似文献
14.
XU Zhong SUN Hao ZHANG Zhe Zhao Qing-bo Babatunde Shittu Olasege Li Qiu-meng Yue Yang Ma Pei-pei Zhang Xiang-zhe Wang Qi-shan Pan Yu-chun 《农业科学学报》2020,19(5):1314-1322
The aim of this study was to detect evidence for signatures of recent selection in the Jinhua pig genome. These results can be useful to better understand the regions under selection in Jinhua pigs and might shed some lights on groups of genes that control production traits. In the present study, we performed extended haplotype homozygosity(EHH) tests to identify significant core regions in 202 Jinhua pigs. A total of 26 161 core regions spanning 636.42 Mb were identified, which occupied approximately 28% of the genome across all autosomes, and 1 158 significant(P0.01) core haplotypes were selected. Genes in these regions were related to several economically important traits, including meat quality, reproduction, immune responses and exterior traits. A panel of genes including ssc-mir-365-2, KDM8, RABEP2, GSG1L, RHEB, RPH3AL and a signal pathway of PI3K-Akt were detected with the most extreme P-values. The findings in our study could draw a comparatively genome-wide map of selection signature in the pig genome, and also help to detect functional candidate genes under positive selection for further genetic and breeding research in Jinhua and other pigs. 相似文献
15.
【目的】探讨救必应水提取物与抗菌药联合诱导细菌传代的体外抑菌活性,为救必应的综合开发利用提供参考依据。【方法】采用96孔反应板二倍微量稀释法体外检测救必应水提取物与抗菌药的最小抑菌浓度（MIC）,并以1/2 MIC的救必应水提取物与抗菌药联合诱导产超广谱β-内酰胺酶（Extended spectrum beta-lactamases,ESBLs）细菌传代,然后用微量棋盘稀释法测定救必应水提取物与抗菌药联合作用后的部分抑菌浓度指数（FICI）。【结果】救必应水提取物的MIC为1.0 g/mL,以0.5g/mL的救必应水提取物与阿莫西林、左氧氟沙星、克林沙星、磺胺间甲氧嘧啶、加替沙星、头孢噻呋钠6种抗菌药联合诱导产ESBLs细菌传代后MIC显著降低,联用后的FICI分别为0.375、0.750、0.750、0.515、0.750和0.750。【结论】救必应水提取物可明显增强抗菌药对产ESBLs细菌的抗菌活性,且呈协同或相加作用。 相似文献
16.
以夏枯草残渣为原料,研究碱液浸提法制备不溶性膳食纤维和可溶性膳食纤维的工艺流程,并对膳食纤维的性能进行测定。考察料液比、碱液质量浓度、提取温度及时间对提取率的影响。正交试验优化出的最优工艺条件为:料液比1∶20、碱液质量浓度15 mg/m L、水解时间2.5 h、提取温度40℃。在此条件下,不溶性膳食纤维的提取率为60%,可溶性膳食纤维的提取率为13.55%。性能测定结果显示:不溶性膳食纤维的持水力为7.27 g/g,膨胀力为17.33 m L/g;在胃环境(p H 2)和肠道环境(p H 7)中,可溶性膳食纤维对胆酸钠的吸附率分别为13.26和86.38 mg/g。该法对夏枯草膳食纤维的提取率高,产品色泽好,性能好,可广泛用于功能食品的开发。 相似文献
17.
为研究传感器平面内的分布对电阻层析成像（ ERT）检测原木内部缺陷准确度的影响,以大青杨和杉木原木作为试验材料,改变传感器的分布对原木内部缺陷进行检测,并结合平面几何学和统计学分析实验数据。结果表明：传感器分布的均匀度与图像拟合度呈正相关关系;当均匀度超过0．91时,变异系数小于0．15,图像的拟合度均值达到0．83,所以要提高检测精度需精确均匀布置传感器。 相似文献
18.
本文以12份茄子育种材料,探讨了5种鉴定茄子褐纹病抗性的方法。结果表明,几种方法各有特点。方法Ⅰ、Ⅱ简捷方便,可用于褐纹病抗源的大规模筛选,但是不适于抗褐纹病程度不同的感病材料之间的比较。方法Ⅲ、Ⅳ、Ⅴ克服了上述缺点。其中伤口接种法(Ⅲ、Ⅳ)破坏了果皮机械组织,可以在一定程度上鉴别出机械组织引起的抗性。12份茄子育种材料鉴定结果表明:茄子抗源品系及含有抗源的杂交一代均表现明显的抗性。无伤接种情况下,抗源83—02及其杂交一代发病率为0。而在伤口接种情况下,抗源83—02及83—02×苏州牛角(F_1)极个别果实发病,而83—02×紫水(F_1)和83—02×83—04(F_1)发病率仍然为0。说明抗褐纹病材料的果皮有一定的抗病作用,但不是主要作用。 相似文献
19.
基于生态足迹模型的中国生态可持续性动态分析 总被引：2，自引：0，他引：2
基于生态足迹理论提出一种新的产量因子计算方法,计算了中国1949～2006年人均生态足迹和生物承载力。利用生态足迹指数和生态足迹效率2个指标,对中国1949～2006年的生态可持续性进行了长时间序列的动态评估。结果表明,57年来,中国人均生态足迹在波动中不断增加,1949年为0.167 hm^2,2006年达到1.853 hm^2;中国人均生物承载力在波动中不断下降,1949年为1.000 hm^2,2006年为0.870 hm^2,20世纪80年代以来波动比较平稳;中国生态足迹指数在波动中急剧下降,生态足迹效率20世纪80年代以前变化非常缓慢,自80年代末大幅提高。 相似文献