Anith Gopal

Recently I run into a problem where NAV service did shut down every time I did add or delete a user. The event log explain the problem like bellow. So it obvious that we of some reason can’t connect to the database.

If you had followed my previous blog post , downloaded and installed Outlook Social Connector (OSC) for Facebook, you can have a look at this video: If you want to configure just follow the steps to configure it: Once you install the download, restart Outlook, and you will be prompted by the Outlook Social Connector configuration wizard to connect to Facebook. Under Social Network Accounts , select Facebook. For User Name: enter your Facebook email account

I was running Unity Linux 2010.2 with KDE 4.5 for around the last month.  I really like what has been done there but it seemed a bit heavy for my Gateway M250…the CPU fan was always on which told me it was always in high use.

Very interesting statistics that I’ve noticed since moving the site to a Linode VPS . If you take a look at the graphic below, the spike in the middle will probably stick out quite a bit.  Oddly enough, the spike I noticed in CPU percentage used (which is regulated for VPS at Linode) also spiked up disk usage…mainly because I began to swap when cpu/ram use skyrocketed.  All of this happened with Ubuntu 10.04 installed.  CentOS was the first distro I tried but I quickly switched to Ubuntu when I spotted a really nice how-to in the Linode document library.  Oh, and please excuse my horrible gimp skills on the image below…it was a quick and dirty editing of the image: cpu usage After switching to Ubuntu, I began receiving alarms for my account due to the high usage of CPU and disk.  I attempted to tweak settings and configuration files for about a week and realized it just wasn’t going to work for me.  I switched to Debian Lenny and the move was a positive as is reflected in these pictures. disk usage I was hoping Ubuntu 10.04 would fit for me since it is a long term support (LTS) release.

Hi everyone There are some licensing and pricing changes coming with the new release of Microsoft Dynamics GP 2010.  Watch this recording to learn about those changes. Cheers Sue

We are happy to announce the availability of an updated version of VM Prep Tool for Visual Studio Lab Management 2010 RC. You can download it from http://code.msdn.microsoft.com/vslabmgmt To enable testing, build-deploy-test workflow and network isolation capabilities on the Lab Environments, you need to install Visual Studio Test Agent, Visual Studio Lab Agent and Team Foundation Build Agent on VMs and templates that are part of the Lab Environments

Are you a developer?

This is a test blog post.   Karl

Really amazing work bringing together scientific data, 3D visualization, interactivity, and music.

很多朋友可能已经听说了Spec Explorer 2010是一款强大的测试工具，但却不是很了解所谓的基于模型的测试到底是什么，这篇文章可以让你对此有一个大致的认识。 如果你在互联网上 搜索 “Model-Based Testing”（即基于模型的测试，简称 MBT ），你将发现大量的信息。基于模型的测试并不是一个新生事物，也不局限于Spec Explorer这一工具，而是一个在学术界和工业界都已存在多年的概念。只是诸如Spec Explorer的工具将这一概念变得更易于学习和使用，并使得更广大的用户群能够广泛接受。 基于模型的测试是一个 轻量级 的， 形式化 的验证软件系统的方法。为什么这么说呢，因为首先，基于模型的测试对待测软件系统（通常被称为System Under Test，简称SUT）进行形式化的建模，设计出机器可读的模型；其次，和其他形式化方法比，基于模型的测试并不致力于让待测软件系统与规格说明在所有可能情况下都保持一致，而是系统化的从模型生成一组测试用例，使用这组测试用例测试待测软件系统，得到充分的证据说明待测系统的行为与模型期望是一致的。轻量级和重量级的方法的根本区别在于一个是充分证明，一个是完全证明。目前完全验证一致性的代价非常高，重量级的形式化方法往往难以被应用到实际工程中，而基于模型的测试在这方面体现了优势，并已被运用到很多大型项目中。 下面是一个基于模型测试的简单图解： 基于模型的测试从一组需求开始，这组需求可以是文字，草图或者仅仅是团队成员的一些想法。 首先，我们需要创建一个机器可读的模型（#1），该模型表述了需求所表述的所有可能行为。这一步是由人工完成，并且是整个流程中工作量最大的一步。模型设计工作的关键点在于正确的抽象，一个建模者应该专注于系统的待测试的某一方面，而不需要关心系统的其余部分。不同部分可以被不同模型覆盖，但是每一个模型都确保自己在清晰的抽象层面上。 具体到Spec Explorer，模型被表述为一组规则，这些规则可以使用主流程序开发语言 C# 开发，不需要再学习其他特定的形式化建模语言，降低了学习难度。同时，Spec Explorer是一个 Visual Studio 集成开发环境的插件，所以提供了诸如语法颜色标记，自动补全和代码重构等功能。Spec Explorer还提供了一种小型的配置语言Cord（Coordination Language的简称）用于结合不同模型，生成代码以及选择特定的测试场景。 虽然创建模型的工作量很大，但是回报也是巨大的。通过把非形式化的需求转化为形式化的模型，你将很容易发现需求中遗漏的部分（譬如：如果我连按两次ESC键，系统到底应该怎么样？）。上图中的#2表明仅仅通过分析模型，就可以得到关于需求的反馈。 当模型成型以后，就到了Spec Explorer这种工具发挥作用的时候了。它能够通过分析模型自动生成测试用例（#3），包括提供给待测试系统的输入以及期望的输出，我们称之为测试预期。自动生成的测试用例一旦生成，就可以在一个标准的单元测试框架中（例如 Visual Studio 的测试框架或者 NUnit ）独立于模型运行。这些测试用例提供了测试序列（#4）去控制待测试系统，同时观察（#5）待测试系统的返回值，并与生成预期值进行比较，然后做出判定（#6）测试是通过还是失败。测试用例可以被反复执行以重现bug，最后找到问题所在。 对测试结果的判定是对待测试系统的一个重要反馈（#7），但是找到待测试系统的bug并不是我们的唯一目标。一个失败的测试用例也有可能表明待测试系统的行为是正确的，但是模型的预期行为是错的！或者更进一步，模型本身是正确的反映了需求，但是需求本身从一开始就错了！如果真的如此，你也不用特别悲观，基于模型的测试与传统人工测试相比的最大优势就在于维护方便，你需要的仅仅是让失败的结果作为有效的反馈给模型或者需求（#8），修改模型使其能反映系统的预期行为，然后重新生成测试用例。这里有一个微软总部团队的同事们（Wolfgang，Nico和Keith）的 演示 ，说明了一个使用Spec Explorer的典型例子。 希望这篇博客能够解决你对基于模型的测试的疑惑，也让你从一定程度上对Spec Explorer稍作了解，至少，你能够 下载安装 Spec Explorer并且开始试着玩玩。:-)

MSFT_Providers is a troubleshooting class which contains configuration information for providers.   This class can be pretty handy while troubleshooting provider issues.   For eg.

The next release of forefront client security, code name “stirling” has now a new name: Forefront Endpoint Protection 2010. The security management pieces are named: Forefront Protection Manager. This is an exciting suite of integrated entreprise security solution that spans endpoints, servers, and edge