排序方式: 共有73条查询结果,搜索用时 15 毫秒
1.
现阶段,企业信息化建设已经从单项应用发展到综合应用,从技术推动发展到变革推动,从战术层面发展到战略层面。一方面,信息化建设已经成为企业业务发展的有效支撑手段,另一方面,企业面临着持续改业面临着持续改善、再造管理的任务。如何保证新旧系统之间的平滑过渡,将技术升级对业务的影响降到最低,成为每一个“信息企业”不得不正视的问题。建立信息管理机制在企业信息系统建设的过程中,风险与收益就如同两条交织的铁轨,始终伴随着企业这辆高速行驶的列车。建立信息管理机制,不仅是企业在面对风险时,从被动应变向主动预警转化的一个重要手段… 相似文献
2.
随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息. 相似文献
3.
针对如何提高测试用例序列的揭错效率和回归测试效益问题,提出一种基于历史数据和多目标优化的测试用例排序方法。首先,根据测试用例的文本主题相似性和代码覆盖相似性对测试用例集进行聚类,并根据历史执行信息对测试用例间的执行失败关系进行关联规则挖掘,从而为后续过程做准备;然后,利用多目标优化算法对每个类簇内的测试用例进行排序,在此之后生成最终排序序列,使相似的测试用例分隔开;最后,利用测试用例间的关联规则,动态调整测试用例执行次序,从而使可能失败的测试用例优先执行,以进一步提高缺陷检测效率。与随机排序方法、基于聚类的排序方法、基于主题模型的排序方法、基于关联规则和多目标优化的排序方法相比,所提方法的平均故障检测率(APFD)平均值分别提高了12.59%、5.98%、3.01%和2.95%,基于成本的平均故障检测率(APFDc)平均值分别提高了17.17%、5.04%、5.08%和8.21%。实验结果表明,所提方法能有效提高回归测试效益。 相似文献
4.
数据库模式自动测试方法的研究 总被引:1,自引:0,他引:1
数据库在现代应用软件系统中具有重要的作用,数据库的正确性直接影响应用软件的功能正确性和性能可靠性,而传统的软件测试往往忽略对数据库数据结构的测试.针对这个问题,提出了一种自动检查数据库模式的方法,提取需求分析的E-R模型和数据库逻辑模型的信息,将概念模型与逻辑模型进行比较,发现数据和数据之间的不一致或冲突.实验结果表明,采用这种方法能够尽早地发现数据库设计和实现的错误,使系统功能测试能建立在正确的数据库基础上. 相似文献
5.
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。 相似文献
6.
7.
8.
9.
回归测试在软件测试过程中是非常重要的,同时也是非常费时费力的.为了适应软件测试的需求,提高回归测试的效率,降低测试成本,针对目前GUI回归测试的困难,依据Atif M.Memon等人提出的新的回归测试方法,根据一个."Good"的测试套件对测试成本和"fault-detection effectiveness"的影响,突出一个"Good"的测试套件的特点,给出一个新的回归测试方法.该方法根据测试套件的特点,有针对性地选择合适的测试用例来构建回归测试套件.这样不仅有针对性,同时也优化了测试套件,提高了测试效率. 相似文献
10.
ATC数字语音通讯模拟系统的设计与实现 总被引:1,自引:0,他引:1
设计和实现了一种基于客户/服务器架构和IP协议的全数字信号传输语音通讯模拟系统.系统采用电台的通讯方式实现了一对多半双工通话,采用拨号电话的通讯方式实现了点对点全双工通话.并将系统应用在用于空中交通管制(ATC)的机场塔台模拟机中,逼真地模拟地面指挥员与空中飞行员的无线通讯,以及地面各指挥席间的相互通讯.在语音处理方面,系统采用G.729的音频压缩解码格式,解决了在实际应用中语音信号延迟、通讯声音质量低等问题.总结了此系统的性能与效率,以及为完善系统功能需要做的工作. 相似文献