Beispiel #1
0
        /// <summary>
        /// Notifies the remote testing scheduler
        /// about a discovered bug.
        /// </summary>
        private void NotifyBugFound()
        {
            Uri address = new Uri("http://localhost:8080/psharp/testing/scheduler/");

            BasicHttpBinding binding = new BasicHttpBinding();

            binding.MaxReceivedMessageSize = Int32.MaxValue;

            EndpointAddress endpoint = new EndpointAddress(address);

            if (this.TestingScheduler == null)
            {
                this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> .
                                        CreateChannel(binding, endpoint);
            }

            this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId);
        }
Beispiel #2
0
        /// <summary>
        /// Notifies the remote testing scheduler
        /// about a discovered bug.
        /// </summary>
        private void NotifyBugFound()
        {
            Uri address = new Uri("net.pipe://localhost/psharp/testing/scheduler/" +
                                  $"{this.Configuration.TestingSchedulerEndPoint}");

            NetNamedPipeBinding binding = new NetNamedPipeBinding();

            binding.MaxReceivedMessageSize = Int32.MaxValue;

            EndpointAddress endpoint = new EndpointAddress(address);

            if (this.TestingScheduler == null)
            {
                this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> .
                                        CreateChannel(binding, endpoint);
            }

            this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId);
        }
Beispiel #3
0
        /// <summary>
        /// Sends the test report associated with this testing process.
        /// </summary>
        private void SendTestReport()
        {
            Uri address = new Uri("net.pipe://localhost/psharp/testing/scheduler/" +
                                  $"{this.Configuration.TestingSchedulerEndPoint}");

            NetNamedPipeBinding binding = new NetNamedPipeBinding();

            binding.MaxReceivedMessageSize = int.MaxValue;

            EndpointAddress endpoint = new EndpointAddress(address);

            if (this.TestingScheduler is null)
            {
                this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> .
                                        CreateChannel(binding, endpoint);
            }

            this.TestingScheduler.SetTestReport(this.TestingEngine.TestReport.Clone(), this.Configuration.TestingProcessId);
        }
Beispiel #4
0
        /// <summary>
        /// Notifies the remote testing scheduler
        /// about a discovered bug.
        /// </summary>
        private void NotifyBugFound()
        {
            Uri address = new Uri("http://localhost:8080/psharp/testing/scheduler/");

            WSHttpBinding binding = new WSHttpBinding();
            EndpointAddress endpoint = new EndpointAddress(address);

            this.TestingScheduler = ChannelFactory<ITestingProcessScheduler>.
                CreateChannel(binding, endpoint);

            if (this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId))
            {
                IO.PrintLine(this.TestingEngine.Report());
                this.TestingEngine.TryEmitTraces();
            }
        }