【摘 要】
：
为了减少测试产生、执行、存储以及维护测试用例的代价,提出了一种基于时间自动机模型的测试用例生成方法的优化技术。针对实时系统中不同的时间尺度,为了加快基于模型的测试
【基金项目】
：
河南省教育厅自然科学研究基金项目（2008A520024）
论文部分内容阅读
为了减少测试产生、执行、存储以及维护测试用例的代价,提出了一种基于时间自动机模型的测试用例生成方法的优化技术。针对实时系统中不同的时间尺度,为了加快基于模型的测试用例生成的速度,通过对原时间自动机模型的结构进行改进,对这类实时系统进行测试产生优化。实验结果表明,优化后产生的测试用例集的大小及所用时间相对于优化之前有较大程度的约减,为进一步减少测试执行的时间,提高测试效率,加快软件开发进程提供了可行的解决途径。
其他文献
为了简化在限界模型检测过程中模型的建立过程，给出了一种采用基于一阶迁移系统语言的模型建立方法，并在此一阶迁移系统语言中加入了通道的功能，增强了描述能力。然后在此基础上
摘 要 目的：探讨米索前列醇用于晚期妊娠引产的安全性及效果。方法：对80例妊娠38～43周有引产指征的初产妇，随机分成两组，每组各40例，分别用米索前列醇50μg阴道后穹窿用药引产及用催产素引产。结果：米索前列醇组晚期妊娠引产的有效率为97.5%，明显高于对照组的80%，总产程及引产时间均明显短于对照组。两组分娩方式、产后出血以及新生儿情况比较无显著性差异。结论：阴道后穹窿放置米索前列醇用于晚期妊
依据19例球形肺炎均在CT上表现为球形肿块或团片状阴影，全部经抗炎治疗短期复查肿块阴影完全或大部分吸收，从而证实肺炎的诊断。9例机化性肺炎和12例肺炎性假瘤均经手术病理证
<正> 我国的传统戏曲艺术,源远流长。通过历代艺人的辛勤劳动,创造了种种风格独具、难度较大的表演特技。它有利于强烈地夸张、渲染剧中人物的内心世界和思想活动,具有很大的
目的：探讨脉冲组织多普勒超声Tei指数在评价川崎病（KD）急性期、恢复期患儿左、右室功能变化的应用价值。方法：通过90例川崎病患儿急性期、恢复期常规超声心动图检查，测量射血分数
１９２８年Ｅｌｉｎｇ和Ｔｅｒｐｓｔｒａ未发现Ｋ２Ｃｒ２Ｏ７晶体具有压电效应；而１９３０年Ｓｔｅｄｅｈｏｕｄｅｒ和Ｔｅｒｐｓｔｒａ发现了Ｋ２Ｃｒ２Ｏ７晶体在（００１－）面上并未发生粗糙化。１９３１年Ｓｈｕｂｎｉｋｏｖ发表了一组照片，清楚地呈现了Ｋ２Ｃｒ２Ｏ７晶体的（００１）面和（００１－）面具有不对称和不同的结构。１９３２年Ｓｃｈｏｅｐ根据腐蚀坑提出了对称中心存在的
目的：探讨乌体林斯注射液治疗小儿反复呼吸道感染（RRI）的临床疗效。方法：将2006年3月～2007年3月120例RRI患儿随机分为两组，对照组采用常规抗炎及对症处理，治疗组予以乌体林斯注射液
为探讨CT广泛应用后横窦骑跨性硬膜外血肿的诊断及治疗，现将2005年9月-2008年3月收治的23例横窦骑跨性硬膜外血肿病例进行回顾分析，报告如下。
阳台农业是近年发展起来的一种新型农业种植模式,本文阐述成都市城市微农业起源与发展的历史、经济、政策等基础条件,分析成都市在发展城市屋顶阳台微农业存在的一些问题与不
目的：探讨腹膜透析对慢性肾功能衰竭患者饮食中营养素需求量要求。方法：用体检、生化分析和饮食干预等方法对200例患者透析前后的营养状况进行分析。结果：腹膜透析干预组的血脂