第条

基于代数规范的Java组件测试

作者:

波余,

梁香港,

玉峰张、和

商行朱作者信息和声明

2008年国际软件测试、验证和确认会议记录

2008年4月

页190-199

https://doi.org/10.109/ICST.2008.39

出版:2008年4月9日出版历史

发布者网站

摘要

本文提出了一种基于代数规范的组件测试方法。提出了一种生成可检查测试用例的算法。开发了一个名为CASCAT的原型测试工具，用于测试Java En-terprise Beans。它具有高度自动化的优点，包括测试用例生成、测试线束构造和测试结果检查。它通过增加集成来实现可扩展性。它还允许测试集中于使用的功能和关键属性的子集，因此适合组件测试。本文还报告了对该方法和工具的实验评估。

引用人

查看全部

于B秦Y(2017)基于禁忌搜索和遗传算法的代数规范测试用例生成集群计算2007年10月10日/10586-016-0681-720:1(277-289)在线发布日期：2017年3月1日
https://dl.acm.org/doi/10.1007/s10586-016-0681-7
巴奇G科米尼M费利姆维拉努埃瓦A德施雷耶D詹森斯G国王A(2012)一阶咖喱程序规范的自动合成第十四届声明式编程原理与实践研讨会会议记录10.1145/2370776.2370781(25-34)在线发布日期：2012年9月19日
https://dl.acm.org/doi/10.1145/2370776.2370781
Rebello de Andrade F公司法利亚J洛佩斯A派瓦A(2012)java泛型类的规范驱动单元测试生成第九届综合形式方法国际会议记录10.1007/978-3-642-30729-4_21(296-311)在线发布日期：2012年6月15日
https://dl.acm.org/doi/10.1007/978-3-642-30729-4_21
显示更多引用者

建议

Java程序和组件的覆盖测试
新软件组合概念专题

尽管软件测试是软件开发过程中的一项关键活动，但直到最近才有更健全、一致的测试工具可用于测试Java程序及其组件。这些工具主要支持功能和。。。
阅读更多信息
黑盒组件测试中接口规范的支持
FCST’10：2010年第五届计算机科学和技术前沿国际会议记录

黑盒组件的充分测试是在基于组件的软件开发方法中重用它们之前的重要基础。测试数据的生成和测试充分性的保证是测试系统不可用的难题。。。
阅读更多信息
JQF:Java中基于覆盖率的基于属性的测试
ISSTA2019：第28届ACM SIGSOFT国际软件测试与分析研讨会会议记录

我们介绍了JQF，一个在Java中执行覆盖引导的模糊测试的平台。JQF既面向希望在Java程序中发现错误的实践者，也面向希望实现新模糊算法的研究人员。

从业者。。。
阅读更多信息

信息和贡献者

问询处

发布于

2008年国际软件测试、验证和确认会议记录

2008年4月

540页

国际标准图书编号：9780769531274

出版商

IEEE计算机学会

美国

出版历史

出版：2008年4月9日

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

6
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

查看全部

于B秦Y(2017)基于禁忌搜索和遗传算法的代数规格说明测试用例生成集群计算2007年10月10日/10586-016-0681-720:1(277-289)在线发布日期：2017年3月1日
https://dl.acm.org/doi/10.1007/s10586-016-0681-7
巴奇G科米尼M费利姆维拉努埃瓦A德施雷D詹森斯G国王A(2012)一阶咖喱程序规范的自动合成第十四届声明式编程原理与实践研讨会会议记录10.1145/2370776.2370781(25-34)在线发布日期：2012年9月19日
https://dl.acm.org/doi/10.1145/2370776.2370781
Rebello de Andrade F公司法利亚J洛佩斯A派瓦A(2012)java泛型类的规范驱动单元测试生成第九届综合形式方法国际会议记录10.1007/978-3-642-30729-4_21(296-311)在线发布日期：2012年6月15日
https://dl.acm.org/doi/10.1007/978-3-642-30729-4_21
克里斯皮姆·P洛佩斯A瓦康塞洛斯五世(2010)使用CONGU2对泛型类进行运行时验证第十三届巴西正式方法会议记录：基础和应用10.5555/1987100.1987103(33-48)在线发布日期：2010年11月8日
https://dl.acm.org/doi/10.5555/1987100.1987103
行李袋A大卫五世哈夫雷恩·M(2009)公理反击ACM SIGPLAN通知10.1145/1837852.162161245:2(15-24)在线发布日期：2009年10月4日
https://dl.acm.org/doi/101145/1837852.1621612
行李A大卫五世哈夫雷恩·MSiek J公司费歇尔B(2009)公理反击第八届生成性编程和组件工程国际会议记录10.1145/1621607.1621612(15-24)在线发布日期：2009年10月4日
https://dl.acm.org/doi/101145/1621607.1621612网址

引用人

索引术语

建议

Java程序和组件的覆盖测试

黑盒组件测试中接口规范的支持

JQF:Java中基于覆盖率的基于属性的测试

评论

发布于

出版商

出版历史

限定符

其他指标

文章指标

其他指标

引用人

摘要

引用人

索引术语

建议

Java程序和组件的覆盖测试

黑盒组件测试中接口规范的支持

JQF:Java中基于覆盖率的基于属性的测试

评论

问询处

发布于

出版商

出版历史

限定符

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司