sam1111的专栏

 IntroductionUnit testing is an integral part of ensuring product quality, and it is the first chance for development teams to uncover and correct defects in their source code. When performed effe

由于最近接手了一个有关于ActiveX的产品的维护工作，使得我有机会重拾已丢下一年多的COM技术，同时也有机会重新审视技术的变迁历程，以及蕴含在其中的某些思想，这种感觉就好像回过头来看自己走过的道路。所不同的是，回首自己的人生路，成败得失一幕了然；而技术的发展虽然依然遵循优胜劣汰的法则，但优劣之间的界限好像并不那么明显，反而有些使人迷茫。比如说复用。 软件复用一直被视为改善软件工程的重要手

为了能够对AsmL有一个更加感性的认识，同时也为了了解如何使用AsmL建模，我们不妨来研究一个AsmL的实例。下面这个例子是一个用AsmL写成的设计规格的Word版本，它来自于AsmL2.1.5.8所带的一个例子——DiningPhilosophers。为了便于理解，我将它翻译成了中文。更多的AsmL例子可以在AsmL的Sample folder中找到。  Dijkstra的饭桌上

透过上面这个例子，我们可以了解到一些用AsmL描述的可执行规格的基本信息。整体结构上，可执行规格与传统的软件规格并没有太大不同。它将对软件逻辑的描述，用AsmL代码的形式，以特殊的符号（这里是AsmL）标记之后，夹杂在文字说明之间，以便使阅读它的人能够轻易对模型及其实现产生一定的认识。可执行规格的优势正在于对软件逻辑的描述上，别忘了AsmL的目标是产生“人类可读（Human-readable），机

AsmL是一种以抽象状态机（Abstract State Machines, ASM）为基础的软件规格语言。它由微软研究院的软件工程基础小组开发并维护，目前的版本是AsmL2（AsmL for Microsoft.NET），此版本能够嵌入Microsoft Word 和Microsoft Visual Studio.NET中，并可在.NET环境下编译执行。你可以在以下地址找到它：http://re

AsmL听起来相当的神奇，尤其是它所建立的模型可以作为这些模型所描述的系统的模拟程序来运行这一特性，不但能够帮助我们在着手实现之前检查我们的设计的完备性，而且还能够帮助我们在实现过程中检查设计的合理性以及实现的正确性。这不正是我们想要得吗？还等什么？立即down一份来试试吧！（注：如果您还不知道什么是AsmL，没关系，您可以参考我的另一篇文章《AsmL: 可执行的软件规格》） 从http: