谢茜
- 作品数：5 被引量：2H指数：1
- 供职机构：华中师范大学更多>>
- 发文基金：中央高校基本科研业务费专项资金软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术生物学文化科学社会学更多>>
- 一种基于模型检验程序分析技术的前端工具研究被引量：2
- 2010年
- 提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。
- 叶俊民谢茜金聪李明张振方
- 一种调和序列生成及其在故障定位中的应用
- 2011年
- 为了提高软件的可靠性,在软件运行发生故障时,快速、准确地定位故障点成为非常有意义的研究课题。与以往方法不同,在将故障运行序列和最邻近运行序列进行差异对比前,为了避免选取第一条最近成功路径时引起的"盲区"使得后期搜索空间加大,引入了生物学基因序列比对原理,对最邻近运行序列不是通过编辑距离比较进行选取,而是通过一条调和序列进行处理。实验表明,方法的故障定位效果较好。
- 叶俊民谢茜姜丽李嵩嵩许磊
- 关键词：故障定位
- 基于生物调和序列的软件故障定位方法研究
- 在软件运行发生失效后，如何进行有效的故障定位是当今软件故障诊断领域的研究热点。虽然目前软件故障定位技术已有一定经验可以借鉴，但究竟如何做到将多种方法综合，以实现高效率的、快速的、自动化的故障定位仍然是故障诊断的关键问题。...
- 谢茜
- 文献传递
- 5种湿地木本植物幼苗对不同水位的响应
- 本实验研究了水杉(Metasequoia glyptostroboides)、池杉(Taxodium ascendens)、枫杨(Pterocarya stenoptera)、江南桤木(Alnus trabeculosa...
- 谢茜
- 公众网络诉求下的政府信息公开对策研究
- 当今社会，互联网技术已经广泛应用于人们日常生活中。人们通过网络平台可以获取各种信息，自由表达观点看法，展开激烈讨论。很多人都开始利用互联网来关注国家大事、社会生活，表达利益诉求，建立了公众网络诉求舆情体系。网络是一个虚拟...
- 谢茜
- 关键词：政府信息公开政府回应利益诉求
