- 博客(9)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 TinyOS08：Avrora学习笔记
Avrora的mailing-listhttp://www.mail-archive.com/[email protected]/maillist.html http://lists.ucla.edu/cgi-bin/mailman/listinfo/avrora avrora –action=simulate simple.odaction的缺省值，等价于：$avrora simple.o
2015-12-28 14:17:15
657
原创 TinyOS07：elf文件格式及分析工具objdump
objdump是GUN中专门用于将二进制目标代码从一种格式转换成另一种格式的二进制工具(对象文件格式分析工具)，并且在转存过程需可以对二进制代码进行相关操作；ELF简单来说就是一种跨平台的二进制文件。GNU中的objdumpobjdump属于GNU中的二进制工具，GNU中的二进制工具专门用于将二进制目标代码从一种格式转换为另一种格式(dump单词本身有转存的意思)与objdump类似的GNU二进
2015-12-27 11:37:09
4555
原创 Avrora学习笔记(官网)
Avrora：有精确时钟特性可扩展的传感器网络模拟器。 Avrora总的来说既是一个传感网程序的模拟器，也为传感网程序提供了一个分析框架What is AvroraAvrora：Avrora为Atmel和Mica2传感器节点中AVR单片机程序提供的的一款仿真和分析工具；Avrora是一个用于仿真和分析嵌入式程序的框架；Avrora提供了一个用于嵌入式程序de 分析、实验的Java API。
2015-12-18 16:57:32
2095
原创 TinyOS论文11：Sentomist
Sentomist：通过症状挖掘检测传感器网络的瞬态错误Abstract在摘要部分首先介绍了无线传感网络应用程序：事件驱动、看似简单、以复杂的并发模型执行的，很容易产生错误，特别是瞬态错误(瞬态错误：会产生，持续的时间不长)瞬态错误产生的原因：传感网程序中具有隐式依赖关系的事件过程交错执行时很可能产生瞬态错误；而且这种瞬态错误隐藏的很深，现有的测试工具不只很难检测这种瞬态错误，连这种瞬态错误的症
2015-12-16 14:53:14
475
1
原创 TinyOS论文10：Bug Hunting in Sensor Network Applications
Abstract论文提出了KleeNet工具，一个独立平台的传感网程序bug检测工具，他能针对所有可能的输入测试应用程序，能够保证程序的内存安全；KeelNet根据真实输入值生成正确的测试集，并且识别特定的错误程序路径；将KeelNet很好地集成到了TinyOS中；IntroduceWSNs应用程序：内存限制 + CPU资源有限 + 低级、非类型安全的语言且没有动态监测和内存保护 + 高度
2015-12-15 16:56:16
545
原创 TinyOS论文09：Random Testing of Interrupt-Driven Software
中断驱动软件的随机测试Abstract嵌入中断驱动软件由于大范围的执行路径，很难做到完全测试，论文提出了随机中断测试：在随机次数中出发随机的中断处理器；本地的对中断驱动软件的随机测试应用程序：一些随机生成的中断钓鱼违反了系统语义，造成错误伪报。论文贡献：RID的设计、实现、实验评估。RID：限制中断训练的测试方式来处理嵌入式软件，并且会考虑到非预期的中断。总之：执行随机测试 + 不会产生误报。
2015-12-14 17:01:25
558
原创 TinyOS论文08：Proteum
一个评估C程序测试充分性的工具Abstract该论文提出了Proteum的主要特征，Proteum是一个支持变异测试标准的测试工具；通过配置可以让Proteum测试很多面向过程的编程语言；Proteum的相关环境：SUM工作站 + OPENWIONDOWS环境。Introduce在Proteum中，由测试session来引导程序测试过程。在测试session中测试人员可以创建、中断或者继续
2015-12-10 21:27:19
1006
2
原创 TinyOS论文07：MILU :
MiLu：一个可定制、运行时优化、高阶的C语言变异测试工具； 1. MiLu：C语言变异测试工具 1、一阶 + 高阶变异测试 2、之前的工具是将所有可能的变异算子应用到测试中；而MiLu可以指定应用到测试中的变异算子； 3、为减少运行时开销，MiLu使用“测试治理(test harness)”技术将变异体和测试集嵌入到测试程序中。 2. background介绍了现有的一些变异测试工具
2015-12-10 11:26:14
854
原创 TinyOS论文06：Clairvoyant: A Comprehensive Source-Level Debugger for Wireless Sensor Networks
Clairvoyant：一个功能全面的源码级传感网程序调试器Abstract开发人员可以通过Clairvoyant连接到无线传感器网络，并且执行标准的调试命令，例如break、step、watch、backtrace中这专门为调试WSNs设计的专门的命令。Clairvoyant也视图减少在调试过程中网络负载、内存占用、执行速度、锁的一致性和结点的快速声明周期一、Introduce源码级调试器
2015-12-03 17:21:18
617
基于Java的群聊系统
2015-07-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人