场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究

来源 :计算机应用 | 被引量 : 11次 | 上传用户:huier0001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL,对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。
其他文献
近来从电视屏幕上看到,西部出现了种树种草的热潮,可喜可贺!但美中不足的是,似乎在种树方面存在三多三少现象,即单一树种多,混交林少;落叶树种多,常绿树种少;乔木多,下木少。这在一定
为了解决节点频繁离线、信任机制缺乏和带宽有限等问题对P2P网络服务质量的影响,提出了一种分布式代理记忆机制的P2P网络模型。在该模型中,数据被分成若干个数据块,节点访问结束后对数据块的服务进行评价,数据块内容和服务评价更新存储于邻域节点及后继节点;节点访问信息时,根据本地策略优化搜索代理记忆;对服务评价较低的代理记忆进行定期更新与清除。该模型通过数据块分布式代理记忆和数据动态更新的方法,有效地提高
由干工作性质的相同,所处地域的邻近,苏、鲁、豫、皖四省中处于淮海经济区内有关市级环科所及监测站的同仁们时有接触或互访。80年代末期,在热心同志的倡议、联络、促动下,成
期刊
博客作为一类重要的网络信息资源,其评论信息抽取是舆情分析等研究工作的基础。总结了当前主流的博客评论抽取算法,介绍了页面结构在信息抽取中的应用,并结合人理解网页时充分利用"首页"等指示性短语的特点,提出利用具有明确语义和功能指示作用的功能语义单元来抽取评论信息的技术;详细介绍了抽取过程中涉及的页面结构线性化、功能语义单元识别、正文识别和评论抽取算法等内容。最后,通过实验证明,该技术在博客的正文和评论
循环经济是一种生态经济。本文介绍了循环经济的概念和原则,提出了建设城市循环经济的三个要素,并对各要素进行分析,总结出可借鉴的经验,对我国城市循环经济建设进行了探讨。
<正> 在日本,许多政坛风云人物都是狂热的盆景迷,息政归隐后,盆景成了他们日常生活的一部分。本文所介绍的这盆盆景就是他们中的一位所莳养的。当盆景的旧主人辞世后,尽管它
<正> 园林风格的类型、差异以及对现代城市建设的影响,不少专家学者已撰文作了独到详尽的剖析并被市政建设园林规划部门运用到实践中去。在这些研究中,园林风格的归类不外乎:
近年来学界多认为圣叹评点贯华堂本《水浒传》所用的底本,是袁无涯所刊的百二十回全传本,但另有学者存疑。我们将金批中“俗本”贯华堂本的文字与袁无涯刊本、郁郁堂刊本、遗香
地方新建本科院校转型为应用技术性大学已成为我国高等教育结构调整的必然趋势。地方新建本科院校在转型发展时期需要探寻理论依据,明确政策导向,勾勒实践构想。在理论依据方
我国印染行业数量多,污染严重,通过对清洁生产审核,简要分析了部分印染行业中/高费方案的效益,提出有效的中/高费方案的实施是一条有效的途径.