Questions tagged «information-theory»

这是一个很难缠住我的主意的想法，我将不胜感激任何编辑/帮助，以使其对于那些熟悉的人来说更具可读性。 从理论上讲，是否有可能在硬盘上保存一个千字节的每个可能二进制排列的一个副本，然后让系统的其余部分简单地创建指向这些位置的指针？ 这样制作的系统会比简单地直接存储信息快吗？ 要解释另一种方式，请说而不是句子： “你好，我是鲍勃。” 和“那个三明治看起来很好吃。” ...存储在硬盘驱动器上，我们会将字母和其他字符的所有排列替换为某个数字（例如1000个字符左右），然后将句子存储为： [Pointer＃21381723]

23 theory  pointers  storage  information-theory 

谷歌搜索“软件测试理论”似乎只是给出了软词义的理论。我没有找到任何可以归类为数学，信息理论或其他科学领域意义上的理论的东西。 我正在寻找的东西可以形式化什么是测试，使用的概念，什么是测试用例，测试某物的可行性，测试某物的实用性，应该测试某物的程度，形式的定义/解释代码覆盖率等 更新：另外，从直觉上讲，我不确定形式验证与我所要求的内容之间是否存在联系，但是显然存在某种联系。

12 testing  math  theory  formal-methods  information-theory