|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 一种面向传感器网络应用程序的有效测试方法显示文摘无线传感器网络是物联网的基本组成部分.随着传感器网络的广泛应用,其软件质量的问题日益突出.传感器网络应用程序中的瞬态错误很难被发现,这是因为它们由偶然交织的事件处理逻辑所触发,而且有效的自动测试预言往往不可得.基于区间的测试方法将传感网程序的执行过程划分为若干区间,并检测包含瞬态错误的区间,但是这种方法可能产生大量的误报.文中详述了对这些误报进行深入研究的结果,并进而提出一种有效的基于区间的测试方法,用于检测传感网程序应用级组件中的瞬态错误.此方法的主要特点是采用新的区间划分策略和程序行为选择策略.这些策略用于排除被分析区间中的良性偶然交织行为.文中提出了一种区间识别算法,并在此基础上实现了该方法的一个原型工具.文中给出了一组实验来评估原型工具的效果和效率.实验结果表明,此工具能够有效而高效地检测被测程序中的瞬态错误. | 孙玉霞 HARROLD Mary Jean 张成志 汤庸 | 2013 | 计算机学报2013，36，12： | 2 |
| 2 | The Way of All Butlers显示文摘 | Charles Frederick Harrold | | 0，，01： | 1 |
| 3 | Program Slicing-Based Re- gression Testing Techniques 显示文摘 | Gupta R Harrold M J Sofia M L | 1996 | Software: Testing Verification and Reliability1996，6，2： | 1 |
| 4 | Understanding Exception Handling: Viewpoints of Novices and Experts显示文摘 | Shah Hina Gorg Carsten Harrold Mary Jean | 2010 | IEEE Transactions on Software Engineering2010，，2： | 1 |
| 5 | Association of me- dication beliefs and self-efficacy with adherence in urban Hispanic and African-American rheumatoid arthritis patients显示文摘 | Spruill TM Ogedegbe G Harrold LR | 2014 | Ann Rheum Dis2014，73，1： | 1 |
| 6 | Ethernet Everywhere显示文摘 | D | 1999 | Control Engineering1999，4，6： | 1 |
| 7 | Determination of triforine using high-performance liquid chromatography with tandem mass spectrometry显示文摘 | Harrold J A Sykes M D Goodrum M | 2004 | Rapid Communications in Mass Spectrometry2004，18，7： | 1 |
| 8 | Analysis and Testing of Programs with Exception Handling Constructs 显示文摘 | Sinha S Harrold M J | 2000 | IEEE Trans on Software Engineering2000，26，9： | 1 |
| 9 | Analysis of Programs with Exception Handling Constructs显示文摘 | Sinha S Harrold M J | 2000 | IEEE Transactions on Software Engineering2000，26，9： | 1 |
| 10 | An empirical study of regression test selection techniques 显示文摘 | Graves T L Harrold M J Kim J M | 2001 | ACM Transactions on Software Engineering and Methodology2001，10，2： | 1 |
| 11 | Diet-induced obesity increases mu-opioid receptor binding in specific regions of the rat brain显示文摘 | Smith S L Harrold J A Williams G | 2002 | Braib Res2002，953，： | 1 |
| 12 | Incidence and preventabilfly of adverse drug events among older persons in the ambulatory setting显示文摘 | Gurwitz JH Field TS Harrold LR | 2003 | JAMA2003，289，： | 1 |
| 13 | Number-theoretic methods in statistics显示文摘 | Wurgi M J Harrold M P | 1994 | J Chromatogr Rev1994，671，： | 1 |
| 14 | A safe, efficient regression test selection technique 显示文摘 | Rothermel G Harrold M J | 1997 | ACM Transaction on Software Engineering and Methodology1997，6，2： | 1 |
| 15 | Analysis and testing of programs with exception-handling constructs显示文摘 | SINHA S HARROLD M J | 2000 | IEEE Transactions on Software En- gineering2000，26，9： | 1 |
| 16 | A methodology for controlling the size of a test suite显示文摘 | Harrold M J Gupta R Soffa M L | 1993 | ACM Transaction on Software Engineering and M Methodology1993，2，3： | 1 |
| 17 | Prioritizing Test Cases For Regression Testing 显示文摘 | Rothermel G Unteh R Harrold M | 2001 | IEEE Transactions on Software Engineering2001，27，10： | 1 |
| 18 | A Methodology for Controlling the Size of a Test Suite显示文摘 | Harrold M J Gupta R Soffa M L | 1993 | ACM Transactions on Software Engineering and Methodology1993，2，3： | 1 |
| 19 | A Methodology for Controlling the Size of a Test Suite 显示文摘 | Harrold M J Gupta R Sofia M L | 1993 | ACM Transactions on Software Engineering and Methodology1993，2，3： | 1 |
| 20 | A methodology for controlling the size of a test suite 显示文摘 | HARROLD M J GUPTA R SOFFA M L | 1993 | ACM Transactions of Software Engineering and Methodology1993，2，3： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员