XPath定位

我们知道,selenium的元素定位有以下几种方法:

  • id=id
  • name=name
  • dom=javascriptExpression
  • xpath=xpathExpression
  • link=textPattern
  • css=cssSelectorSyntax

1. 通过id,name,link来定位

  (以下是在baidu中,查询“test”,在查询结果显示后,点击上方的“新闻”连接)

selenium 学习(2)--Xpath的知识 - 流口水的小猪 - 轨迹

 上面的id,name有个问题,就是开发人员有时不会使用id 或者name;或者name有重复的;或者id/name是系统自动生成的,随机的。相对来说link的使用具有一定的实际意义。

2. 通过xpath定位

    下面的操作示意 如下,准备注册baidu用户 

selenium 学习(2)--Xpath的知识 - 流口水的小猪 - 轨迹
 
核心代码如下图
selenium 学习(2)--Xpath的知识 - 流口水的小猪 - 轨迹
 
 
对以上的补充说明=========================
其实通过firebug,我们能看到性别选择的时候,我们用name,id都不能处理(name是一样的,id没有)
selenium 学习(2)--Xpath的知识 - 流口水的小猪 - 轨迹
这时只能用xpath。这里我们用到了工具Xpath Checker 帮助我们来定位。
不过,Xpath Checker不一定能给出最好的xpath。
例如,我们看到代码中“女”的按钮时://input[@name='sex' and @value='2']
                               直接用工具得到的:id('sex')/x:div[2]/x:input[2]
我们还是需要通过经验的积累来优化xpath的写法。即,xpath的定位表达式不只一种。一个元素可能有好几种的表达式。
 
对Xpath的学习=======================
什么是 XPath?
XPath 使用路径表达式在 XML 文档中进行导航,是一门在 XML 文档中查找信息的语言。XPath 可用来在 XML 文档中对元素和属性进行遍历。
XPath 包含一个标准函数库.XPath 含有超过 100 个内建的函数。这些函数用于字符串值、数值、日期和时间比较、节点和 QName 处理、序列处理、逻辑值等等。

在 XPath 中,有七种类型的节点:元素、属性、文本、命名空间、处理指令、注释以及文档(根)节点。XML 文档是被作为节点树来对待的。树的根被称为文档节点或者根节点。
 
 下面将w3school的部分内容转过来 http://www.w3school.com.cn/xpath/xpath_syntax.asp
 
<?xml version="1.0" encoding="ISO-8859-1"?>
<bookstore>
<book>
  <title lang="eng">Harry Potter</title>
  <price>29.99</price>
</book>
<book>
  <title lang="eng">Learning XML</title>
  <price>39.95</price>
</book>
</bookstore>
 
选取节点
XPath 使用路径表达式在 XML 文档中选取节点。节点是通过沿着路径或者 step 来选取的。
下面列出了最有用的路径表达式:

 表达式 描述
 nodename 选取此节点的所有子节点。
 / 从根节点选取。
 // 从匹配选择的当前节点选择文档中的节点,而不考虑它们的位置
 . 选取当前节点。
 .. 选取当前节点的父节点。
 @ 选取属性。

  

 谓语(Predicates)

谓语用来查找某个特定的节点或者包含某个指定的值的节点。

谓语被嵌在方括号中。

实例

在下面的表格中,我们列出了带有谓语的一些路径表达式,以及表达式的结果:

  路径表达式 结果
 /bookstore/book[1] 选取属于 bookstore 子元素的第一个 book 元素
  /bookstore/book[last()] 选取属于 bookstore 子元素的最后一个 book 元素
 /bookstore/book[last()-1] 选取属于 bookstore 子元素的倒数第二个 book 元素。
 /bookstore/book[position()<3] 选取最前面的两个属于 bookstore 元素的子元素的 book 元素
 //title[@lang] 选取所有拥有名为 lang 的属性的 title 元素
 //title[@lang='eng'] 选取所有 title 元素,且这些元素拥有值为 eng 的 lang 属性。
 /bookstore/book[price>35.00] 选取 bookstore 元素的所有 book 元素,且其中的 price 元素的值须大于 35.00。
  /bookstore/book[price>35.00]/title 选取 bookstore 元素中的 book 元素的所有 title 元素,且其中的 price 元素的值须大于 35.00。
  


### 如何下载 ProVerif 工具最新版本 为了获取 ProVerif 的最新版本,可以访问其官方站点提供的链接。以下是具体方法: #### 下载地址 ProVerif 工具的官方网站提供了最新的下载资源,可以通过以下链接访问并下载所需文件: - 官方网站链接:[ProVerif Download](https://prosecco.gforge.inria.fr/personal/bblanche/proverif/) [^1] 在此页面上,您可以找到适用于不同操作系统的二进制文件以及源代码包。 #### 运行环境需求 在下载之前,请确认您的计算机满足 ProVerif 的运行需求。根据已知信息,ProVerif 需要以下基本条件才能正常工作: - 支持的操作系统包括 Windows、Linux 和 macOS。 - 对于某些功能扩展(如 ProVerif Editor),还需要额外依赖项,例如 Python (>= 2.6)、PyGTK 和 PyGTKSourceView2 [^3]。 #### 安装指南 完成下载后,按照以下步骤安装 ProVerif: 1. 将下载的压缩包解压至目标目录。 2. 使用命令提示符导航到该目录。例如,在 Windows 上可通过 `Win+R` 输入 `cmd` 后执行如下命令切换路径: ```bash cd D:\proverifbin2.04\proverif2.04 ``` 3. 测试安装是否成功。通过运行测试脚本验证程序状态: ```bash Proverif test.pv ``` 如果切配置无误,则会显示预期输出结果 [^2]。 对于希望获得更友好交互体验的用户来说,还可以考虑安装带有图形界面支持的 **ProVerif Editor** 插件。它同样可以从指定位置单独获取: - ProVerif Editor 下载页:[ProVerifEditor Project Page](https://sourceforge.net/projects/proverifeditor/) . 最后提醒点,尽管上述资料提到的是较早版本的信息,但总体流程变化不大;建议始终优先查阅官网说明文档来了解最权威指导。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值