无论我想在SpecExplorer中执行哪个操作 - 未处理的TypeInitializationException都会导致VS 2010崩溃 [英] No matter which operation I want to perform in SpecExplorer - an unhandled TypeInitializationException causes VS 2010 to crash

问题描述

刚刚安装了SpecExplorer 3.5并试图探索使用Exploration Manager创建的示例，结果令人沮丧......

- 验证脚本按钮有效并告诉我验证成功

- 所有其他按钮（探索，生成测试代码，......）会导致未处理的异常转向导致VS崩溃（跟踪结尾...）

我的VS版本是10.0.30319.1 RTMRel with .net 4.0 .30319 RTMRel在Win 7（x64）上运行

任何帮助高度赞赏！

谢谢，

  Klaus。

这是按下探索时未处理异常的痕迹。

System.TypeInitializationException未处理

 消息= DerTypeninitialisiererfür"< Module>"帽子eine Ausnahme verursacht。

 来源= Microsoft.Xrt

  TypeName =< Module>

  StackTrace：

   服务器堆栈跟踪：

       bei Microsoft.Xrt.Background..ctor（）

       bei Microsoft.Xrt.ApplicationBase.InstallSymbolicEngineComponents（）

       bei Microsoft.ActionMachines.ActionMachineApplicationBase.InstallActionMachineComponents（）

      贝Microsoft.SpecExplorer.SpecExplorerApplicationBase..ctor（字符串BASEDIR，布尔allowLoadingRuntimeAssemblies，ExplorerMediator explorerMediator，版本targetPlatformVersion，字符串extensionAssemblyFolder，Nullable`1
constraintSolverTimeout）

&NBSP;&NBSP;&NBSP;&NBSP; &NBSP;&NBSP; bei Microsoft.SpecExplorer.RemoteExplorer.Configure（ExplorerConfiguration explorerConfig，EventManager eventManager，ExplorerMediator explorerMediator，Boolean isRemoteAppDomain）

      贝System.Runtime.Remoting.Messaging.StackBuilderSink._PrivateProcessMessage（IntPtr的MD，对象[]指定参数时，对象服务器，的Int32 methodPtr，布尔fExecuteInContext，对象[]&安培; outArgs）

&NBSP;&NBSP;&NBSP ;&NBSP;&NBSP;&NBSP; bei System.Runtime.Remoting.Messaging.StackBuilderSink.SyncProcessMessage（IMessage msg，Int32 methodPtr，Boolean fExecuteInContext）

   在[0]重新抛出例外：

       bei System.Runtime.Remoting.Proxies.RealProxy.HandleReturnMessage（IMessage reqMsg，IMessage retMsg）

       bei System.Runtime.Remoting.Proxies.RealProxy.PrivateInvoke（MessageData& msgData，Int32 type）

       bei Microsoft.SpecExplorer.IRemoteExplorer.Configure（ExplorerConfiguration explorerConfig，EventManager eventManager，ExplorerMediator explorerMediator，Boolean isRemoteAppDomain）

       bei Microsoft.SpecExplorer.Explorer.CreateRemoteExplorer（）

       bei Microsoft.SpecExplorer.Explorer.StartBuilding（）

       bei Microsoft.SpecExplorer.ExplorationWorker.ExecuteExploration（Machine machine，ProjectUnit projectUnit）

       bei Microsoft.SpecExplorer.ExplorationWorker.ExecuteMachine（机器）

       bei Microsoft.SpecExplorer.ExplorationWorker.Execute（）

       bei Microsoft.SpecExplorer.VS.ExplorationManagerToolWindow。<> c__DisplayClassd。< work> b__c（）

       bei System.Threading.ThreadHelper.ThreadStart_Context（Object state）

       bei System.Threading.ExecutionContext.Run（ExecutionContext executionContext，ContextCallback callback，Object state，Boolean ignoreSyncCtx）

       bei System.Threading.ExecutionContext.Run（ExecutionContext executionContext，ContextCallback回调，对象状态）

       bei System.Threading.ThreadHelper.ThreadStart（）

  InnerException：System.TypeInitializationException

      消息= DerTypeninitialisiererfür"< Module>"帽子eus Ausnahme verursacht。

      来源= Microsoft.Z3

       TypeName =< Module>

       StackTrace：

            bei< CrtImplementationDetails> .ThrowModuleLoadException（String，Exception）

            bei< CrtImplementationDetails> .LanguageSupport.Initialize（LanguageSupport *）

            bei .cctor（）

       InnerException：< CrtImplementationDetails> .ModuleLoadException

           消息= C ++模块无法加载。

           来源= msvcm90

            StackTrace：

                贝< CrtImplementationDetails> .ThrowModuleLoadException（字符串的errorMessage，异常的InnerException）在F：\dd\vctools\crt_bld\self_x86\crt\src\minternal.h：Zeile
224 <无线电通信/>
                 bei< CrtImplementationDetails> .LanguageSupport.Initialize（LanguageSupport *）在f：\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp中：Zeile 885.

                 bei .cctor（）in f：\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp：Zeile 922.

     ;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;的InnerException：其中CrtImplementationDetails> .OpenMPWithMultipleAppdomainsException

&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP;&NBSP; Message = Eine Ausnahme vom Typ"< CrtImplementationDetails> .OpenMPWithMultipleAppdomainsException" wurdeausgelöst。

                来源= msvcm90

                 StackTrace：

                     &NBSP; bei< CrtImplementationDetails> .DoDllLanguageSupportValidation（）in f：\dd\vctools\crt_bld\self_x86\crt\src\minternal.h：Zeile
507.

                     贝< CrtImplementationDetails> .LanguageSupport._Initialize（LanguageSupport *）在F：\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp：Zeile
630

                     贝< CrtImplementationDetails> .LanguageSupport.Initialize（LanguageSupport *）在F：\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp：Zeile
875

                 InnerException：

解决方案

嗨Klaus，

程序版本是&ok; ok 。

问题也发生在所有其他模型示例中，例如：在下面的主题的答案中提到的向导中的那个？：

http://social.msdn.microsoft.com/Forums/en-US/specexplorer/thread/a1168cac-42c9-45bf-8305-3d0109ace8ec

Hi,

just installed SpecExplorer 3.5 and tried to Explore the example that is created using the Exploration Manager with somehow frustrating results...

- The validate script(s) button works and tells me that validation succeeded

- All other buttons (explore, generate testcode, ...) cause an unhandled exception which in turn causes VS to crash (trace attached at the end...)

My version of VS is 10.0.30319.1 RTMRel with .net 4.0.30319 RTMRel running on Win 7 (x64)

Any help highly appreciated!

Thanks,

  Klaus.

This is the trace of an unhandled exception when pressing explore.

System.TypeInitializationException was unhandled
  Message=Der Typeninitialisierer für "<Module>" hat eine Ausnahme verursacht.
  Source=Microsoft.Xrt
  TypeName=<Module>
  StackTrace:
    Server stack trace:
       bei Microsoft.Xrt.Background..ctor()
       bei Microsoft.Xrt.ApplicationBase.InstallSymbolicEngineComponents()
       bei Microsoft.ActionMachines.ActionMachineApplicationBase.InstallActionMachineComponents()
       bei Microsoft.SpecExplorer.SpecExplorerApplicationBase..ctor(String baseDir, Boolean allowLoadingRuntimeAssemblies, ExplorerMediator explorerMediator, Version targetPlatformVersion, String extensionAssemblyFolder, Nullable`1 constraintSolverTimeout)
       bei Microsoft.SpecExplorer.RemoteExplorer.Configure(ExplorerConfiguration explorerConfig, EventManager eventManager, ExplorerMediator explorerMediator, Boolean isRemoteAppDomain)
       bei System.Runtime.Remoting.Messaging.StackBuilderSink._PrivateProcessMessage(IntPtr md, Object[] args, Object server, Int32 methodPtr, Boolean fExecuteInContext, Object[]& outArgs)
       bei System.Runtime.Remoting.Messaging.StackBuilderSink.SyncProcessMessage(IMessage msg, Int32 methodPtr, Boolean fExecuteInContext)
    Exception rethrown at [0]:
       bei System.Runtime.Remoting.Proxies.RealProxy.HandleReturnMessage(IMessage reqMsg, IMessage retMsg)
       bei System.Runtime.Remoting.Proxies.RealProxy.PrivateInvoke(MessageData& msgData, Int32 type)
       bei Microsoft.SpecExplorer.IRemoteExplorer.Configure(ExplorerConfiguration explorerConfig, EventManager eventManager, ExplorerMediator explorerMediator, Boolean isRemoteAppDomain)
       bei Microsoft.SpecExplorer.Explorer.CreateRemoteExplorer()
       bei Microsoft.SpecExplorer.Explorer.StartBuilding()
       bei Microsoft.SpecExplorer.ExplorationWorker.ExecuteExploration(Machine machine, ProjectUnit projectUnit)
       bei Microsoft.SpecExplorer.ExplorationWorker.ExecuteMachine(Machine machine)
       bei Microsoft.SpecExplorer.ExplorationWorker.Execute()
       bei Microsoft.SpecExplorer.VS.ExplorationManagerToolWindow.<>c__DisplayClassd.<Work>b__c()
       bei System.Threading.ThreadHelper.ThreadStart_Context(Object state)
       bei System.Threading.ExecutionContext.Run(ExecutionContext executionContext, ContextCallback callback, Object state, Boolean ignoreSyncCtx)
       bei System.Threading.ExecutionContext.Run(ExecutionContext executionContext, ContextCallback callback, Object state)
       bei System.Threading.ThreadHelper.ThreadStart()
  InnerException: System.TypeInitializationException
       Message=Der Typeninitialisierer für "<Module>" hat eine Ausnahme verursacht.
       Source=Microsoft.Z3
       TypeName=<Module>
       StackTrace:
            bei <CrtImplementationDetails>.ThrowModuleLoadException(String , Exception )
            bei <CrtImplementationDetails>.LanguageSupport.Initialize(LanguageSupport* )
            bei .cctor()
       InnerException: <CrtImplementationDetails>.ModuleLoadException
            Message=The C++ module failed to load.

            Source=msvcm90
            StackTrace:
                 bei <CrtImplementationDetails>.ThrowModuleLoadException(String errorMessage, Exception innerException) in f:\dd\vctools\crt_bld\self_x86\crt\src\minternal.h:Zeile 224.
                 bei <CrtImplementationDetails>.LanguageSupport.Initialize(LanguageSupport* ) in f:\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp:Zeile 885.
                 bei .cctor() in f:\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp:Zeile 922.
            InnerException: <CrtImplementationDetails>.OpenMPWithMultipleAppdomainsException
                 Message=Eine Ausnahme vom Typ "<CrtImplementationDetails>.OpenMPWithMultipleAppdomainsException" wurde ausgelöst.
                 Source=msvcm90
                 StackTrace:
                      bei <CrtImplementationDetails>.DoDllLanguageSupportValidation() in f:\dd\vctools\crt_bld\self_x86\crt\src\minternal.h:Zeile 507.
                      bei <CrtImplementationDetails>.LanguageSupport._Initialize(LanguageSupport* ) in f:\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp:Zeile 630.
                      bei <CrtImplementationDetails>.LanguageSupport.Initialize(LanguageSupport* ) in f:\dd\vctools\crt_bld\self_x86\crt\src\mstartup.cpp:Zeile 875.
                 InnerException:

解决方案

Hi Klaus,

the program versions are ok.
Does the problem also occur with all the other model-examples e.g. the one from the wizard, mentioned in the answer of the thread below?:

http://social.msdn.microsoft.com/Forums/en-US/specexplorer/thread/a1168cac-42c9-45bf-8305-3d0109ace8ec

这篇关于无论我想在SpecExplorer中执行哪个操作 - 未处理的TypeInitializationException都会导致VS 2010崩溃的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！