JavaScrīpt程序覆盖率的工具 JSCoverage
- 授权协议: GPL
- 开发语言: C/C++ JavaScript
- 操作系统: Windows
- 软件首页: http://siliconforks.com/jscoverage/
- 软件文档: http://siliconforks.com/jscoverage/manual.html
软件介绍
JSCoverage是一个用于度量Javascrīpt程序的代码覆盖率的工具。能显示哪些行被执行过了，哪些行尚未执行，这些信息对于测试覆盖率的分析和测试质量的衡量都很有用。
JSCoverage通过度量Web页面使用的Javascrīpt代码，收集被Web浏览器执行的Javascrīpt代码信息来达到测试覆盖率统计的功能。
JSCoverage支持IE6、IE7、Firefox2、Firefox3、Opera、Safari等流行的浏览器、支持Windows平台和Linux平台。
JSCoverage是开源软件，可到此处下载。目前最新版本是0.3.1。
初步的试用结果表明，在Windows平台下安装和使用JSCoverage还是比较简单的。下载并解压缩后，在命令行中启动JSCoverage。使用语法如下：
jscoverage SOURCE-DIRECTORY DESTINATION-DIRECTORY
其中SOURCE-DIRECTORY表示包含Javascrīpt脚本的Web文件所在的目录，DESTINATION-DIRECTORY表示测试目录，JSCoverage会把包含Javascrīpt脚本的Web文件所在的目录的所有文件拷贝到测试目录中，并且生成额外的文件，例如 jscoverage.html。
而测试的执行就是在该目录中用浏览器启动jscoverage.html文件，然后再URL中输入包含Javascrīpt脚本的Web文件，执行Web 文件中的各项功能，JSCoverage就能记录下执行过程中经过的Javascrīpt脚本的行，并统计代码覆盖率。
程序设计语言理论基础
米切尔 / 电子工业出版社 / 2006-11 / 68.00元
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!
